Organization

PROGRAM CHAIRS

Ruzica Piskac, Yale University
Zvonimir Rakamaric, Amazon (AWS)

LOCAL CHAIR

Alan Jović, University of Zagreb

WORKSHOP CHAIR

Grigory Fedyukovich, Florida State University

SPONSORSHIP CHAIRS

Borzoo Bonakdarpour, Michigan State University
Jana Hofmann, Max Planck Institute for Security and Privacy

FELLOWSHIP CHAIR

Ning Luo, University of Illinois Urbana-Champaign

ARTIFACT EVALUATION CHAIRS

Matthias Heizmann, University of Stuttgart
Tanja Schindler, University of Basel

AREA CHAIRS

Anthony Widjaja Lin, Technical University of Kaiserslautern
Azadeh Farzan, University of Toronto
Erika Ábrahám, RWTH Aachen University
Eva Darulova , Uppsala University
Guy Katz, Hebrew University of Jerusalem
Peter Müller, ETH Zurich
Philipp Rümmer, University of Regensburg
Roderick Bloem, Graz University of Technology

PUBLICATION CHAIR

Steve Siegel, University of Delaware

PUBLICITY CHAIRS

Ferhat Erata, Yale University
Hadar Frenkel, Bar Ilan University

WEBSITE CHAIR

Jordan Schmerge, Yale University

PROGRAM COMMITTEE

Aarti Gupta, Princeton University
Ahmed Bouajjani, Université Paris Cité
Aina Niemetz, Stanford University
Alan J. Hu, University of British Columbia
Alberto Griggio, Fondazione Bruno Kessler
Alessandro Cimatti, Fondazione Bruno Kessler
Alexander Nadel, Technion & NVIDIA
Alexander J. Summers University of British Columbia
Alfons Laarman, Leiden Institute of Advanced Computer Science (LIACS)
Aman Goel, AWS
Anastasia Isychev, TU Wien
Anastasia Mavridou, KBR / NASA Ames Research Center
Anca Muscholl, LaBRI, Université Bordeaux, France
Andreas Podelski, University of Freiburg, Germany
Andreas Pavlogiannis, Aarhus University
Anna Lukina, TU Delft
Anne-Kathrin Schmuck, Max Planck Institute for Software Systems
Anthony Widjaja Lin, TU Kaiserslautern and Max-Planck Institute for Software Systems
Anton Wijs, Eindhoven University of Technology
Arie Gurfinkel, University of Waterloo
Armin Biere, University of Freiburg, Germany
Azadeh Farzan, University of Toronto
Barbara Jobstmann, Cadence Design Systems
Benjamin Kaminski, Saarland University and University College London
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security
Bettina Könighofer, Graz University of Technology
Borzoo Bonakdarpour, Michigan State University
Burcu Kulahcioglu Ozkan, Delft University of Technology (TU Delft)
Cesar Sanchez, IMDEA Software Institute
Christoph Matheja, University of Oldenburg
Christoph M. Wintersteiger, Imandra
Clark Barrett, Stanford University
Claudia Cauli, Huawei Ireland Research Center
Corina Pasareanu, NASA Ames and Carnegie Mellon University
Cristina David, University of Bristol
Daniel Kröning, Amazon
Daniel STAN, LRE EPITA, ICube, University of Strasbourg, France
Damien Zufferey, NVIDIA
Dirk Beyer, LMU Munich, Germany
Dominik Winterer, ETH Zurich
Đorđe Žikelić, Singapore Management University
Dorra BEN KHALIFA, ENAC
Duc-Hiep Chu, Google Research
Elizabeth Polgreen, University of Edinburgh
Elvira Albert, Complutense University of Madrid, Spain
Enrico Magnago, Amazon
Erika Abraham, RWTH Aachen University
Eva Darulova, Uppsala University
Gidon Ernst, LMU Munich
Guowen Xu, University of Electronic Science and Technology of China
Guy Amir, Cornell University
Guy Katz, The Hebrew University of Jerusalem
Hadar Frenkel, Bar Ilan University
Haoze (Andrew) Wu, Amherst College
Harald Ruess, SRI International, Menlo Park, California
Hari Govind Vediramana Krishnan, Microsoft
Hazem Torfah, Chalmers University of Technology, Sweden
He Zhu, Rutgers
Hossein Hojjat, Tehran Institute for Advanced Studies
Ichiro Hasuo, National Institute of Informatics
Jana Hofmann, MPI-SP
Ji Guan, Institute of Software, Chinese Academy of Sciences
Jianan Yao, Amazon
Jingbo Wang, Purdue University
Jocelyn (Qiaochu) Chen, New York University/University of Alberta
Joey Dodds, Amazon
Joost-Pieter Katoen, RWTH-Aachen University, Germany
Jorge A. Pérez, University of Groningen
Junkil Park, Aptos Labs
Kaushik Mallik, IMDEA Software Institute
Kedar Namjoshi, Bell Labs, Nokia
Kshitij Bansal, Google
Kyungmin Bae, POSTECH
Laura Kovacs, TU Wien
Magnus Myreen, Chalmers University of Technology
Marco Faella, University of Naples Federico II, Italy
Marieke Huisman, University of Twente
Mark Santolucito, Barnard College, Columbia University
Mihaela Sighireanu, ENS Paris-Saclay, France
Michael Emmi, Amazon Web Services
Mirco Giacobbe, University of Birmingham
Natasha Sharygina, University of Lugano
Nian-Ze Lee, National Taiwan University / LMU Munich
Ning Luo, UIUC
Ondřej Lengál, Brno University of Technology
Pablo Castro, Universidad Nacional de Río Cuarto - CONICET
Pavithra Prabhakar, Kansas State University
Peter Müller, ETH Zurich
Philipp Ruemmer, University of Regensburg
Qinxiang Cao, Shanghai Jiao Tong University
Ravi Mangal, Colorado State University
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Roderick Bloem, Graz University of Technology
Ruzica Piskac chair, Yale
S. Akshay, Indian Institute of Technology Bombay
S. Krishna, Indian Institute of Technology Bombay
Sébastien Bardin, CEA List, Université Paris Saclay
Shaobo He, Amazon Web Services
Shibashis Guha, Tata Institute of Fundamental Research
Soham Chakraborty, TU Delft
Stefan Leue, University of Konstanz
Stefan Zetzsche, Amazon Web Services
Stephen F. Siegel, University of Delaware
Subhajit Roy, Indian Institute of Technology Kanpur
Sylvie Putot, Ecole Polytechnique
Tachio Terauchi, Waseda University
Tatjana Petrov, University of Trieste, Italy
Thomas Wahl, Trusted Science and Technology, Inc.
Tim King, Amazon
Timos Antonopoulos, Yale University
Tom van Dijk, University of Twente
Tomas Vojnar, Masaryk University, Faculty of Informatics
Vijay Ganesh, Georgia Tech
Viktor Kunčak, EPFL, Switzerland
William Hallahan, Binghamton University
Wenxi Wang, The University of Virginia
Xi (James) Zheng, Macquarie University Australia
Yakir Vizel, The Technion, Haifa Israel
Yedi Zhang, National University of Singapore
Yu-Fang Chen, Academica Sinica Taiwan
Yuting Wang, Shanghai Jiao Tong University
Yuxin Deng, Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China
Yuyang Sang, Alibaba Cloud
Zvonimir Rakamaric chair, Amazon Web Services

STEERING COMMITTEE

Orna Grumberg, Technion
Aarti Gupta, Princeton University
Daniel Kröning, Amazon
Ken McMillan, UT Austin

ARTIFACT EVALUATION COMMITTEE

Abdalrhman Mohamed, Stanford University
Abhishek Kr Singh, National University of Singapore
Adwait Godbole, UC Berkeley
Akshatha Shenoy, Universita della italiana lugano
Alejandro Hernández-Cerezo, Complutense University of Madrid
Ameer Hamza, Florida State University
Amit Samanta, University of Utah
Anna Becchi, Fondazione Bruno Kessler
Annelot Bosman, Universiteit Leiden
Avaljot Singh, UIUC
Avraham Raviv, Bar Ilan university
Benjamin F Jones, Amazon Web Services
Bruno Andreotti, Federal University of Minas Gerais (UFMG)
Calvin Chau, Technische Universität Dresden, Germany
Cayden Codel, Carnegie Mellon University
Chenyu Zhou, University of Southern California
Christoph Weinhuber, University of Oxford
Clara Rodríguez-Núñez, Universidad Complutense de Madrid
Daniel Ajeleye, University of Colorado, Boulder
Diptarko Roy, University of Birmingham
Ehsan Kafshdar Goharshady, Institute of Science and Technology Austria (ISTA)
Enrico Magnago, Amazon Web Services
Filip Cano, Graz University of Technology
Filip Macák, Brno University of Technology
Filipe de Arruda, Universidade Federal de Pernambuco
Florian Sextl, TU Wien
Frédéric Recoules, CEA LIST
Geunyeol Yu, Pohang University of Science and Technology (POSTECH)
Guangyu Hu, The Hong Kong University of Science and Technology
Hichem Rami Ait-El-Hara, OCamlPro and Université Paris-Saclay, CEA, List
Idan Refaeli, The Hebrew University of Jerusalem
Jacqueline Mitchell, University of Southern California
Jaime Arias, CNRS, LIPN, Université Sorbonne Paris Nord
Jiong Yang, Georgia Institute of Technology
Joseph Tafese, University of Waterloo
Kadiray Karakaya, Paderborn University
Konstantin Britikov, University of Lugano (USI)
Konstantin Kueffner, IST Austria
Leni Aniva, Stanford University
Lutz Klinkenberg, RWTH Aachen University
Mahboubeh Samadi, Tehran Institute for Advanced Studies (TeIAS)
Mahyar Karimi, Institute of Science and Technology Austria
Marek Chalupa, Institute of Science and Technology Austria
Mário Pereira, NOVA School of Science and Technology, NOVA LINCS
Mathias Fleury, University Freiburg
Matthias Heizmann (chair), University of Stuttgart
Mehrdad Karrabi, Institute of Science and Technology Austria (ISTA)
Miguel Isabel, Complutense University of Madrid
Mihai Nicola, Stevens Institute of Technology
Mihály Dobos-Kovács, Budapest University of Technology and Economics
Mikael Mayer, Amazon AWS Automated Reasoning Dafny
Muqsit Azeem, Technical University of Munich
N. Ege Saraç, Institute of Science and Technology Austria (ISTA)
Neea Rusch, Augusta University
Nicolas Koh, Princeton
Omar Inverso, Gran Sasso Science Institute
Omkar Tuppe, IIT Bombay
Omri Isac, The Hebrew University of Jerusalem
Oyendrila Dobe, Amazon Web services
Pablo Gordillo, Complutense University of Madrid
Patrick Trentin, AWS - Amazon Web Services
Pei-Wei Chen, UC Berkeley
Peixin Wang, Nanyang Technological University
Philipp Kern, Karlsruhe Institute of Technology
Pinhan Zhao, University of Michigan
Po-Chun Chien, LMU Munich; Stanford University
Rajarshi Roy, University of Oxford
Ruzica Piskac (chair), Yale
Sankalp Gambhir, EPFL, Switzerland
Sascha Klüppelholz, Technische Universität Dresden, Germany
Shantanu Kulkarni, IIT Bombay
Simon Guilloud, EPFL
Stefan Zetzsche, Amazon Web Services Tanja Schindler (chair), University of Basel
Timo Lang, Huawei, Ireland Research Center
Xuan Xie, University of Alberta
Yanju Chen, University of California, Santa Barbara
Yannik Schnitzer, University of Oxford
Yibo Dong, East China normal university
Yizhak Elboher, The Hebrew University of Jerusalem Israel
Yogev Shalmon, Technion & Intel
Yuning Wang, Rutgers University
Yusen Su, University of Waterloo
Zhengyang John Lu, University of Waterloo
Zhiyang Chen, University of Toronto
Zunchen Huang, CWI