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