Program committee



Name Affiliation
Yuepeng Wang Simon Fraser University
Yannick Zakowski Inria
Xiaowen Hu The University of Sydney
William Hallahan Binghamton
Will Crichton Brown University
Weihang Wang University of Southern California
Victor Nicolet University of Toronto
Steven Lyubomirsky University of Washington
Shrutarshi Basu Middlebury College
Shiwei Weng Johns Hopkins University
Sankha Narayan Guria University of Kansas
Rob Sison UNSW Sydney
Raphaël Monat Inria & University of Lille
Rachit Nigam Cornell University
Pinjia He Chinese University of Hong Kong, Shenzhen
Philipp Schuster University of Tübingen
Peter-Michael Osera Grinnell College
Paul Gazzillo University of Central Florida
Owen Arden UC Santa Cruz
Oliver Bračevac Purdue University
Michael Coblenz University of California San Diego
Michael Arntzenius University of Birmingham
Max New University of Michigan
Matteo Cimini University of Massachusetts Lowell
Matías Toro University of Chile
Martin Kellogg New Jersey Institute of Technology
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
Kesha Hietala amazon
Kartik Singhal University of Chicago
Julie L. Newcomb University of California at Berkeley
Julie Newcomb University of Washington
John Sarracino Unaffiliated
Jihyeok Park Korea University
Jiasi Shen The Hong Kong University of Science and Technology
Jialu Zhang Yale University
Jérémie Koenig Yale University
Jenna DiVincenzo Purdue University
Jay P. Lim Rutgers University
Hendrik van Antwerpen Delft University of Technology
Guillaume Baudart chair Inria
Fabian Muehlboeck Institute of Science and Technology Austria
Ethan Cecchetti University of Maryland
Emanuele D'Osualdo MPI-SWS
Denis Merigoux INRIA
Daniel W. Barowy Williams College
Daming Zou ETH Zurich
Chandrakana Nandi Certora Inc.
Benno Stein University of Colorado Boulder
Benjamin Chung Northeastern University
Ben Greenman chair Brown University
Avraham Shinnar IBM T.J. Watson Research Center
Ashish Mishra Purdue University
Anitha Gollamudi University of Massachusetts, Lowell (UML)
Andrew Hirsch University at Buffalo
Ali Ghanbari Dept. of Computer Science, Iowa State University
Alex Sanchez-Stern UMass Amherst
Alex Reinking University of California Berkeley
Alasdair Armstrong University of Cambridge
Abhinav Jangda Microsoft Research, Redmond