Testing and Verification of Compilers

• 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