Organization

PROGRAM CHAIRS

Sharon Shoham, Tel Aviv University
Yakir Vizel, The Technion

PROGRAM COMMITTEE

Aina NiemetzStanfordUSA
Alastair DonaldsonImperial College LondonUK
Alessandro CimattiFBKItaly
Alexander IvriiIBMIsrael
Alexander J. SummersUniversity of British ColumbiaCanada
Alexander NadelIntelIsrael
Alexandra SilvaCornell UniversityUSA
Ana SokolovaUniversity of SalzburgAustria
Anastasia MavridouKBR Inc, NASA Ames Research CenterUSA
Andreas PodelskiUniversity of FreiburgGermany
Andrei PopescuUniversity of SheffieldUK
Andrey RybalchenkoMicrosoft ResearchUK
Anna LukinaTU DelftNetherlands
Anna SlobodovaIntelUSA
Antoine MinéSorbonne UniversitéFrance
Armin BiereUniversity of FreiburgGermany
Azalea RaadImperial College LondonUK
Bor-Yuh Evan ChangUniversity of Colorado Boulder and AmazonUSA
Caterina UrbanINRIAFrance
Corina PasareanuCMU/NASA Ames Research CenterUSA
Dana Drachsler CohenTechnionIsrael
Daniel KroeningAmazon
David JansenChinese Academy of Sciences, BeijingChina
Deepak D’souzaIndian Institute of ScienceIndia
Dejan JovanovićAmazon Web ServicesUSA
Derek DreyerMPI-SWSGermany
Elizabeth PolgreenUniversity of EdinburghUK
Elvira AlbertComplutense University of MadridSpain
Erika AbrahamRWTH Aachen UniversityGermany
Grigory FedyukovichFlorida state universityUSA
Guy AvniHaifa universityIsrael
Guy KatzHebrew universityIsrael
Hadar FrenkelCISPAGermany
Hillel KuglerBar Ilan universityIsrael
Hiroshi UnnoUniversity of TsukubaJapan
Isabel Garcia-ContrerasWaterlooCanada
Ivana CernaMasaryk UniversityCzech Republic
Jade AlglaveUniversity College London & ArmUK
Jean-Baptiste JeanninUniversity of MichiganUSA
Joost-Pieter KatoenRWTH Aachen UniversityGermany
Josh BerdineMetaUK
Joxan JaffarNational University of SingaporeSingapore
Kenneth L. McMillanUT AustinUSA
Klaus v. GleissenthallVrije Universiteit AmsterdamNetherlands
Konstantin KorovinUniversity of ManchesterUK
Krishna ShankaranarayananIIT BombayIndia
Kuldeep MeelNational University of SingaporeSingapore
Laura TitoloNIA/NASA LaRCUSA
Liana HadareanAWSUSA
Marieke HuismanU TwenteNetherlands
Marijana LazićTU MunichGermany
Marijn J.H. HeuleCMUUSA
Markus RabeGoogleUSA
Martina SeidlJohannes Kepler University LinzAustria
Mingsheng YingChinese Academy of Sciences; Tsinghua UniversityChina
Miriam García SotoIST AustriaAustria
Natasha SharyginaUniversity of LuganoSwitzerland
Nikolaj BjornerMicrosoft ResearchUSA
Nir PitermanUniversity of GothenburgSweden
Oded PadonVMware ResearchUSA
Parasara Sridhar DuggiralaUNC Chapel HillUSA
Parosh Aziz AbdullaUppsala UniversitySweden
Pavithra PrabhakarKansas State UniversityUSA
Philippa GardnerImperial College LondonUK
Pierre Ganty IMDEA Software InstituteSpain
Rajeev JoshiAmazonUSA
Rayna DimitrovaCISPAGermany
Roderick BloemGraz University of TechnologyAustria
Ruben Martins CMUUSA
Rupak MajumdarMPI-SWSGermany
Ruzica Piskac Yale UniversityUSA
Sébastien BardinCEA LIST, Université Paris-SaclayFrance
Shuvendu LahiriMicrosoft ResearchUSA
Sorav BansalIIT Delhi and CompilerAI LabsIndia
Subodh SharmaIIT DelhiIndia
Supratik ChakrabortyIIT BomabyIndia
Swarat ChaudhuriUT AustinUSA
Swen JacobsCISPAGermany
Taylor T. JohnsonVanderbilt UniversityUSA
Temesghen KahsaiAmazonUSA
Wei-Ngan ChinNational University of SingaporeSingapore
Xavier RivalINRIA Paris/ENS/PSLFrance
Xujie Si McGill UniversityCanada
Yang LiuNanyang Technological UniversitySingapore
Yu-Fang ChenInstitute of Information Science, Academia SinicaTaiwan
Yuxin DengEast China Normal UniversityChina

ARTIFACT EVALUATION CHAIRS

Maria A Schett, University College London
Daniel Dietsch, University of Freiburg

ARTIFACT EVALUATION COMMITTEE

Huseyin Burak AkyolUniversity of Bristol
Guy AmirThe Hebrew University of Jerusalem
Muqsit AzeemTechnical University of Munich
Kshitij BansalMeta
Tianshu BaoVanderbilt University
Sébastien BardinCEA LIST, Université Paris-Saclay
Fabian Bauer-MarquartUniversity of Konstanz
Anna BecchiFondazione Bruno Kessler
Ranadeep BiswasInformal Systems
Christopher BrixRWTH Aachen University
Marek ChalupaIST Austria
Kevin CheangUC Berkeley
Lesly-Ann DanielKU Leuven
Kinnari DaveCertified Kernel Tech, LLC
Simon DierlTU Dortmund University
Florian DorfhuberChair of Theoretical Computer Science, TUM Department of Informatics
Benjamin FarinierTechnische Universität Wien (TU Wien)
Parisa FathololumiStevens Institute of Technology
Mathias FleuryUniversität Freibung
Luke GeesonUCL
Shilpi GoelIntel Corporation
Pablo GordilloComplutense University of Madrid
Manish GoyalUniversity of North Carolina at Chapel Hill
Akos HajduMeta Platforms Inc.
Alejandro Hernández-CerezoComplutense University of Madrid
Jana HofmannCISPA Helmholtz Center for Information Security
Miguel IsabelUniversidad Complutense de Madrid
Anastasiia IzychevaTU Munich
Martin JonášFondazione Bruno Kessler, Trento, Italy
Samuel JudsonYale University
Sudeep KanavLMU Munich, Germany
Daniela KaufmannJohannes Kepler University Linz
Brian KempaIowa State University
Ayrat KhalimovULB, Belgium
Nishant KheterpalUniversity of Michigan
Edward KimUniversity of North Carolina at Chapel Hill
John KolesarYale University
Bettina KönighoferGraz University of Technology
Mitja KulczynskiKiel University
Thomas LembergerLMU Munich
Julien LepillerYale University
Sven LinkerLancaster University in Leipzig
Kirby LinvillCU Boulder (Programming Languages and Verification group)
Y. Cyrus LiuStevens Institute of Technology
Tianhan LuUniversity of Colorado Boulder
Enrico MagnagoFondazione Bruno Kessler, University of Trento
Tobias MeggendorferIST Austria
Fabian MeyerRWTH Aachen University
Stefanie MohrTechnical Universitiy of Munich
Raphaël MonatLIP6, Sorbonne Université & CNRS
Marcel MoosbruggerTU Wien
Marco MunizAalborg University
Monal NarasimhamurthyUniversity of Colorado Boulder
Neelanjana PalVanderbilt University
Francesco ParoliniSorbonne University
Mário PereiraNOVA LINCS & Nova School of Science and Technology
João PereiraETH Zurich
Sumanth PrabhuIndian Institute of Science and TCS Research
Cedric RichterCarl von Ossietzky University of Oldenburg
Clara Rodríguez Complutense University of Madrid
Bob RubbensUniversity of Twente
Rubén RubioUniversidad Complutense de Madrid
Ömer ŞakarUniversity of Twente
Stanly SamuelIndian Institute of Science, Bangalore
Daniel SchoepeAmazon
Philipp SchröerRWTH Aachen University
Joseph ScottUniversity of Waterloo
Arnab SharmaUniversity of Oldenburg
Salomon SickertThe Hebrew University of Jerusalem
Yahui SongNational University of Singapore (NUS)
Michael StarzingerUniversity of Salzburg
Martin TapplerGraz University of Technology
Michael TautschnigQueen Mary University of London
Mertcan TemelIntel Corporation
Saeid Tizpaz-NiariUT El Paso
Deivid ValeRadboud University Nijmegen
Vesal VojdaniUniversity of Tartu
Masaki WagaKyoto University
Peixin WangUniversity of Oxford
Tobias WinklerRWTH Aachen University
Sakine YalmanUniversity of Exeter
Stefan ZetzscheUniversity College London
Xiao-Yi ZhangNational Institute of Informatics
Linpeng ZhangUCL
Đorđe ŽikelićIST Austria