POPL 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (283)

A Danel AhmanAhman, Danel University of LjubljanaSlovenia Committee Member in Program Committee within the CPP-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee within the PriSC-track
Ozgur AkgunAkgun, Ozgur University of St Andrews, St Andrews, UKUnited Kingdom Committee Member in Program Committee within the PADL-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Programme Chairs within the PADL-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the POPL -track
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Committee Member in Programme Chairs within the PADL-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the PEPM-track
Nicola AssoliniAssolini, Nicola University of VeronaItaly Video Co-Chair in Organizing Committee for POPL 2026
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Committee Member in Organizing Committee within the TPSA-track
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the PADL-track
Alexander BakstBakst, Alexander CertoraUnited States Committee Member in Program Committee within the VMCAI-track
Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA Committee Member in Program Committee within the PADL-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the VMCAI-track
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Student Volunteer Co-Chair in Organizing Committee for POPL 2026
Calvin BeckBeck, Calvin University of Pennsylvania, USACanada Artifact Evaluation Co-Chair in Organizing Committee for POPL 2026
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Committee Member in Program Committee within the PADL-track
Frédéric BessonBesson, Frédéric Committee Member in Organizing Committee within the RocqPL-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the PADL-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance General Chair in Organizing Committee for POPL 2026 Committee Member in Steering Committee within the CPP-track
Rose BohrerBohrer, Rose National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan Committee Member in Program Committee within the POPL -track
Borzoo BonakdarpourBonakdarpour, Borzoo Iowa State University, USA Committee Member in Program Committee within the VMCAI-track
Olivier BouissouBouissou, Olivier Amazon Web ServicesUnited States Committee Member in Steering Committee Chairs within the Dafny-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Program Committee within the PEPM-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Committee Member in Program Committee within the WITS-track
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Committee Member in Program Committee within the PADL-track
C Marco CampionCampion, Marco INRIA & ENS Paris \| Université PSLFrance Committee Member in Program Committee within the POPL -track
Filip Cano CórdobaCano Córdoba, Filip Technical University of Graz Committee Member in Program Committee within the VMCAI-track
Milan CeskaCeska, Milan Brno University of Technology Czechia Committee Member in Program Committee within the VMCAI-track
Marek ChalupaChalupa, Marek Institute of Science and Technology Austria Co-chair in Artifact Evaluation Committee within the VMCAI-track
Liqian ChenChen, Liqian National University of Defense TechnologyChina Committee Member in Program Committee within the VMCAI-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Chih-Hong ChengCheng, Chih-Hong Carl von Ossietzky Universität Oldenburg & Chalmers University of TechnologyGermany Committee Member in Program Committee within the VMCAI-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the CPP-track
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Committee Member in Program Committee within the PADL-track
Cyril CohenCohen, Cyril Inria Committee Member in Program Committee within the CPP-track
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Program Committee within the PADL-track
D Sander R. DahmenDahmen, Sander R. Vrije Universiteit Amsterdam Committee Member in Program Committee within the CPP-track
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly Committee Member in Program Committee within the PLanQC-track
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in Program Committee within the POPL -track
Lesly-Ann DanielDaniel, Lesly-Ann EURECOMFrance Committee Member in Steering Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Committee Member in Program Committee within the POPL -track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Committee Member in Program Committee within the CPP-track
Valeria de Paivade Paiva, Valeria Topos InstituteUnited States Committee Member in Program Committee within the POPL -track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the VMCAI-track
Paulo Emílio de Vilhenade Vilhena, Paulo Emílio Imperial College London Committee Member in Program Committee within the POPL -track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in Organizing Committee within the RocqPL-track
Rayna DimitrovaDimitrova, Rayna CISPA, GermanyGermany Committee Member in Program Committee within the POPL -track
Paul DownenDownen, Paul University of Massachusetts at LowellUnited States Committee Member in Program Committee within the PEPM-track
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Committee Member in Program Committee within the CPP-track
Ross DuncanDuncan, Ross Quantinuum Committee Member in Organizing Committee within the PLanQC-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States Committee Member in Program Committee within the CPP-track
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Committee Member in Program Committee within the POPL -track
Esra ErdemErdem, Esra Sabanci UniversityTurkey Committee Member in Program Committee within the PADL-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in Program Committee within the PEPM-track
Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the VMCAI-track
Javier EsparzaEsparza, Javier Technical University of Munich Committee Member in Program Committee within the VMCAI-track
F Claudia FaggianFaggian, Claudia Université de Paris & CNRS Committee Member in Program Committee within the PLanQC-track
Chris FallinFallin, Chris F5United States Committee Member in Steering Committee within the PriSC-track
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, University of BordeauxFrance Committee Member in Program Committee within the POPL -track
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the PADL-track
Yannick ForsterForster, Yannick INRIAFrance PLMW Co-Chair in Organizing Committee for POPL 2026 Committee Member in Program Committee within the WITS-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the PADL-track
Asta Halkjær FromFrom, Asta Halkjær University of CopenhagenDenmark Committee Member in Program Committee within the CPP-track
Aymeric FromherzFromherz, Aymeric InriaFrance Committee Member in Program Committee within the CPP-track
Zhoulai FuFu, Zhoulai State University of New York, Korea Committee Member in Program Committee within the POPL -track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee within the POPL -track
Vijay GaneshGanesh, Vijay Georgia TechUnited States Committee Member in Program Committee within the VMCAI-track
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Committee Member in Program Committee within the PADL-track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Committee Member in Program Committee within the VMCAI-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the PEPM-track
Shilpi GoelGoel, Shilpi Centaur Technology, Inc. Committee Member in Program Committee within the CPP-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Diversity, Equity, and Inclusion Chair in Organizing Committee for POPL 2026
Sergey GoncharovGoncharov, Sergey University of BirminghamUnited Kingdom Committee Member in Program Committee within the POPL -track
Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-track
Kiran GopinathanGopinathan, Kiran University of Illinois Urbana ChampaignUnited States Committee Member in Program Committee within the RocqPL-track
Colin GordonGordon, Colin Drexel UniversityUnited States Associate Chair in Program Committee within the POPL -track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Industrial Relations Co-Chair in Organizing Committee for POPL 2026
Samuel GruetterGruetter, Samuel ETH Zurich Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the RocqPL-track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Committee Member in Steering Committee within the PriSC-track
Simon GuilloudGuilloud, Simon EPFLSwitzerland Committee Member in Program Committee within the VMCAI-track
Ashutosh GuptaGupta, Ashutosh Committee Member in Program Committee within the VMCAI-track
Gopal GuptaGupta, Gopal Committee Member in Program Committee within the PADL-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the POPL -track
H Matthew HagueHague, Matthew Royal Holloway University of LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
Michael HanusHanus, Michael Kiel UniversityGermany Committee Member in Program Committee within the PADL-track
Yann HerklotzHerklotz, Yann EPFLSwitzerland Committee Member in Program Committee within the Dafny-track
Kesha HietalaHietala, Kesha Sandia National LaboratoriesUnited States Committee Member in Program Committee within the PLanQC-track
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg IT University of CopenhagenDenmark Committee Member in Program Committee within the POPL -track
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States PLMW Co-Chair in Organizing Committee for POPL 2026
Florent HivertHivert, Florent Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA Committee Member in Program Committee within the CPP-track
Lukáš HolíkHolík, Lukáš Brno University of Technology; Aalborg UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Chih-Duo HongHong, Chih-Duo National Chengchi UniversityTaiwan Committee Member in Program Committee within the VMCAI-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Committee Member in Steering Committee within the PriSC-track Committee Member in Steering Committee within the CPP-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Program Committee within the CPP-track
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom Committee Member in Program Committee within the POPL -track
I Daniela InclezanInclezan, Daniela Miami University, USA Committee Member in Program Committee within the PADL-track
Yusuke IzawaIzawa, Yusuke Tokyo Metropolitan UniversityJapan Committee Member in Program Committee within the PEPM-track
Yusuf IzmirliogluIzmirlioglu, Yusuf United Kingdom Committee Member in Program Committee within the PADL-track
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States PC Chair in Organizing Committee for POPL 2026 Program Chair in Program Committee within the POPL -track
Georges-Axel JaloyanJaloyan, Georges-Axel Ministère de l'Économie et des FinancesFrance Committee Member in Program Committee within the Dafny-track
Thomas P. JensenJensen, Thomas P. INRIA Rennes Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Eddie JonesJones, Eddie University of BristolUnited Kingdom Committee Member in Program Committee within the POPL -track
Jacques-Henri JourdanJourdan, Jacques-Henri Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles Committee Member in Program Committee within the Dafny-track
Ralf JungJung, Ralf ETH ZurichSwitzerland Student Research Competition Co-Chair in Organizing Committee for POPL 2026
Sebastian JungesJunges, Sebastian Committee Member in Program Committee within the VMCAI-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Organizing Committee within the PEPM-track
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance Committee Member in Program Committee within the CPP-track
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIFFrance Committee Member in Program Committee within the POPL -track
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia Committee Member in Steering Committee within the CPP-track
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Committee Member in Program Committee within the PEPM-track
Jan KofroňKofroň, Jan Charles UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland Committee Member in Program Committee within the POPL -track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom Committee Member in Program Committee within the POPL -track
Angeliki Koutsoukou-ArgyrakiKoutsoukou-Argyraki, Angeliki Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the CPP-track
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria Associate Chair in Program Committee within the POPL -track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Associate Chair in Program Committee within the POPL -track
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT BombayIndia Committee Member in Program Committee within the POPL -track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Steering Committee within the VMCAI-track
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands Committee Member in Program Committee within the VMCAI-track
Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance Committee Member in Program Committee within the POPL -track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Committee Member in Program Committee within the POPL -track
Christopher LamLam, Christopher University of Illinois at Urbana-ChampaignUnited States Video Co-Chair in Organizing Committee for POPL 2026
Thierry LecomteLecomte, Thierry CLEARSYFrance Committee Member in Program Committee within the Dafny-track
Nian-Ze LeeLee, Nian-Ze National Taiwan University, TaiwanTaiwan Committee Member in Program Committee within the VMCAI-track
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea Committee Member in Program Committee within the POPL -track
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden Committee Member in Program Committee within the CPP-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Committee Member in Steering Committee Chairs within the Dafny-track
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Committee Member in Program Committee within the VMCAI-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia Co-chair in Organizing Committee within the VMCAI-track Co-chair in Program Committee within the VMCAI-track
Jérôme LerouxLeroux, Jérôme CNRSFrance Committee Member in Program Committee within the VMCAI-track
Michael LeuschelLeuschel, Michael University of Düsseldorf Committee Member in Program Committee within the PADL-track
Alexander K. LewLew, Alexander K. Yale UniversityUnited States Committee Member in Organizing Committee within the LAFI-track
Gushu LiLi, Gushu University of PennsylvaniaUnited States Committee Member in Program Committee within the PLanQC-track
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina Co-chair in Artifact Evaluation Committee within the VMCAI-track
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Committee Member in Program Committee within the POPL -track
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan Committee Member in Program Committee within the VMCAI-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Committee Member in Program Committee within the PADL-track
M Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance Committee Member in Program Committee within the POPL -track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the PEPM-track
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track
Chris MartensMartens, Chris Northeastern UniversityUnited States Committee Member in Program Committee within the POPL -track
Isabella MastroeniMastroeni, Isabella University of VeronaItaly Committee Member in Program Committee within the VMCAI-track
Christoph MathejaMatheja, Christoph DTUDenmark Committee Member in Program Committee within the POPL -track
Nicolas MazzocchiMazzocchi, Nicolas Slovak University of Technology in BratislavaSlovakia Committee Member in Program Committee within the VMCAI-track
Giuseppe MazzottaMazzotta, Giuseppe University of CalabriaItaly Committee Member in Program Committee within the PADL-track
Stephen MellMell, Stephen Student Volunteer Co-Chair in Organizing Committee for POPL 2026
Kayvan MemarianMemarian, Kayvan University of Cambridge Committee Member in Program Committee within the POPL -track
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Program Committee within the PADL-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the VMCAI-track
Alexandre MoineMoine, Alexandre New York UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Benoît MontaguMontagu, Benoît InriaFrance Industrial Relations Co-Chair in Organizing Committee for POPL 2026 Committee Member in Program Committee within the VMCAI-track
José MoralesMorales, José IMDEA Software InstituteSpain Committee Member in Program Committee within the PADL-track
Yannick MoyMoy, Yannick ANSSIFrance Committee Member in Program Committee Chairs within the Dafny-track
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
Andrew MyersMyers, Andrew Cornell University Committee Member in Steering Committee within the PriSC-track
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in Program Committee within the PADL-track
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany Committee Member in Program Committee within the POPL -track
N Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan Committee Member in Program Committee within the PEPM-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Program Committee within the POPL -track
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the VMCAI-track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Program Committee within the VMCAI-track
Kim NguyễnNguyễn, Kim Université Paris-SaclayFrance Committee Member in Program Committee within the POPL -track
Tobias NipkowNipkow, Tobias Technische Universität München Committee Member in Steering Committee within the CPP-track
Paige Randall NorthNorth, Paige Randall Utrecht University Committee Member in Program Committee within the POPL -track
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioNuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Université Jean Monnet Saint-ÉtienneFrance Committee Member in Program Committee within the CPP-track
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium Committee Member in Program Committee within the POPL -track
O Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the POPL -track
P Michele PaganiPagani, Michele LIP - ENS de LyonFrance Committee Member in Program Committee within the POPL -track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee within the PLanQC-track
Hugo PaquetPaquet, Hugo École Normale Supérieure, PSL University & INRIAFrance Committee Member in Organizing Committee within the LAFI-track
Zoe ParaskevopoulouParaskevopoulou, Zoe Ethereum FoundationGreece Committee Member in Program Committee within the CPP-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the POPL -track
Jennifer PaykinPaykin, Jennifer IntelUnited States Committee Member in Program Committee within the PLanQC-track
Yuxiang PengPeng, Yuxiang Purdue UniversityUnited States Committee Member in Program Committee within the PLanQC-track
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Committee Member in Program Committee within the CPP-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Steering Committee within the CPP-track
Frank PiessensPiessens, Frank KU LeuvenBelgium Committee Member in Steering Committee within the PriSC-track
Jakob PiribauerPiribauer, Jakob TU Dresden Committee Member in Program Committee within the VMCAI-track
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Committee Member in Steering Committee within the VMCAI-track Committee Member in Program Committee within the POPL -track
Adrien PommelletPommellet, Adrien EPITA / LREFrance Committee Member in Program Committee within the VMCAI-track
Enrico PontelliPontelli, Enrico Committee Member in Program Committee within the PADL-track
François PottierPottier, François InriaFrance Committee Member in Program Committee within the RocqPL-track
Swarn PriyaPriya, Swarn Virginia TechUnited States Committee Member in Program Committee within the RocqPL-track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Organizing Committee within the TPSA-track
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in Program Committee within the PADL-track
Robert RandRand, Robert University of ChicagoUnited States Workshops Co-Chair in Organizing Committee for POPL 2026 Committee Member in Organizing Committee within the PLanQC-track Committee Member in Program Committee within the PLanQC-track
Francesco RanzatoRanzato, Francesco University of PadovaItaly Committee Member in Program Committee within the VMCAI-track
Mathys RennelaRennela, Mathys WelinqFrance Committee Member in Organizing Committee within the PLanQC-track
Morten RhigerRhiger, Morten Committee Member in Program Committee within the PEPM-track
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the RocqPL-track
S Amr SabrySabry, Amr Indiana UniversityUnited States Committee Member in Program Committee within the POPL -track
Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the POPL -track
David SananSanan, David Singapore Institute of Technology Committee Member in Program Committee within the POPL -track
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Steering Committee within the VMCAI-track
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria Committee Member in Program Committee within the PADL-track
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan Committee Member in Program Committee within the POPL -track
Ina SchaeferSchaefer, Ina KITGermany Committee Member in Program Committee within the PLanQC-track
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Committee Member in Program Committee within the POPL -track
Alan SchmittSchmitt, Alan InriaFrance Workshops Co-Chair in Organizing Committee for POPL 2026
Christoph SchollScholl, Christoph University of FreiburgGermany Committee Member in Program Committee within the VMCAI-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the PADL-track Committee Member in Program Committee within the PEPM-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Committee Member in Program Committee within the Dafny-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee within the CPP-track
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Committee Member in Steering Committee within the PriSC-track
Mahsa ShirmohammadiShirmohammadi, Mahsa CNRS & IRIF, ParisFrance Committee Member in Program Committee within the POPL -track
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom Committee Member in Program Committee within the POPL -track
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States Committee Member in Program Committee within the VMCAI-track
Mihaela SighireanuSighireanu, Mihaela University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance Committee Member in Program Committee within the VMCAI-track
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance Committee Member in Program Committee within the VMCAI-track
Anna SlobodovaIntelSlobodovaIntel, Anna Centaur Technology Committee Member in Program Committee within the CPP-track
Matthieu SozeauSozeau, Matthieu InriaFrance Committee Member in Program Committee within the POPL -track
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Committee Member in Program Committee within the VMCAI-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2026 Conference Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
Sam StatonStaton, Sam University of OxfordUnited Kingdom Associate Chair in Program Committee within the POPL -track
Deian StefanStefan, Deian University of California at San DiegoUnited States Committee Member in Steering Committee within the PriSC-track
Leo StefanescoStefanesco, Leo University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Committee Member in Program Committee within the VMCAI-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia Committee Member in Program Committee within the VMCAI-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Committee Member in Program Committee within the VMCAI-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Hira Taqdees SyedaSyeda, Hira Taqdees Amazon Web ServicesGermany Committee Member in Program Committee within the CPP-track
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Éric TanterTanter, Éric University of ChileChile Committee Member in Program Committee within the POPL -track
Runzhou TaoTao, Runzhou University of Maryland, College ParkUnited States Committee Member in Program Committee within the POPL -track
Paul TarauTarau, Paul University of North TexasUnited States Committee Member in Program Committee within the PADL-track
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Web Chair in Organizing Committee for POPL 2026 Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee Chairs within the Dafny-track
Ramanathan S. ThinniyamThinniyam, Ramanathan S. Uppsala UniversitySweden Committee Member in Program Committee within the POPL -track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Committee Member in Steering Committee within the CPP-track
Laura TitoloTitolo, Laura Code MetalUnited States Committee Member in Program Committee within the POPL -track
Sophie TourretTourret, Sophie Max Planck Institute for Informatics Committee Member in Program Committee within the CPP-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Committee Member in Steering Committee within the CPP-track Committee Member in Program Committee within the POPL -track
Jean-Baptiste TristanTristan, Jean-Baptiste AmazonUnited States Committee Member in Steering Committee Chairs within the Dafny-track
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan Committee Member in Program Committee within the PLanQC-track Committee Member in Program Committee within the POPL -track
V Niels van der Weidevan der Weide, Niels Radboud University Committee Member in Program Committee within the CPP-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Committee Member in Program Committee within the VMCAI-track
David Van HornVan Horn, David University of MarylandUnited States Committee Member in Program Committee within the POPL -track
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the POPL -track
Niki VazouVazou, Niki IMDEA Software Institute Chair in Program Committee within the WITS-track
Joost VennekensVennekens, Joost KU Leuven Committee Member in Program Committee within the PADL-track
Jules VillardVillard, Jules MetaUnited Kingdom Committee Member in Organizing Committee within the TPSA-track
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
W Masaki WagaWaga, Masaki Kyoto UniversityJapan Committee Member in Program Committee within the VMCAI-track
Johannes WallnerWallner, Johannes Graz University of TechnologyAustria Committee Member in Program Committee within the PADL-track
Chao WangWang, Chao University of Southern CaliforniaUnited States Committee Member in Program Committee within the POPL -track
Di WangWang, Di Peking UniversityChina Committee Member in Program Committee within the POPL -track
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Committee Member in Program Committee within the POPL -track
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Committee Member in Program Committee within the POPL -track
Kazuki WatanabeWatanabe, Kazuki National Institute of Informatics; SOKENDAIJapan Committee Member in Program Committee within the VMCAI-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Virtualization Chair in Organizing Committee for POPL 2026
Guannan WeiWei, Guannan Tufts UniversityUnited States Committee Member in Program Committee within the PEPM-track
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Associate Chair in Program Committee within the POPL -track
Philipp WendlerWendler, Philipp LMU Munich Committee Member in Program Committee within the VMCAI-track
Scott WesleyWesley, Scott Dalhousie University Committee Member in Program Committee within the PLanQC-track
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in Program Committee within the PADL-track
Leo WhiteWhite, Leo Jane StreetUnited Kingdom Committee Member in Program Committee within the PEPM-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
Thomas WiesWies, Thomas New York UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Théo WinterhalterWinterhalter, Théo INRIAFrance Committee Member in Program Committee within the POPL -track
James WorrellWorrell, James University of OxfordUnited Kingdom Committee Member in Program Committee within the POPL -track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
X Ningning XieXie, Ningning University of TorontoCanada Publicity Chair in Organizing Committee for POPL 2026 Committee Member in Organizing Committee within the PEPM-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -track
Akihisa YamadaYamada, Akihisa AISTJapan Committee Member in Program Committee within the CPP-track
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in Program Committee within the POPL -track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Committee Member in Program Committee within the POPL -track
Charles YuanYuan, Charles University of Wisconsin–MadisonUnited States Committee Member in Program Committee within the PLanQC-track
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly Committee Member in Program Committee within the VMCAI-track
Yannick ZakowskiZakowski, Yannick InriaFrance Web Chair in Organizing Committee for POPL 2026 test1 Conference Chair in Organizing Committee within the CPP-track
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States Artifact Evaluation Co-Chair in Organizing Committee for POPL 2026
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance Committee Member in Organizing Committee within the PLanQC-track PC Chair in Program Committee within the PLanQC-track
Stefan ZetzscheZetzsche, Stefan AmazonUnited Kingdom Committee Member in Program Committee Chairs within the Dafny-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Committee Member in Program Committee within the RocqPL-track
Li ZhouZhou, Li Institute of Software at Chinese Academy of SciencesChina Committee Member in Program Committee within the VMCAI-track
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States Committee Member in Organizing Committee within the TPSA-track
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the POPL -track
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Steering Committee within the VMCAI-track

POPL 2026 Contributors

Results (283)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia