Jean-Baptiste Tristan |
AWS ARG |
Brandon Lucia |
Carnegie Mellon University |
Limin Jia |
Carnegie Mellon University |
Umut Acar |
Carnegie Mellon University |
Jan Hoffmann |
Carnegie Melon University |
Magnus Myreen |
Chalmers University of Technology |
Pierre Geneves |
CNRS |
Jedidiah McClurg |
Colorado State University |
Louis-Noel Pouchet |
Colorado State University |
Yaniv David |
Columbia University |
Kevin Ellis |
Cornell |
Nate Foster chair |
Cornell University |
Owolabi Legunsen |
Cornell University |
Andreas Rossberg |
Dfinity Foundation |
Viktor Kunčak |
EPFL |
Satish Chandra |
Google |
Sotiris Apostolakis |
Google |
Ningning Xie |
Google Brain / University of Toronto |
Calin Cascaval |
Google Research |
Ras Bodik |
Google Research, Brain Team |
Peter-Michael Osera |
Grinnell College |
Stephen Chong |
Harvard University |
Michelle Strout |
HPE & University of Arizona |
KC Sivaramakrishnan |
IIT Madras |
Niki Vazou |
IMDEA Software Institute |
Jeremy G. Siek |
Indiana University |
Sam Tobin-Hochstadt |
Indiana University |
Alastair Reid |
Intel |
Greta Yorsh |
Jane Street |
Kihong Heo |
KAIST |
Sukyoung Ryu |
KAIST |
Sukyoung Ryu |
KAIST |
Alcides Fonseca |
LASIGE, University of Lisbon |
Irene Finocchi |
Luiss University |
Alexey Loginov |
Meta |
Jason Ansel |
Meta |
Akash Lal |
Microsoft Research |
Ryan Beckett |
Microsoft Research |
Adam Chlipala |
MIT |
Jonathan Ragan-Kelley |
MIT |
Ayal Zaks |
Mobileye |
Xinyu Feng |
Nanjing University & Huawei |
Dimitris Mitropoulos |
National and Kapodistrian University of Athens |
Ilya Sergey |
National University of Singapore |
Zoe Paraskevopoulou |
Northeastern University and Ethereum Foundation |
Christos Dimoulas |
Northwestern University |
Josiah Hester |
Northwestern University |
Vinod Grover |
NVIDIA Corporation |
Joseph Tassarotti |
NYU |
Michael Bond |
Ohio State University |
Francois Gauthier |
Oracle Labs |
Thomas Shull |
Oracle Labs |
Yingfei Xiong |
Peking University |
Gang Tan |
Penn State |
Yao Li |
Portland State University |
Benjamin Delaware |
Purdue University |
Robbert Krebbers |
Radboud University Nijmegen |
Konstantinos Mamouras |
Rice University |
He Zhu |
Rutgers |
Chung-Kil Hur |
Seoul National University |
Veselin Raychev |
Snyk |
Susmit Sarkar |
St Andrews |
Fredrik Kjolstad |
Stanford University |
Zhoulai Fu |
State University of New York, Korea |
Eric Koskinen |
Stevens Institute of Technology |
Yu David Liu |
SUNY Binghamton |
Dana Drachsler Cohen |
Technion |
Hila Peleg |
Technion Israel Institute of Technology |
Noam Rinetzky |
Tel Aviv University |
Ori Lahav |
Tel Aviv University |
Abhinav Verma |
The Pennsylvania State University |
Sam Guyer |
Tufts University |
Gagandeep Singh |
UIUC |
Jade Alglave |
University College London |
Cindy Rubio-González |
University of California, Davis |
Brian Demsky |
University of California, Irvine |
Jeremy Yallop |
University of Cambridge |
Paul Gazzillo |
University of Central Florida |
Shan Lu |
University of Chicago |
Gowtham Kaki |
University of Colorado Boulder |
James Cheney |
University of Edinburgh |
Jorge A. Pérez |
University of Groningen |
Charith Mendis |
University of Illinois at Urbana-Champaign |
Nuno P. Lopes |
University of Lisbon |
Walter Binder |
University of Lugano, Switzerland |
David Van Horn |
University of Maryland |
Michael Hicks |
University of Maryland |
Leonidas Lampropoulos |
University of Maryland, College Park |
Toby Murray |
University of Melbourne |
Cyrus Omar |
University of Michigan |
Alexandra Jimborean |
University of Murcia |
Xulong Tang |
University of Pittsburgh |
Chao Wang |
University of Southern California |
Mukund Raghothaman |
University of Southern California |
Maryam Mehri Dehnavi |
University of Toronto |
Eric Eide |
University of Utah |
John Regehr chair |
University of Utah, USA |
James Wilcox |
University of Washington |
Zachary Tatlock |
University of Washington |
Yizhou Zhang |
University of Waterloo |
Lauren Pick |
University of Wisconsin-Madison and University of California at Berkeley |
Loris D'Antoni |
University of Wisconsin Madison |
Mohsen Lesani |
Univsersity of California, Riverside |
Parosh Aziz Abdulla |
Uppsala University |
Matthias Hauswirth |
USI Università della Svizzera italiana |
Swarat Chaudhuri |
UT Austin |
Freek Verbeek |
Virginia Polytechnic Institute and State University |
Ke Wang |
Visa Research |
Guy Gueta |
VMware |
Mihai Budiu |
VMware Research |
Oded Padon |
VMware Research |
Daniel W. Barowy |
Williams College |
Ruzica Piskac |
Yale University |
Peisen Yao |
Zhejiang University |