29. Juni – 04. Juli 2014, Dagstuhl Seminar 14271
Letzte Aktualisierung: 21. September 2014

Scripting Languages and Frameworks: Analysis and Verification

Participants

  • Achim D. Brucker (SAP SE – Karlsruhe, DE) [dblp]
  • Niels Bjoern Bugge Grathwohl (University of Copenhagen, DK) [dblp]
  • Ravi Chugh (University of California – San Diego, US) [dblp]
  • Arlen Cox (University of Colorado – Boulder, US) [dblp]
  • Christos Dimoulas (Harvard University – Cambridge, US) [dblp]
  • Julian Dolby (IBM TJ Watson Research Center – Yorktown Heights, US) [dblp]
  • Matthias Felleisen (Northeastern University – Boston, US) [dblp]
  • Daniele Filaretti (Imperial College London, GB) [dblp]
  • Cormac Flanagan (University of California – Santa Cruz, US) [dblp]
  • Jeffrey Foster (University of Maryland – College Park, US)
  • Ronald Garcia (University of British Columbia – Vancouver, CA) [dblp]
  • Philippa Gardner (Imperial College London, GB) [dblp]
  • Michael Greenberg (Princeton University, US) [dblp]
  • Arjun Guha (University of Massachusetts – Amherst, US) [dblp]
  • Shu-Yu Guo (MOZILLA – Mountain View, US)
  • Christian Hammer (Universität des Saarlandes, DE) [dblp]
  • Fritz Henglein (University of Copenhagen, DK) [dblp]
  • Roberto Ierusalimschy (PUC – Rio de Janeiro, BR) [dblp]
  • Thomas Jensen (INRIA Rennes – Bretagne Atlantique, FR) [dblp]
  • Ranjit Jhala (University of California – San Diego, US) [dblp]
  • Matthias Keil (Universität Freiburg, DE) [dblp]
  • Shriram Krishnamurthi (Brown University – Providence, US) [dblp]
  • Benjamin Lerner (Brown University – Providence, US) [dblp]
  • Benjamin Livshits (Microsoft Corporation – Redmond, US) [dblp]
  • Sergio Maffeis (Imperial College London, GB) [dblp]
  • Matthew Might (University of Utah – Salt Lake City, US) [dblp]
  • Yasuhiko Minamide (University of Tsukuba, JP) [dblp]
  • Anders Møller (Aarhus University, DK) [dblp]
  • Joe Gibbs Politz (Brown University – Providence, US) [dblp]
  • Ulrik Terp Rasmussen (University of Copenhagen, DK) [dblp]
  • Tamara Rezk (INRIA Sophia Antipolis – Méditerranée, FR) [dblp]
  • Tiark Rompf (EPFL – Lausanne, CH) [dblp]
  • Sukyoung Ryu (KAIST – Daejeon, KR) [dblp]
  • Alan Schmitt (INRIA Rennes – Bretagne Atlantique, FR) [dblp]
  • Jeremy G. Siek (University of Colorado – Boulder, US) [dblp]
  • Gareth Smith (Imperial College London, GB) [dblp]
  • Manu Sridharan (Samsung Research – San Jose, US) [dblp]
  • Éric Tanter (University of Chile – Santiago de Chile, CL) [dblp]
  • Peter Thiemann (Universität Freiburg, DE) [dblp]
  • Sam Tobin-Hochstadt (Indiana University – Bloomington, US) [dblp]
  • Tom Van Cutsem (Alcatel-Lucent Bell Labs – Antwerp, BE) [dblp]
  • David Van Horn (University of Maryland – College Park, US) [dblp]
  • Panagiotis Vekris (University of California – San Diego, US) [dblp]
  • Ben Wiedermann (Harvey Mudd College – Claremont, US) [dblp]
  • Kwangkeun Yi (Seoul National University, KR) [dblp]


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