27. – 30. Oktober 2014, Dagstuhl Seminar 14442
Letzte Aktualisierung: 30. März 2015

Symbolic Execution and Constraint Solving

Participants

  • Sébastien Bardin (CEA LIST, FR) [dblp]
  • Earl T. Barr (University College London, GB) [dblp]
  • Cristian Cadar (Imperial College London, GB) [dblp]
  • Satish Chandra (Samsung Electronics – San Jose, US) [dblp]
  • Maria Christakis (ETH Zürich, CH) [dblp]
  • Peter Collingbourne (Google Inc. – Mountain View, US) [dblp]
  • Jorge R. Cuéllar (Siemens AG – München, DE) [dblp]
  • Morgan Deters (New York University, US) [dblp]
  • Alastair F. Donaldson (Imperial College London, GB) [dblp]
  • Juan Pablo Galeotti (Universität des Saarlandes, DE) [dblp]
  • Vijay Ganesh (University of Waterloo, CA) [dblp]
  • Indradeep Ghosh (Fujitsu Labs of America Inc. – Sunnyvale, US) [dblp]
  • Arnaud Gotlieb (Simula Research Laboratory – Lysaker, NO) [dblp]
  • Istvan Haller (VU University Amsterdam, NL) [dblp]
  • Wei Le (Iowa State University – Ames, US) [dblp]
  • Paul Marinescu (Imperial College London, GB) [dblp]
  • Benjamin Mehne (University of California – Berkeley, US)
  • Martin Ochoa (TU München, DE) [dblp]
  • Albert Oliveras (Polytechnic University of Catalonia, ES) [dblp]
  • Hristina Palikareva (Imperial College London, GB) [dblp]
  • Ruzica Piskac (Yale University, US) [dblp]
  • John Regehr (University of Utah – Salt Lake City, US) [dblp]
  • Abhik Roychoudhury (National University of Singapore, SG) [dblp]
  • Neha Rungta (NASA – Moffett Field, US) [dblp]
  • Raimondas Sasnauskas (University of Utah – Salt Lake City, US) [dblp]
  • Koushik Sen (University of California – Berkeley, US) [dblp]
  • Laurent Simon (University of Bordeaux, FR) [dblp]
  • Oscar Soria Dustmann (RWTH Aachen, DE) [dblp]
  • Nikolai Tillmann (Microsoft Corporation – Redmond, US) [dblp]
  • Willem Visser (Stellenbosch University – Matieland, ZA) [dblp]
  • Klaus Wehrle (RWTH Aachen, DE) [dblp]
  • Nicky Williams (CEA, FR) [dblp]
  • Christoph M. Wintersteiger (Microsoft Research UK – Cambridge, GB) [dblp]
  • Lingming Zhang (University of Texas at Dallas, US) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner