July 19 – 24 , 2009, Dagstuhl Seminar 09301
Last update: January 26 2011

Typing, Analysis and Verification of Heap-Manipulating Programs

Participants

  • Jonathan Aldrich (Carnegie Mellon University, US)
  • Daphna Amit (Tel Aviv University, IL)
  • Andrew W. Appel (Princeton University, US)
  • Anindya Banerjee (IMDEA Software – Madrid, ES)
  • Michael Barnett (Microsoft Corporation – Redmond, US)
  • Nick Benton (Microsoft Research UK – Cambridge, GB)
  • Joshua Berdine (Microsoft Research UK – Cambridge, GB)
  • Richard Bornat (Middlesex University, GB)
  • Ahmed Bouajjani (University of Paris VII, FR)
  • Cristiano Calgano (Imperial College London, GB)
  • Bor-Yuh Evan Chang (University of Colorado – Boulder, US)
  • Dave Clarke (KU Leuven, BE)
  • David Cok (Eastman Kodak Comp. – Rochester, US)
  • Dino Distefano (Queen Mary University of London, GB)
  • Sophia Drossopoulou (Imperial College London, GB)
  • Philippa Gardner (Imperial College London, GB)
  • Alexey Gotsman (University of Cambridge, GB)
  • Peter Habermehl (University of Paris VII, FR)
  • Martin Hofmann (LMU München, DE)
  • Jörg Kreiker (TU München, DE)
  • Viktor Kuncak (EPFL – Lausanne, CH)
  • Gary T. Leavens (University of Central Florida – Orlando, US)
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US)
  • Etienne Lozes (ENS – Cachan, FR)
  • Roman Manevich (UCLA, US)
  • Peter Müller (ETH Zürich, CH)
  • David A. Naumann (Stevens Institute of Technology, US)
  • James Noble (Victoria University – Wellington, NZ)
  • Peter O'Hearn (Queen Mary University of London, GB)
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE)
  • Ganesan Ramalingam (Microsoft Research India – Bangalore, IN)
  • Noam Rinetzky (Queen Mary University of London, GB)
  • Xavier Rival (ENS – Paris, FR)
  • Mooly Sagiv (Tel Aviv University, IL)
  • Peter Sestoft (IT University of Copenhagen, DK)
  • Elodie-Jane Sims (ENS – Paris, FR)
  • Tomas Vojnar (Brno University of Technology, CZ)
  • Thomas Wies (EPFL – Lausanne, CH)
  • Reinhard Wilhelm (Universität des Saarlandes, DE)
  • Hongseok Yang (Queen Mary University of London, GB)
  • Greta Yorsh (IBM TJ Watson Research Center – Yorktown Heights, US)