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