Zhong Shao |
Yale University |
Yuepeng Wang |
Simon Fraser University |
Yannick Zakowski |
Inria |
Xinyu Wang |
University of Michigan |
Xiaowen Hu |
The University of Sydney |
Wolfgang De Meuter |
Vrije Universiteit Brussel |
William Hallahan |
Binghamton |
Will Crichton |
Brown University |
Weihang Wang |
University of Southern California |
Viktor Vafeiadis |
MPI-SWS |
Victor Nicolet |
University of Toronto |
Vasco T. Vasconcelos |
University of Lisbon |
Tijs van der Storm |
CWI |
Sukyoung Ryu |
KAIST |
Steven Lyubomirsky |
OctoML |
Steven Holtzen |
Northeastern University |
Stephanie Balzer |
Carnegie Mellon University |
Sorin Lerner |
University of California, San Diego |
Sophia Drossopoulou |
Facebook and Imperial College London |
Shriram Krishnamurthi |
Brown University |
Shiwei Weng |
Johns Hopkins University |
Shaz Qadeer |
Facebook |
Sebastian Erdweg |
JGU Mainz |
Sebastian Burckhardt |
Microsoft Research |
Satish Chandra |
Google |
Sarah Nadi |
University of Alberta |
Sankha Narayan Guria |
University of Kansas |
Ross Tate |
None |
Robert Rand |
University of Chicago |
Rob Sison |
UNSW Sydney |
Raphaël Monat |
Inria & University of Lille |
Ranjit Jhala |
University of California, San Diego |
Rangeet Pan |
IBM Research |
Ralf Jung |
Massachusetts Institute of Technology |
Rachit Nigam |
Cornell University |
Qirun Zhang |
Georgia Institute of Technology |
Pinjia He |
Chinese University of Hong Kong, Shenzhen |
Philipp Schuster |
University of Tübingen |
Philipp Haller |
KTH Royal Institute of Technology |
Peter-Michael Osera |
Grinnell College |
Peter Thiemann |
University of Freiburg |
Peter Alvaro |
UC Santa Cruz |
Pavel Chuprikov |
Università della Svizzera italiana |
Paul Gazzillo |
University of Central Florida |
Patrick Eugster |
Università della Svizzera italiana (USI); TU Darmstadt; Purdue University |
Pascal Weisenburger |
University of St.Gallen |
Paolo Tonella |
Università della Svizzera italiana |
Owen Arden |
UC Santa Cruz |
Osbert Bastani |
University of Pennsylvania |
Oliver Bračevac |
Purdue University |
Neel Krishnaswami |
University of Cambridge |
Nadia Polikarpova |
University of California, San Diego |
Mira Mezini chair |
Technische Universität Darmstadt |
Michael Pradel |
University of Stuttgart |
Michael Coblenz |
University of California San Diego |
Michael Arntzenius |
University of Birmingham |
Max New |
University of Michigan |
Matthew Flatt |
University of Utah |
Matteo Cimini |
University of Massachusetts Lowell |
Matías Toro |
University of Chile |
Martin Kellogg |
New Jersey Institute of Technology |
Mark Santolucito |
Barnard College, Columbia University |
Marianna Rapoport |
Amazon Web Services |
Manu Sridharan |
University of California, Riverside |
Mangpo Phothilimthana |
Google Brain |
Mae Milano |
University of California, Berkeley |
Liyi Li |
University of Maryland, College Park |
Lelio Brun |
National Institute of Informatics |
Kristóf Marussy |
Budapest University of Technology and Economics |
Kristina Sojakova |
INRIA |
Kostas Ferles |
The University of Texas at Austin |
Konstantinos Kallas |
University of Pennsylvania |
Klaus Ostermann |
University of Tuebingen |
Kesha Hietala |
Amazon |
Kenji Maillard |
Inria Rennes |
Kartik Singhal |
University of Chicago; Quantinuum |
Karim Ali |
University of Alberta |
Justin Hsu |
Cornell University |
Joseph Tassarotti |
NYU |
Jonathan Aldrich |
CMU |
John Sarracino |
Unaffiliated |
Jihyeok Park |
Korea University |
Jiasi Shen |
The Hong Kong University of Science and Technology |
Jialu Zhang |
Yale University |
Jeremy Gibbons |
Oxford University |
Jérémie Koenig |
Yale University |
Jenna DiVincenzo |
Purdue University |
Jay P. Lim |
Rutgers University |
Jana Dunfield |
Queen's University |
Jan Vitek |
Northeastern University |
James Noble |
Research & Programming |
James Cheney |
University of Edinburgh |
Ilya Sergey |
National University of Singapore |
Hongjin Liang |
Nanjing University |
Hidehiko Masuhara |
Tokyo Tech |
Hendrik van Antwerpen |
GitHub |
Guillaume Baudart |
Inria |
Guido Salvaneschi |
University of St. Gallen |
Gowtham Kaki |
University of Colorado Boulder |
Görel Hedin |
Lund University |
Gagandeep Singh |
UIUC |
Fabrizio Montesi |
University of Southern Denmark |
Fabian Muehlboeck |
Australian National University |
Ethan Cecchetti |
University of Wisconsin - Madison |
Emanuele D'Osualdo |
MPI-SWS |
Elisa Gonzalez Boix |
Vrije Universiteit Brussel |
Dominique Devriese |
KU Leuven |
Dimitrios Vytiniotis |
DeepMind |
Derek Dreyer |
MPI-SWS |
Denis Merigoux |
INRIA |
David Walker |
Princeton University |
Daniel W. Barowy |
Williams College |
Dana Drachsler Cohen |
Technion |
Dan Grossman |
University of Washington |
Daming Zou |
ETH Zurich |
Conrad Watt |
University of Cambridge |
Cindy Rubio-González |
University of California, Davis |
Charles Sutton |
Google |
Chandrakana Nandi |
Certora Inc. |
Burcu Kulahcioglu Ozkan |
Delft University of Technology |
Bruno Oliveira |
University of Hong Kong |
Bernardo Toninho |
Universidade Nova de Lisboa and NOVA LINCS |
Benno Stein |
Meta |
Benjamin C. Pierce |
University of Pennsylvania |
Benjamin Chung |
Northeastern University |
Ben Greenman chair |
Brown University |
Ben Greenman |
Brown University |
Avraham Shinnar |
IBM Research |
Atsushi Igarashi |
Kyoto University |
Ashish Mishra |
Purdue University |
Armando Solar-Lezama |
Massachusetts Institute of Technology |
Arjun Guha |
Northeastern University |
Annette Bieniusa |
TU Kaiserslautern |
Anitha Gollamudi |
University of Massachusetts, Lowell (UML) |
Andrew K. Hirsch |
University at Buffalo, SUNY |
Andrew D. Gordon |
Microsoft Research and University of Edinburgh |
Anders Møller |
Aarhus University |
Ana Milanova |
Rensselaer Polytechnic Institute |
Ali Ghanbari |
Dept. of Computer Science, Iowa State University |
Alex Sanchez-Stern |
UMass Amherst |
Alex Reinking |
University of California Berkeley |
Albert Cohen |
Google |
Alasdair Armstrong |
University of Cambridge |
Abhinav Jangda |
University of Massachusetts Amherst |