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