POPL 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (153)

A Danel AhmanAhman, Danel University of LjubljanaSlovenia Committee Member in Program Committee within the CPP-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 Program Committee within the POPL -track
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain Committee Member in Programme Chairs within the PADL-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 Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -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
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
Olivier BouissouBouissou, Olivier Amazon Web ServicesUnited States Committee Member in Steering Committee Chairs within the Dafny-track
C Marco CampionCampion, Marco INRIA & ENS Paris \| Université PSLFrance Committee Member in Program Committee within the POPL -track
Marek ChalupaChalupa, Marek Institute of Science and Technology Austria Co-chair in Artifact Evaluation 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
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the CPP-track
Cyril CohenCohen, Cyril Inria Committee Member in Program Committee within the CPP-track
D Sander R. DahmenDahmen, Sander R. Vrije Universiteit Amsterdam Committee Member in Program Committee within the CPP-track
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in Program Committee within the POPL -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
Paulo Emílio de Vilhenade Vilhena, Paulo Emílio Imperial College London Committee Member in Program Committee within the POPL -track
Rayna DimitrovaDimitrova, Rayna CISPA, GermanyGermany Committee Member in Program Committee within the POPL -track
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Committee Member in Program Committee within the CPP-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
F Nathanaël FijalkowFijalkow, Nathanaël CNRS, LaBRI, University of BordeauxFrance Committee Member in Program Committee within the POPL -track
Yannick ForsterForster, Yannick INRIAFrance PLMW Co-Chair in Organizing Committee for POPL 2026
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
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
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
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
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
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Committee Member in Steering Committee within the CPP-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee within the POPL -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
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States PC Chair in Organizing Committee for POPL 2026 Program Chair in Program Committee within the POPL -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
Ralf JungJung, Ralf ETH ZurichSwitzerland Student Research Competition Co-Chair in Organizing Committee for POPL 2026
K 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
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 University of Cambridge, Department of Computer Science and TechnologyUnited 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
L 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
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
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
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
M Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance Committee Member in Program Committee within the POPL -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
Christoph MathejaMatheja, Christoph DTUDenmark Committee Member in Program Committee within the POPL -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
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
Benoît MontaguMontagu, Benoît InriaFrance Industrial Relations Co-Chair in Organizing Committee for POPL 2026
Yannick MoyMoy, Yannick AdaCoreFrance 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
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany Committee Member in Program Committee within the POPL -track
N Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Program Committee within the POPL -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
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
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Program Committee within the POPL -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
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Committee Member in Program Committee within the POPL -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
Robert RandRand, Robert University of ChicagoUnited States Workshops Co-Chair in Organizing Committee for POPL 2026
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the CPP-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
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan Committee Member in Program Committee within the POPL -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
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee within the CPP-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
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
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
Leo StefanescoStefanesco, Leo University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -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
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 POPL -track
V Niels van der Weidevan der Weide, Niels Radboud University Committee Member in Program Committee within the CPP-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 Program Committee within the POPL -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 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
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Virtualization Chair in Organizing Committee for POPL 2026
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Associate Chair in Program Committee within the POPL -track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -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
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
Z 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
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
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

POPL 2026 Contributors

Results (153)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia