POPL 2026 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (142)
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada |
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland |
Calvin BeckBeck, Calvin University of Pennsylvania, USACanada |
Sandrine BlazyBlazy, Sandrine University of RennesFrance |
Rose BohrerBohrer, Rose National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan |
Marek ChalupaChalupa, Marek Institute of Science and Technology Austria |
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly |
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom |
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland |
Valeria de Paivade Paiva, Valeria Topos InstituteUnited States |
Paulo Emílio de Vilhenade Vilhena, Paulo Emílio Imperial College London |
Rayna DimitrovaDimitrova, Rayna CISPA, GermanyGermany |
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry |
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique |
Asta Halkjær FromFrom, Asta Halkjær University of CopenhagenDenmark |
Aymeric FromherzFromherz, Aymeric InriaFrance |
Zhoulai FuFu, Zhoulai State University of New York, Korea |
Shilpi GoelGoel, Shilpi Centaur Technology, Inc. |
Hannah GommerstadtGommerstadt, Hannah Vassar College |
Sergey GoncharovGoncharov, Sergey School of Computer Science, University of BirminghamUnited Kingdom |
Colin GordonGordon, Colin Drexel UniversityUnited States |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Samuel GruetterGruetter, Samuel ETH Zurich |
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada |
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg IT University of CopenhagenDenmark |
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States |
Florent HivertHivert, Florent Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA |
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany |
Zhenjiang HuHu, Zhenjiang Peking UniversityChina |
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea |
Graham HuttonHutton, Graham University of NottinghamUnited Kingdom |
Eddie JonesJones, Eddie University of BristolUnited Kingdom |
Ralf JungJung, Ralf ETH ZurichSwitzerland |
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance |
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIFFrance |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Angeliki Koutsoukou-ArgyrakiKoutsoukou-Argyraki, Angeliki University of Cambridge, Department of Computer Science and TechnologyUnited Kingdom |
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT BombayIndia |
Ori LahavLahav, Ori Tel Aviv UniversityIsrael |
Christopher LamLam, Christopher University of Illinois at Urbana-ChampaignUnited States |
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea |
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden |
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia |
Yong LiLi, Yong Institute of Software, Chinese Academy of SciencesChina |
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States |
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States |
Chris MartensMartens, Chris Northeastern UniversityUnited States |
Christoph MathejaMatheja, Christoph DTUDenmark |
Kayvan MemarianMemarian, Kayvan University of Cambridge |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Benoît MontaguMontagu, Benoît InriaFrance |
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States |
Markus Müller-OlmMüller-Olm, Markus University of MünsterGermany |
Kim NguyễnNguyễn, Kim Université Paris-SaclayFrance |
Tobias NipkowNipkow, Tobias Technische Universität München |
Paige Randall NorthNorth, Paige Randall Utrecht University |
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioNuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo Université Jean Monnet Saint-ÉtienneFrance |
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium |
Zoe ParaskevopoulouParaskevopoulou, Zoe Ethereum FoundationGreece |
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China |
Marco PatrignaniPatrignani, Marco University of TrentoItaly |
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Andreas PodelskiPodelski, Andreas University of FreiburgGermany |
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States |
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States |
Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria |
David SananSanan, David Singapore Institute of Technology |
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan |
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Mahsa ShirmohammadiShirmohammadi, Mahsa CNRS & IRIF, ParisFrance |
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom |
Anna SlobodovaIntelSlobodovaIntel, Anna Centaur Technology |
Matthieu SozeauSozeau, Matthieu InriaFrance |
Sam StatonStaton, Sam University of OxfordUnited Kingdom |
Leo StefanescoStefanesco, Leo University of CambridgeUnited Kingdom |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Hira Taqdees SyedaSyeda, Hira Taqdees Amazon Web ServicesGermany |
Éric TanterTanter, Éric University of ChileChile |
Runzhou TaoTao, Runzhou University of Maryland, College ParkUnited States |
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States |
Ramanathan S. ThinniyamThinniyam, Ramanathan S. Uppsala UniversitySweden |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Laura TitoloTitolo, Laura Code MetalUnited States |
Sophie TourretTourret, Sophie Max Planck Institute for Informatics |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan |
David Van HornVan Horn, David University of MarylandUnited States |
Marco VassenaVassena, Marco Utrecht UniversityNetherlands |
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States |
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada |
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |
John WickersonWickerson, John Imperial College LondonUnited Kingdom |
Théo WinterhalterWinterhalter, Théo INRIAFrance |
James WorrellWorrell, James University of OxfordUnited Kingdom |
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom |
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States |
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States |
Elena ZuccaZucca, Elena University of GenoaItaly |