Eran Yahav |
Codota and Technion |
David Walker |
Princeton University |
[No name] |
|
Martin Vechev |
DeepCode.ai and ETH Zurich |
Sukyoung Ryu |
KAIST |
Andrew Myers |
Cornell University |
Erik Meijer |
Facebook |
Shriram Krishnamurthi chair |
Brown University, USA |
Suresh Jagannathan |
Purdue University |
Tony Hosking |
Australian National University / Data61 |
Michael Hicks |
University of Maryland |
Jeremy Gibbons |
Oxford University |
Martin Erwig |
Oregon State University |
Derek Dreyer |
MPI-SWS |
William Cook |
University of Texas at Austin |
Giuseppe Castagna |
CNRS |
Ras Bodik chair |
University of Washington |
Emery Berger |
University of Massachusetts Amherst |
Jonathan Aldrich |
CMU |