Organization

PROGRAM CHAIRS

Arie Gurfinkel, University of Waterloo

Vijay Ganesh, Georgia Institute of Technology

LOCAL CHAIR

Xujie Si, University of Toronto

WORKSHOP CHAIR

Temesghen Kahsai, Amazon

SPONSORSHIP CHAIR

Grigory Fedyukovich, Florida State University

FELLOWSHIP CHAIRS

Grigory Fedyukovich, Florida State University

Eric Koskinen, Stevens Institute of Technology

ARTIFACT EVALUATION CHAIRS

Mirco Giacobbe, University of Birmingham

Milan Ceska, Brno University of Technology

SOCIAL MEDIA CHAIRS

Norine Coenen, CISPA Helmholtz Center for Information Security

Hadar Frenkel, CISPA Helmholtz Center for Information Security

WEBSITE CHAIR

John (Zhengyang) Lu, University of Waterloo

PROGRAM COMMITTEE

Aditya Thakur University of California, Davis
Ahmed BouajjaniIRIF
Aina NiemetzStanford University
Akash LalMicrosoft Research
Alan HuUniversity of British Columbia
Alessandro CimattiFondazione Bruno Kessler
Alexander NadelTechnion & Intel
Amir GoharshadyHong Kong University of Science and Technology
Anastasia MavridouKBR Inc
Andrew ReynoldsUniversity of Iowa
Anna SlobodovaIntel
Anthony Widjaja LinTechnical University of Kaiserslautern
Azadeh FarzanUniversity of Toronto
B. SrivathsanChennai Mathematical Institute
Benjamin KaminskiSaarland University
Bernd FinkbeinerCISPA Helmholtz Center for Information Security
Bettina KönighoferGraz University of Technology
Bor-Yuh Evan ChangUniversity of Colorado
Borzoo BonakdarpourMichigan State University
Caterina UrbanInria
Cezara DragoiInria
Christopher HahnGoogle
Constantin EneaEcole Polytechnique
Corina PasareanuNASA
Deepak D’SouzaIndian Institute of Science
Dejan JovanovićAmazon
Elizabeth PolgreenUniversity of Edinburgh
Elvira AlbertUniversidad Complutense de Madrid
Erika AbrahamRWTH Aachen University
Eunsuk KangCarnegie Mellon University
Florin ManeaUniversity of Göttingen
Gagandeep SinghUniversity of Illinois Urbana-Champaign
Grigory FedyukovichFlorida State University
Guy AmirHebrew University of Jerusalem
Hadar FrenkelCISPA Helmholtz Center for Information Security
Hongce ZhangHong Kong University of Science and Technology
Ichiro HasuoNational Institute of Informatics
Isil DilligUniversity of Texas at Austin
Jana HofmannAzure Research, Microsoft
Jianwen LiEast China Normal University
Jingbo WangUniversity of Southern California
Jorge A. NavasCertora
Ken McMillanUniversity of Texas at Austin
Kristin Yvonne RozierIowa State University
Kshitij BansalGoogle
Kuldeep MeelUniversity of Toronto
Kumar MadhukarIndian Institute of Technology Delhi
Laura KovacsTU Wien
Liana HadareanAmazon
Loris D’AntoniUniversity of Wisconsin-Madison
Mathias PreinerStanford University
Matthias HeizmannUniversity of Freiburg
Mihaela SighireanuUniversity Paris-Saclay
Mirco GiacobbeUniversity of Birmingham
Naijun ZhanChinese Academy of Sciences
Natasha SharyginaUniversity of Lugano
Nathalie SznajderSorbonne Université
Nikolaj BjørnerMicrosoft Research
Ning LuoNorthwestern University
Oded PadonVMware Research
Orna GrumbergTechnion
Pascal FontaineUniversité de Liège
Peter SchrammelUniversity of Sussex
Qirun ZhangGeorgia Institute of Technology
Ranjit JhalaUniversity of California San Diego
Ravi MangalCarnegie Mellon University
Rayna DimitrovaCISPA Helmholtz Center for Information Security
Rohit DurejaAdvanced Micro Devices, Inc.
Roland YapNational University of Singapore
Rose BohrerWorcester Polytechnic Institute
Ruzica PiskacYale University
S. AkshayIndian Institute of Technology Bombay
Sebastian JungesRadboud University
Serdar TasiranAmazon
Sharon ShohamTel Aviv University
Shuvendu LahiriMicrosoft Research
Sorav BansalIndian Institute of Technology Delhi
Sriram SankaranarayananUniversity of Colorado Boulder
Subhajit RoyIndian Institute of Technology Kanpur
Subodh SharmaIndian Institute of Technology Delhi
Suguman BansalGeorgia Institute of Technology
Supratik ChakrabortyIndian Institute of Technology Bombay
Temesghen KahsaiAmazon
Umang MathurNational University of Singapore
Xujie SiUniversity of Toronto
Yakir VizelTechnion
Yann Thierry-MiegLIP6
Yu-Fang ChenAcademia Sinica
Zvonimir RakamaricAmazon

ARTIFACT EVALUATION COMMITTEE

Abhinandan PalUniversity of Birmingham
Adwait GodboleUC Berkeley
Akshatha ShenoyTata Consultancy Services Ltd.
Alejandro Hernández-CerezoComplutense University of Madrid
Alvin GeorgeIISc Bangalore
Ameer HamzaFlorida State University
Andreas KatisKBR Inc. at NASA Ames Research Center
Anna BecchiFondazione Bruno Kessler
Benjamin MikekGeorgia Institute of Technology
Bohua ZhanInstitute of Software, Chinese Academy of Sciences
Chenyu ZhouUniversity of Southern California
Daniel DietschUniversity Freiburg
Daniel RileyFlorida State University
Diptarko RoyUniversity of Oxford
Edoardo ManinoUniversity of Manchester
Ennio ViscontiTU Wien
Enrico MagnagoAmazon Web Services
Filip CanoGraz University of Technology
Filip MacákBrno University of Technology
Florian RenkinIRIF
Francesco ParoliniSorbonne Université
Francesco PontiggiaTU Wien
Gianluca RedondiFondazione Bruno Kessler
Giulio GarbiUniversity of Molise
Haoze WuStanford University
Jacqueline MitchellUniversity of Southern California
Jialuo ChenZhejiang University
Jie AnNational Institute of Informatics
Jiong YangNational University of Singapore
Julia KleinUniversity of Konstanz
Kartik NagarIIT Madras
Kaushik MallikInstitute of Science and Technology Austria
Kazuki WatanabeNational Institute of Informatics, Tokyo
Kevin CheangAmazon Web Services
Konstantin KueffnerInstitute of Science and Technology Austria
Lelio BrunNational Institute of Informatics
Lorenz LeutgebMax Planck Institute for Informatics
Luca ArnaboldiUniversity of Birmingham
Lucas ZavaliaFlorida State University
Malinda DilharaUniversity of Colorado Boulder
Marcel MoosbruggerTU Wien
Marck van der VegtRadboud University
Marco CasadioHeriot-Watt University
Marco LewisNewcastle University
Marek ChalupaInstitute of Science and Technology Austria
Mário PereiraNOVA University Lisbon
Marius MikučionisAalborg University
Mathias FleuryUniversity of Freiburg
Matteo MarescottiMeta Platforms
Matthias SchlaipferAmazon Web Services
Maximilian WeiningerInstitute of Science and Technology Austria
Mertcan TemelIntel Corporation
Mihir MehtaThe University of Texas at Austin
N. Ege SaraçInstitute of Science and Technology Austria
Natasha JeppuAmazon Web Services
Neea RushAugusta University
Neta EladTel Aviv University
Nham LeUniversity of Waterloo
Oliver MarkgrafMax Planck Institute Kaiserslautern
Omar InversoGran Sasso Science Institute
Omri IsacThe Hebrew University of Jerusalem
Oyendrila DobeMichigan State University
P HabeebIndian Institute of Science
Patrick TrentinAmazon Web Services
Philippe HeimCISPA Helmholtz Center for Information Security
Po-Chun ChienLMU Munich
Ranadeep BiswasInformal Systems
Remi DesmartinHeriot-Watt University
Roman AndriushchenkoBrno University of Technology
Samuel PastvaInstitute of Science and Technology Austria
Sayan MukherjeeUniversité Libre de Bruxelles
Shengping XiaoEast China Normal University
Shubham UgareUIUC
Shufang ZhuUniversity of Oxford
Shuo DingGeorgia Institute of Technology
Siddharth PriyaUniversity of Waterloo
Sidi Mohamed BeillahiUniversity of Toronto
Stefan PrangerGraz University of Technology
Tobias MeggendorferLancaster University Leipzig
Tobias WinklerRWTH Aachen University
Tzu-Han HsuMichigan State University
Wael-Amine BoutglayUniversité Paris Cité and Mohammed VI Polytechnic University
Xidan SongUniversity of Manchester
Xindi ZhangInstitute of Software, Chinese Academy of Sciences
Xiyue ZhangUniversity of Oxford
Yannan LiOracle
Yannik SchnitzerUniversity of Oxford
Yizhak ElboherThe Hebrew University of Jerusalem
Yuzhou FangUniversity of Southern California
Zhe TaoUniversity of California, Davis
Zhendong AngNational University of Singapore
Zhiwei ZhangRice University

CAV AWARD COMMITTEE

Corina Pasareanu (Chair), NASA

Rupak Majumdar, MPI-SWS

Ranjit Jhala, UC San Diego

Alessandro Cimatti, Fondazione Bruno Kessler

STEERING COMMITTEE

Orna Grumberg, Technion

Aarti Gupta, Princeton University

Daniel Kröning, University of Oxford

Ken McMillan, University of Texas at Austin