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