June 29 – July 4 , 2014, Dagstuhl Seminar 14271
Last update: September 21 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]
- Joseph 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner