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