December 10 – 13 , 2017, Dagstuhl Seminar 17502
Last update: April 9 2018
Testing and Verification of Compilers
Participants
- Edward E. Aftandilian (Google Research – Mountain View, US) [dblp]
- Marcel Beemster (Solid Sands – Amsterdam, NL) [dblp]
- Junjie Chen (Peking University, CN) [dblp]
- Nathan Chong (ARM Ltd. – Cambridge, GB) [dblp]
- Eric Eide (University of Utah – Salt Lake City, US) [dblp]
- Hugues Evrard (Imperial College London, GB) [dblp]
- Dan Hao (Peking University, CN) [dblp]
- John Hughes (Chalmers University of Technology – Göteborg, SE) [dblp]
- Dan Iorga (Imperial College London, GB) [dblp]
- Julia Lawall (INRIA – Paris, FR) [dblp]
- Daniel Lehmann (TU Darmstadt, DE) [dblp]
- Thibaut Lutz (NVIDIA – Redmond, US) [dblp]
- David MacIver (Imperial College London, GB)
- Jessica Paquette (Apple Computer Inc. – Cupertino, US)
- David J. Pearce (Victoria University – Wellington, NZ) [dblp]
- Michael Pradel (TU Darmstadt, DE) [dblp]
- John Regehr (University of Utah – Salt Lake City, US) [dblp]
- Raimondas Sasnauskas (SES Engineering – Luxembourg, LU) [dblp]
- Marija Selakovic (TU Darmstadt, DE) [dblp]
- Gerson Sunyé (University of Nantes, FR) [dblp]
- Nikolai Tillmann (Facebook – Seattle, US) [dblp]
- Yingfei Xiong (Peking University, CN) [dblp]
- Francesco Zappa Nardelli (INRIA – Paris, FR) [dblp]
- Andreas Zeller (Universität des Saarlandes, DE) [dblp]
- Hongyu Zhang (University of Newcastle, AU) [dblp]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner