January 29 – February 3 , 2012, Dagstuhl Seminar 12051
Last update: November 9 2012

Analysis of Executables: Benefits and Challenges

Participants

  • Gogul Balakrishnan (NEC Laboratories America, Inc. – Princeton, US)
  • Sébastien Bardin (CEA – Gif sur Yvette, FR)
  • Edward Barrett (University of Kent, GB)
  • Sebastian Biallas (RWTH Aachen, DE)
  • Jörg Brauer (RWTH Aachen, DE)
  • Doina Bucur (INCAS3, NL)
  • Mihai Christodorescu (IBM TJ Watson Research Center – Yorktown Heights, US)
  • Bjorn De Sutter (Ghent University, BE)
  • Thomas Dullien (Google Switzerland, CH)
  • Emmanuel Fleury (University of Bordeaux, FR)
  • Andrea Flexeder (TWT GmbH, DE)
  • Roberto Giacobazzi (University of Verona, IT)
  • Sean Heelan (Immunity Inc., US)
  • Paul Irofti (FileMedic Ltd., PL)
  • Johannes Kinder (EPFL – Lausanne, CH)
  • Andy M. King (University of Kent, GB)
  • Arun Lakhotia (University of Louisiana – Lafayette, US)
  • Jérôme Leroux (University of Bordeaux, FR)
  • Junghee Lim (University of Wisconsin – Madison, US)
  • Alexey Loginov (GrammaTech Inc. – Ithaca, US)
  • Florian Martin (AbsInt – Saarbrücken, DE)
  • David Melski (GrammaTech Inc. – Ithaca, US)
  • Bogdan Mihaila (TU München, DE)
  • Barton P. Miller (University of Wisconsin – Madison, US)
  • Martin Murfitt (Trustwave Ltd., London, GB)
  • Alan Mycroft (University of Cambridge, GB)
  • Magnus Myreen (University of Cambridge, GB)
  • Michael Petter (TU München, DE)
  • Thomas W. Reps (University of Wisconsin – Madison, US)
  • Xavier Rival (ENS – Paris, FR)
  • Edward Robbins (University of Kent, GB)
  • Daniel Roelker (DARPA – Arlington, US)
  • Andrew Ruef (University of Maryland – College Park, US)
  • Alexander Sepp (TU München, DE)
  • Holger Siegel (TU München, DE)
  • Axel Simon (TU München, DE)
  • Fausto Spoto (University of Verona, IT)
  • Aditya Thakur (University of Wisconsin – Madison, US)
  • Christopher Vick (Qualcomm Corp.R&D, Santa Clara, US)
  • Aymeric Vincent (University of Bordeaux, FR)
  • Andrew Walenstein (University of Louisiana at Lafayette, US)
  • Florian Zuleger (TU Wien, AT)