Program committee



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