31. Juli – 05. August 2005, Dagstuhl-Seminar 05311

Verifying Optimizing Compilers

Participants

  • Andrew W. Appel (Princeton University, US)
  • Jan Olaf Blech (KIT – Karlsruher Institut für Technologie, DE)
  • Edsko de Vries (Trinity College Dublin, IE)
  • Gabriel Dos Reis (Texas A&M University – College Station, US)
  • Michael Franz (University of California – Irvine, US)
  • Marek Gawkowski (TU Kaiserslautern, DE)
  • Sabine Glesner (TU Berlin, DE)
  • Wolfgang Goerigk (Universität Kiel, DE)
  • Benjamin Goldberg (New York University, US)
  • Thomas Hillenbrand (MPI für Informatik – Saarbrücken, DE)
  • Alan Hu (University of British Columbia – Vancouver, CA)
  • Thomas In der Rieden (Universität des Saarlandes, DE)
  • Tudor Jebelean (Universität Linz, AT)
  • Neil D. Jones (University of Copenhagen, DK)
  • Uwe Kastens (Universität Paderborn, DE)
  • Karsten Klohs (Universität Paderborn, DE)
  • Jens Knoop (TU Wien, AT)
  • Laura Kovács (Universität Linz, AT)
  • Hans Langmaack (Universität Kiel, DE)
  • Sorin Lerner (University of Washington – Seattle, US)
  • Marius Minea (Polytechnical University – Timisoara, RO)
  • Charles Robert Morgan (DataPower Technology – Cambridge, US)
  • Markus Müller-Olm (Universität Münster, DE)
  • Iman Narasamdya (University of Manchester, GB)
  • George Necula (University of California – Berkeley, US)
  • Wolfgang J. Paul (Universität des Saarlandes, DE)
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE)
  • Dirk Pollmächer (Martin-Luther-Universität Halle-Wittenberg, DE)
  • Christian W. Probst (Technical University of Denmark – Lyngby, DK)
  • Hanan Samet (University of Maryland – College Park, US)
  • Gerhard Schellhorn (Universität Augsburg, DE)
  • Bernhard Scholz (The University of Sydney, AU)
  • Helmut Seidl (TU München, DE)
  • Zhong Shao (Yale University, US)
  • K. C. Shashidhar (IMEC – Leuven, BE)
  • Reinhard Wilhelm (Universität des Saarlandes, DE)
  • Wolf Zimmermann (Martin-Luther-Universität Halle-Wittenberg, DE)
  • Lenore D. Zuck (University of Illinois – Chicago, US)