Shoaib Kamil |
Adobe |
Nathan Chong |
Amazon |
Tony Hosking |
Australian National University / Data61 |
Bryan Parno |
Carnegie Mellon University |
Heather Miller |
Carnegie Mellon University |
Corina Pasareanu |
Carnegie Mellon University Silicon Valley |
Eran Yahav |
Codota and Technion |
Gail Kaiser |
Columbia University |
Ronghui Gu |
Columbia University |
Adrian Sampson |
Cornell University |
Nate Foster |
Cornell University |
Ross Tate |
Cornell University |
Steffen Smolka |
Cornell University |
Brad Chamberlain |
Cray, a Hewlett Packard Enterprise company |
June Andronick |
Data61 CSIRO (formerly NICTA) and UNSW |
Veselin Raychev |
DeepCode AI |
Dimitrios Vytiniotis |
DeepMind |
Andreas Rossberg |
Dfinity Foundation |
Viktor Kunčak |
EPFL |
Timon Gehr |
ETHZ |
Martin Vechev |
ETH Zurich |
Pavol Bielik |
ETH Zurich |
Petar Tsankov |
ETH Zurich |
Guilherme Ottoni |
Facebook |
Satish Chandra |
Facebook |
Zachary DeVito |
Facebook |
Mike Dodds |
Galois, Inc. |
Qirun Zhang |
Georgia Institute of Technology |
Hans-J. Boehm |
Google |
Peter Hawkins |
Google |
Mangpo Phothilimthana |
Google Brain |
Vijay D'Silva |
Google LLC |
Mandana Vaziri |
IBM Research |
Julian Dolby |
IBM Thomas J. Watson Research Center |
Pritam Gharat |
Imperial |
Azalea Raad |
Imperial College London |
Ryan Newton |
Indiana University |
Aditya Kanade |
Indian Institute of Science; Google Brain |
Cezara Dragoi |
INRIA ENS |
José Fragoso Santos |
Instituto Superior Tecnico & INESC-ID |
Sara Baghsorkni |
Intel |
Armando Solar-Lezama |
Massachusetts Institute of Technology |
Xin Zhang |
Massachusetts Institute of Technology |
Julian Shun |
Massahusetts Institute of Technology |
Eva Darulova |
Max Planck Institute for Software Systems |
Akash Lal |
Microsoft Research |
Aseem Rastogi |
Microsoft Research |
Madan Musuvathi |
Microsoft Research |
Patrice Godefroid |
Microsoft Research |
Sebastian Burckhardt |
Microsoft Research |
Tahina Ramananandro |
Microsoft Research |
Ting Cao |
Microsoft Research Asia |
Michael Carbin |
MIT |
Sara Achour |
MIT |
Fredrik Kjolstad |
MIT CSAIL |
Amal Ahmed |
Northeastern University (USA) |
Saurav Muralidharan |
NVIDIA |
Michael Bond |
Ohio State University |
Thomas Würthinger |
Oracle Labs |
Sriram Krishnamoorthy |
Pacific Northwest National Laboratory |
Aarti Gupta |
Princeton University |
Tyler Sorensen |
Princeton University |
Zachary Kincaid |
Princeton University |
Milind Kulkarni |
Purdue |
Tiark Rompf |
Purdue University |
Santosh Nagarakatte |
Rutgers University |
Chris Seaton |
Shopify |
John Vilk |
Stripe, Inc. |
Erez Petrank |
Technion |
Shachar Itzhaky |
Technion |
Sam Guyer |
Tufts University |
Sarah Chasins |
UC Berkeley |
Harry Xu |
UCLA |
Yufei Ding |
UC Santa Barbara |
Lindsey Kuper |
UC Santa Cruz |
Michelle Strout |
University of Arizona |
Ronald Garcia |
University of British Columbia |
Alvin Cheung |
University of California, Berkeley |
Saswat Padhi |
University of California, Los Angeles |
Manu Sridharan |
University of California, Riverside |
Sorin Lerner |
University of California, San Diego |
Yu Feng |
University of California, Santa Barbara |
Anil Madhavapeddy |
University of Cambridge |
Bor-Yuh Evan Chang |
University of Colorado Boulder | Amazon |
Michael O'Boyle |
University of Edinburgh |
Sasa Misailovic |
University of Illinois at Urbana-Champaign |
Grigore Rosu |
University of Illinois Urbana–Champaign |
Stephen Kell |
University of Kent |
Michael Hicks |
University of Maryland |
Arjun Guha |
University of Massachusetts Amherst |
Toby Murray |
University of Melbourne and Data61 |
Mukund Raghotaman |
University of Southern California |
James Bornholt |
University of Texas at Austin |
Isil Dillig |
University of Texas Austin |
Azadeh Farzan |
University of Toronto |
Fan Long |
University of Toronto |
Klaus Ostermann |
University of Tuebingen |
Matthew Flatt |
University of Utah |
John Regehr |
University of Utah, USA |
David Darais |
University of Vermont |
Emina Torlak chair |
University of Washington |
Xi Wang |
University of Washington |
Zachary Tatlock |
University of Washington |
Ondřej Lhoták |
University of Waterloo |
Aws Albarghouthi |
University of Wisconsin-Madison |
Alexandra Jimborean |
Uppsala University |
Matthias Hauswirth |
USI |
Pavel Panchekha |
Utah |
Sarfraz Khurshid |
UT Austin |
Na Meng |
Virginia Tech |
Ke Wang |
Visa Research |
Daniel W. Barowy |
Williams College |
Stephen Freund |
Williams College |
Ilya Sergey |
Yale-NUS College and National University of Singapore |
Ruzica Piskac |
Yale University |