Lars Birkedal |
Aarhus University |
Shoaib Kamil |
Adobe |
Ben Greenman |
Brown University |
Tristan Dyer |
Brown University |
Chandrakana Nandi |
Certora |
Pinjia He |
Chinese University of Hong Kong, Shenzhen |
Louis-Noel Pouchet |
Colorado State University |
Gail Kaiser |
Columbia University |
John Sarracino |
Cornell University |
Ryan Culpepper |
CVUT |
Andreas Rossberg |
Dfinity Foundation |
Constantin Enea |
Ecole Polytechnique, LIX |
Daming Zou |
ETH Zurich |
Sophia Drossopoulou |
Facebook and Imperial College London |
Kathryn S McKinley |
Google |
Mandana Vaziri |
IBM Research |
Niki Vazou |
IMDEA Software Institute |
Philippa Gardner |
Imperial College London |
Kristina Sojakova |
INRIA |
Fabian Muehlboeck |
Institute of Science and Technology Austria |
Kihong Heo |
KAIST |
Stephen Kell |
King's College London |
Hakjoo Oh |
Korea University |
Atsushi Igarashi |
Kyoto University |
Vesna Nowack |
Lancaster University |
Raphaël Monat |
LIP6, Sorbonne Université |
Ralf Jung |
Massachusetts Institute of Technology |
Deepak Garg |
Max Planck Institute for Software Systems |
Ryan Kavanagh |
McGill University |
Aseem Rastogi |
Microsoft Research |
Eric Atkinson |
MIT |
Samuel Gruetter |
MIT |
Alex Renda |
MIT CSAIL |
Jiasi Shen |
MIT CSAIL |
Thomas Bourgeat |
MIT CSAIL |
Emanuele D'Osualdo |
MPI-SWS |
Daniel Patterson |
Northeastern |
Jan Vitek chair |
Northeastern University |
Amal Ahmed chair |
Northeastern University (USA) |
Christos Dimoulas |
Northwestern University |
Jihyeok Park |
Oracle Labs |
Michele Chiari |
Politecnico di Milano |
Milind Kulkarni |
Purdue |
Kirshanthan Sundararajah |
Purdue University |
Nouraldin Jaber |
Purdue University |
Oliver Bracevac |
Purdue University |
Suresh Jagannathan |
Purdue University |
Robbert Krebbers |
Radboud University Nijmegen |
Ana Milanova |
Rensselaer Polytechnic Institute |
He Zhu |
Rutgers |
Benjamin Lucien Kaminski |
Saarland University, Saarland Informatics Campus; and University College London |
Dongjie He |
School of Computer Science and Engineering, University of New South Wales Sydney |
Chung-Kil Hur |
Seoul National University |
Mira Mezini chair |
Technische Universität Darmstadt |
Cristina Lopes |
UC Irvine |
Ifaz Kabir |
University of Alberta |
Karim Ali |
University of Alberta |
Felipe Bañados Schwerter |
University of British Columbia |
Khaled Ahmed |
University of British Columbia |
Alvin Cheung |
University of California, Berkeley |
Ranjit Jhala |
University of California, San Diego |
Alasdair Armstrong |
University of Cambridge |
Neel Krishnaswami |
University of Cambridge |
Peter Sewell |
University of Cambridge |
Gowtham Kaki |
University of Colorado Boulder |
Benno Stein |
University of Colorado Boulder, Meta |
Madhusudan Parthasarathy |
University of Illinois at Urbana–Champaign |
Stefan Marr |
University of Kent |
Neville Grech |
University of Malta |
Ethan Cecchetti |
University of Maryland |
Michael Coblenz |
University of Maryland |
Xinyu Wang |
University of Michigan |
Osbert Bastani |
University of Pennsylvania |
Calvin Smith |
University of Texas at Austin |
Sidi Mohamed Beillahi |
University of Toronto |
Victor Nicolet |
University of Toronto |
Martin Kellogg |
University of Washington |
Lauren Pick |
University of Wisconsin, Madison |
Aws Albarghouthi |
University of Wisconsin-Madison |
Patrick Eugster |
Università della Svizzera italiana (USI); TU Darmstadt; Purdue University |
Jacques-Henri Jourdan |
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
Aurèle Barrière |
Univ Rennes, Inria, CNRS, IRISA |
Delphine Demange |
Univ Rennes, Inria, CNRS, IRISA |
Chiké Abuah |
UVM |
Oded Padon |
VMware Research |
Tachio Terauchi |
Waseda University |
Jay P. Lim |
Yale University |
Jérémie Koenig |
Yale University |
Zhong Shao |
Yale University |