Patricia Johann |
Appalachian State University |
Shriram Krishnamurthi |
Brown University |
Frank Pfenning |
Carnegie Mellon University |
Umut Acar |
Carnegie Mellon University and INRIA |
Laura Kovacs |
Chalmers University of Technology |
K Narayan Kumar |
Chennai Mathematical Institute |
David Monniaux |
CNRS, VERIMAG |
Nate Foster |
Cornell University |
Viktor Kuncak |
EPFL |
Martin Vechev |
ETH Zurich |
Peter Müller |
ETH Zurich |
Avik Chaudhuri |
Facebook |
Mayur Naik |
Georgia Tech |
Stephen Chong |
Harvard University |
Maurizio Proietti |
IASI-CNR |
Supratik Chakraborty |
IIT Bombay |
Alexey Gotsman |
IMDEA |
Boris Köpf |
IMDEA Software Institute |
Michael Emmi |
IMDEA Software Institute |
Frank Piessens |
iMinds - Distrinet, KU Leuven |
Alastair Donaldson |
Imperial College London |
Philippa Gardner |
Imperial College London |
Aditya Kanade |
Indian Institute of Science |
Lindsey Kuper |
Intel Labs |
Krishnendu Chatterjee |
IST Austria |
Tachio Terauchi |
JAIST |
Rupak Majumdar chair |
Max Planck Institute for Software Systems |
Brigitte Pientka |
McGill University |
Prakash Panangaden |
McGill University |
Madan Musuvathi |
Microsoft Research |
Rishabh Singh |
Microsoft Research |
Sumit Gulwani |
Microsoft Research |
Nick Benton |
Microsoft Research, Cambridge |
Andrew D. Gordon |
Microsoft Research and University of Edinburgh |
Xiaokang Qiu |
MIT |
Derek Dreyer |
MPI-SWS |
Corina Pasareanu |
NASA Ames Research Center |
Joxan Jaffar |
National University of Singapore |
Thomas Wies |
New York University |
Tiark Rompf |
Purdue University |
Matteo Maffei |
Saarland University |
Manu Sridharan |
Samsung Research America |
Chung-Kil Hur |
Seoul National University |
Arie Gurfinkel |
Software Engineering Institute / Carnegie Mellon University |
Ashish Tiwari |
SRI International |
Rahul Sharma |
Stanford University |
Tobias Nipkow |
Technische Universität München |
Guy Van den Broeck |
UCLA |
Alexandra Silva |
University College London |
Yannis Smaragdakis |
University of Athens |
Koushik Sen |
University of California, Berkeley |
Jens Palsberg |
University of California, Los Angeles |
Sorin Lerner |
University of California, San Diego |
Andrew Pitts |
University of Cambridge |
Bor-Yuh Evan Chang |
University of Colorado Boulder |
Pavol Cerny |
University of Colorado Boulder |
Peter Thiemann |
University of Freiburg |
Andrej Bauer |
University of Ljubljana |
David Van Horn |
University of Maryland, College Park |
Elaine Shi |
University of Maryland, College Park |
Jeffrey S. Foster |
University of Maryland, College Park |
Arjun Guha |
University of Massachusetts, Amherst |
Daniel Kroening |
University of Oxford |
Marta Kwiatkowska |
University of Oxford |
Loris D'Antoni |
University of Pennsylvania |
Robert Atkey |
University of Strathclyde |
Isil Dillig |
University of Texas, Austin |
Azadeh Farzan |
University of Toronto |
Roberto Giacobazzi |
University of Verona, Italy |
Emina Torlak |
University of Washington |
Rastislav Bodik |
University of Washington |
Zachary Tatlock |
University of Washington |
Vijay Ganesh |
University of Waterloo |
Somesh Jha |
University of Wisconsin, Madison |
Christoph Kirsch |
Universät Salzburg |
Mohamed Faouzi Atig |
Uppsala University |
Eric Koskinen |
Yale University |
Zhong Shao |
Yale University |
Sylvie Putot |
École Polytechnique |