POPL 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (387)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden PC Member in Program Committee within the VMCAI-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Program Committee within the WAW-track Author in Steering Committee within the PriSC-track
Seth AhrenbachAhrenbach, Seth Beneficial AI FoundationUnited States PC Member in Program Committee within the Dafny-track
Ozgur AkgunAkgun, Ozgur University of St Andrews, St Andrews, UKUnited Kingdom Committee Member in Program Committee within the PADL-track
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Co-chair in Organizing Committee within the PEPM-track
Carmen AlmudéverAlmudéver, Carmen Universitat Politècnica de València Committee Member in Program Committee within the PLanQC-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the PADL-track Committee Member in Programme Committee within the PEPM-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Organizing Committee in Organizing Committee within the PLanQC-track
Elli AnastasiadiAnastasiadi, Elli Uppsala UniversitySweden Committee Member in Program Committee within the VMCAI-track
Bruno AndreottiAndreotti, Bruno Universidade Federal de Minas Gerais Committee Member in Artifact Evaluation Committee within the VMCAI-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Programme Committee within the PEPM-track
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Committee Member in Program Committee within the POPL -track
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the POPL -track
Eric AtkinsonAtkinson, Eric Committee Member in Program Committee within the LAFI-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Student Volunteer Co-Chair in Organizing Committee for POPL 2025
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States Committee Member in Program Committee within the POPL -track
B Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA Committee Member in Program Committee within the PADL-track
Mutsunori BanbaraBanbara, Mutsunori Nagoya UniversityJapan Committee Member in Program Committee within the PADL-track
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Committee Member in Program Committee within the POPL -track
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas Gerais, BrazilBrazil PC Member in Program Committee within the VMCAI-track
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Committee Member in Program Committee within the PriSC-track
Andrej BauerBauer, Andrej University of LjubljanaSlovenia Committee Member in Program Committee within the WITS-track
Atılım Güneş BaydinBaydin, Atılım Güneş University of Oxford Co-chair in Program Committee within the LAFI-track
Ryan BeckettBeckett, Ryan Microsoft Research, USA Committee Member in Program Committee within the POPL -track
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Committee Member in Program Committee within the PADL-track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States PC Member in Program Committee within the CPP-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław Committee Member in Program Committee within the PADL-track
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands PC Member in Program Committee within the CPP-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance 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 Committee Member in Program Committee within the PriSC-track
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance PC Member in Program Committee within the CPP-track
Filippo BonchiBonchi, Filippo University of PisaItaly Committee Member in Program Committee within the POPL -track
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance PC Member in Program Committee within the VMCAI-track
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Committee Member in Program Committee within the POPL -track
C Julie CaillerCailler, Julie LIRMM Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the WITS-track
Mario CarneiroCarneiro, Mario CMUUnited States PC Member in Program Committee within the CPP-track
Manuel CarroCarro, Manuel IMDEA Software Institute and Universidad Politécnica de MadridSpain Committee Member in Program Committee within the PADL-track
Laura M. CastroCastro, Laura M. University of A CoruñaSpain Committee Member in Program Committee within the PADL-track
Tej ChajedChajed, Tej UW-MadisonUnited States PC Member in Program Committee within the Dafny-track
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands PC Member in Program Committee within the VMCAI-track
Satish ChandraChandra, Satish Google, IncUnited States Committee Member in Program Committee within the POPL -track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Organizer in Organizing Committee within the PLMW @ POPL-track
Christopĥe CharetonChareton, Christopĥe CEA, LIST, France Committee Member in Program Committee within the PLanQC-track
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States Committee Member in Program Committee within the POPL -track
Dong ChenChen, Dong Huawei Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Programme Committee within the PEPM-track
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Program Committee within the POPL -track
Xin ChenChen, Xin University of New Mexico, USAUnited States PC Member in Program Committee within the VMCAI-track
James CheneyCheney, James University of EdinburghUnited Kingdom Committee Member in Program Committee within the POPL -track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the CPP-track
David ChocholatýChocholatý, David Brno University of TechnologyCzechia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Pierre ClairambaultClairambault, Pierre CNRS & LIS, Aix-Marseille UniversitéFrance Committee Member in Program Committee within the POPL -track
Albert CohenCohen, Albert GoogleFrance Committee Member in Program Committee within the POPL -track
Joshua M. CohenCohen, Joshua M. Princeton University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Johan CommelinCommelin, Johan University of Utrecht PC Member in Program Committee within the CPP-track
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Programme Committee within the PEPM-track
Breandan ConsidineConsidine, Breandan McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Carlos Tome CortinasCortinas, Carlos Tome None Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Patrick CousotCousot, Patrick PC Member in Program Committee within the VMCAI-track
D Loris D'AntoniD'Antoni, Loris UCSDUnited States PC Member in Program Committee within the VMCAI-track
Vijay D'SilvaD'Silva, Vijay Google Inc. PC Member in Program Committee within the VMCAI-track
Deepak D'SouzaD'Souza, Deepak IISc BangaloreIndia PC Member in Program Committee within the VMCAI-track
Stefania DamatoDamato, Stefania University of NottinghamUnited Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance Committee Member in Program Committee within the PriSC-track
David DaraisDarais, David GaloisUnited States Committee Member in Program Committee within the POPL -track
Ana de Almeida Borgesde Almeida Borges, Ana Portugal PC Member in Program Committee within the CPP-track
Arianne Meijer-van de Griendde Griend, Arianne Meijer-van University of Helsinki Committee Member in Program Committee within the PLanQC-track
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom PC Member in Program Committee within the CPP-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Co-chair in Program Committee within the CoqPL-track
Ramiro DemasiDemasi, Ramiro Universidad Nacional de Córdoba Committee Member in Artifact Evaluation Committee within the VMCAI-track
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Committee Member in Program Committee within the PriSC-track
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California PC Member in Program Committee within the VMCAI-track
Antonio Di StasioDi Stasio, Antonio City St George’s, University of London Committee Member in Artifact Evaluation Committee within the VMCAI-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Committee Member in Program Committee within the POPL -track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom PC Member in Program Committee within the Dafny-track
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ross DuncanDuncan, Ross Cambridge Quantum Computing Organizing Committee in Organizing Committee within the PLanQC-track
Alejandro Díaz-CaroDíaz-Caro, Alejandro ICC (UBA-CONICET) & UNQArgentina Committee Member in Program Committee within the PLanQC-track
E Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Committee Member in Program Committee within the POPL -track
Esra ErdemErdem, Esra Sabanci UniversityTurkey Co-chair in Programme Chairs within the PADL-track
Zafer EsenEsen, Zafer Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the VMCAI-track
F Xaver FabianFabian, Xaver CISPA Committee Member in Program Committee within the PriSC-track
Claudia FaggianFaggian, Claudia Université de Paris & CNRS Committee Member in Program Committee within the LAFI-track
Chris FallinFallin, Chris FastlyUnited States Author in Steering Committee within the PriSC-track
Andong FanFan, Andong University of Toronto Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the Dafny-track
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Committee Member in Program Committee within the POPL -track
Daniel FeldanFeldan, Daniel New York University Committee Member in Artifact Evaluation Committee within the VMCAI-track
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz Committee Member in Program Committee within the POPL -track
Yannick ForsterForster, Yannick InriaFrance Organizer in Organizing Committee within the PLMW @ POPL-track
Frédéric FortFort, Frédéric University of Lille Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Program Committee within the POPL -track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Committee Member in Program Committee within the POPL -track
Mario FrankFrank, Mario University of PotsdamGermany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the LAFI-track
Daniel FruminFrumin, Daniel University of GroningenNetherlands PC Member in Program Committee within the CPP-track
G Joshua GancherGancher, Joshua Northeastern UniversityUnited States Committee Member in Program Committee within the PriSC-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Committee Member in Program Committee within the WAW-track
Poorva GargGarg, Poorva University of California, Los AngelesIndia Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Committee Member in Program Committee within the PADL-track
Timon GehrGehr, Timon ETH ZurichSwitzerland Committee Member in Program Committee within the POPL -track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States PC Member in Program Committee within the VMCAI-track
Marco GIUNTIGIUNTI, Marco University of Oxford Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong PC Member in Program Committee within the VMCAI-track
Priyanka GoliaGolia, Priyanka Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore Committee Member in Program Committee within the VMCAI-track
Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Program Committee within the CoqPL-track
Andrew D. GordonGordon, Andrew D. Cogna and University of EdinburghUnited Kingdom Committee Member in Program Committee within the LAFI-track
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy Committee Member in Program Committee within the POPL -track
Eric GoubaultGoubault, Eric Ecole Polytechnique PC Member in Program Committee within the VMCAI-track
Neville GrechGrech, Neville Dedaub LimitedMalta Committee Member in Program Committee within the POPL -track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Industrial Relations Co-Chair in Organizing Committee for POPL 2025
Karuna GrewalGrewal, Karuna Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jason GrossGross, Jason MIT CSAILUnited States PC Member in Program Committee within the CPP-track
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain Author in Steering Committee within the PriSC-track
Shibashis GuhaGuha, Shibashis Tata Institute of Fundamental Research, IndiaIndia PC Member in Program Committee within the VMCAI-track
Ashutosh GuptaGupta, Ashutosh Indian Institute of Technology BombayIndia PC Member in Program Committee within the VMCAI-track
Gopal GuptaGupta, Gopal Committee Member in Program Committee within the PADL-track
H Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands Co-chair in Artifact Evaluation Committee within the VMCAI-track Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the POPL -track
Michael HanusHanus, Michael Kiel UniversityGermany Committee Member in Program Committee within the PADL-track
Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Programme Committee within the PEPM-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Programme Committee within the PEPM-track
Michal HečkoHečko, Michal FIT VUT Committee Member in Artifact Evaluation Committee within the VMCAI-track
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Organizer in Organizing Committee within the PLMW @ POPL-track
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the LAFI-track
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States Committee Member in Program Committee within the WITS-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Steering Committee Chair in Steering Committee within the CPP-track Author in Steering Committee within the PriSC-track
Justin HsuHsu, Justin Cornell UniversityUnited States Committee Member in Program Committee within the POPL -track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Programme Committee within the PEPM-track
I Daniela InclezanInclezan, Daniela Miami UniversityUnited States Committee Member in Program Committee within the PADL-track
Franjo IvancicIvancic, Franjo GoogleUnited States PC Member in Program Committee within the VMCAI-track
Yusuf IzmirliogluIzmirlioglu, Yusuf United Kingdom Committee Member in Program Committee within the PADL-track
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the VMCAI-track
Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland Committee Member in Program Committee within the PADL-track
Sumit JhaJha, Sumit Florida International University, USAUnited States Committee Member in Program Committee within the VMCAI-track
Limin JiaJia, Limin Carnegie Mellon University Committee Member in Program Committee within the PriSC-track
Songlin JiaJia, Songlin Purdue University, USAUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ralf JungJung, Ralf ETH ZurichSwitzerland Student Research Competition Co-Chair in Organizing Committee for POPL 2025
K Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States Committee Member in Program Committee within the POPL -track
Cezary KaliszykKaliszyk, Cezary University of MelbourneAustralia PC Member in Program Committee within the CPP-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Committee Member in Program Committee within the POPL -track
Jeehoon KangKang, Jeehoon KAISTSouth Korea PC Member in Program Committee within the CPP-track
Chantal KellerKeller, Chantal Université Paris SaclayFrance Committee Member in Programme Committee within the PEPM-track
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Artem KhyzhaKhyzha, Artem Arm LtdUnited Kingdom Committee Member in Program Committee within the POPL -track
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Associate Chair in Program Committee within the POPL -track
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States 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
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Committee Member in Program Committee within the POPL -track
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Committee Member in Program Committee within the POPL -track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom PC Member in Program Committee within the CPP-track Committee Member in Program Committee within the PADL-track
Katherine KosaianKosaian, Katherine University of Iowa PC Member in Program Committee within the VMCAI-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track
András KovácsKovács, András University of Gothenburg Committee Member in Programme Committee within the PEPM-track
Nicolai KrausKraus, Nicolai University of NottinghamUnited Kingdom PC Member in Program Committee within the CPP-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
Jan KretinskyKretinsky, Jan Masaryk University, Czech Republic PC Member in Program Committee within the VMCAI-track
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2025
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland PC Member in Program Committee within the VMCAI-track
L Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance PC Member in Program Committee within the CPP-track
Christopher LamLam, Christopher University of Illinois, Urbana-ChampainUnited States Audio/Video Co-Chairs in Organizing Committee for POPL 2025
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in Program Committee within the POPL -track Organizer in Organizing Committee within the PLMW @ POPL-track
Ivan LaneseLanese, Ivan University of Bologna/INRIA Committee Member in Program Committee within the PADL-track
Vincent LaporteLaporte, Vincent Inria PC Member in Program Committee within the CPP-track
Per LarsenLarsen, Per University of California, Irvine Committee Member in Program Committee within the PriSC-track
Dongho LEELEE, Dongho Dalhousie UniversityCanada Committee Member in Program Committee within the PLanQC-track
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Committee Member in Program Committee within the POPL -track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Michael LeMayLeMay, Michael Committee Member in Program Committee within the PriSC-track
Xavier LeroyLeroy, Xavier Collège de FranceFrance Associate Chair in Program Committee within the POPL -track
Michael LeuschelLeuschel, Michael HHUGermany Committee Member in Program Committee within the PADL-track
Robert Y. LewisLewis, Robert Y. Brown UniversityUnited States PC Member in Program Committee within the CPP-track
Liyi LiLi, Liyi Iowa State UniversityUnited States Committee Member in Program Committee within the PLanQC-track
Runming LiLi, Runming Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the CoqPL-track
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Committee Member in Programme Committee within the PEPM-track
Marian Lingsch-RosenfeldLingsch-Rosenfeld, Marian LMU Munich Committee Member in Artifact Evaluation Committee within the VMCAI-track
Cyrus LiuLiu, Cyrus Samsung SemiconductorUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jing LiuLiu, Jing UC Irvine; MPI-SP Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Co-chair in Organizing Committee within the PEPM-track
Zhengxiong LuoLuo, Zhengxiong National University of SingaporeChina Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Matthew LutzeLutze, Matthew Aarhus University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
M Dougal MaclaurinMaclaurin, Dougal Committee Member in Steering Committee within the LAFI-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
Gregory MalechaMalecha, Gregory BedRock SystemsUnited States Committee Member in Program Committee within the CoqPL-track
Kaushik MallikMallik, Kaushik IST Austria, AustriaAustria Committee Member in Program Committee within the VMCAI-track
Ravi MangalMangal, Ravi Colorado State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
William ManskyMansky, William University of Illinois ChicagoUnited States PC Member in Program Committee within the CPP-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
Danielle MarshallMarshall, Danielle University of GlasgowUnited Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Patrick MassotMassot, Patrick Université Paris-SaclayFrance PC Member in Program Committee within the CPP-track
Christoph MathejaMatheja, Christoph DTUDenmark Workshops Co-Chair in Organizing Committee for POPL 2025
Micaela MayeroMayero, Micaela LIPN, Université Paris 13France PC Member in Program Committee within the CPP-track
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Stephen MellMell, Stephen Student Volunteer Co-Chair in Organizing Committee for POPL 2025
Eric MercerMercer, Eric Brigham Young UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Roland MeyerMeyer, Roland TU BraunschweigGermany Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the VMCAI-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
Yasuhiko MinamideMinamide, Yasuhiko Tokyo Institute of TechnologyJapan PC Member in Program Committee within the CPP-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance PC Member in Program Committee within the VMCAI-track
Torben MogensenMogensen, Torben DIKU, University of CopenhagenDenmark Committee Member in Programme Committee within the PEPM-track
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Committee Member in Program Committee within the POPL -track
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States Committee Member in Program Committee within the POPL -track
Sergio MoverMover, Sergio École PolytechniqueFrance PC Member in Program Committee within the VMCAI-track
Cesar MunozMunoz, Cesar NASAUnited States PC Member in Program Committee within the CPP-track
Koko MuroyaMuroya, Koko NIIJapan PC Member in Program Committee within the VMCAI-track
Andrew MyersMyers, Andrew Cornell University Author in Steering Committee within the PriSC-track
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in Program Committee within the POPL -track
N Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in Program Committee within the WITS-track
Hamed NematiNemati, Hamed CISPA Committee Member in Program Committee within the PriSC-track
Tobias NipkowNipkow, Tobias Technische Universität München Committee Member in Steering Committee within the CPP-track
Naoki NishidaNishida, Naoki Nagoya UniversityJapan Committee Member in Program Committee within the PADL-track
O Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Program Committee within the POPL -track
Ana Oliveira Da CostaOliveira Da Costa, Ana IST Austria, AustriaAustria Committee Member in Program Committee within the VMCAI-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the POPL -track
P Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden PC Member in Program Committee within the CPP-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Program Committee within the POPL -track Committee Member in Programme Committee within the PEPM-track
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in Program Committee within the POPL -track
Hugo PaquetPaquet, Hugo LIPN, Université Sorbonne Paris NordFrance Committee Member in Program Committee within the LAFI-track
Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay Committee Member in Program Committee within the PADL-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Committee Member in Program Committee within the POPL -track
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States PC Member in Program Committee within the Dafny-track
Adam PaszkePaszke, Adam Google DeepMindGermany Committee Member in Program Committee within the LAFI-track
Marco PatrignaniPatrignani, Marco University of TrentoItaly Co-chair in Program Committee within the PriSC-track Author in Steering Committee within the PriSC-track
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark PC Member in Program Committee within the VMCAI-track
Jennifer PaykinPaykin, Jennifer Intel LabsUnited States PC Member in Program Committee within the CPP-track Program Chair in Program Committee within the PLanQC-track Chair in Organizing Committee within the PLanQC-track
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland Committee Member in Program Committee within the LAFI-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Annabell PetriPetri, Annabell Universiteit Twente Committee Member in Artifact Evaluation Committee within the VMCAI-track
Loïc PeyrotPeyrot, Loïc IMDEA Software Institute Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Committee Member in Program Committee within the POPL -track
Lauren PickPick, Lauren UC Berkeley and UW-Madison Committee Member in Program Committee within the POPL -track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Steering Committee within the CPP-track
Frank PiessensPiessens, Frank KU Leuven Author in Steering Committee within the PriSC-track
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Associate Chair in Program Committee within the POPL -track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the CPP-track PC Member in Program Committee within the Dafny-track
Andreas PodelskiPodelski, Andreas University of FreiburgGermany PC Member in Program Committee within the VMCAI-track
Piotr PolesiukPolesiuk, Piotr University of Wrocław Committee Member in Program Committee within the CoqPL-track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Associate Chair in Program Committee within the POPL -track
Enrico PontelliPontelli, Enrico New Mexico State UniversityUnited States Committee Member in Program Committee within the PADL-track
Damien PousPous, Damien CNRS PC Member in Program Committee within the CPP-track
Vinayak PrabhuPrabhu, Vinayak Colorado State UniversityUnited States PC Member in Program Committee within the VMCAI-track
Swarn PriyaPriya, Swarn Purdue University Committee Member in Program Committee within the PriSC-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States PC Member in Program Committee within the CPP-track Author in Steering Committee within the PriSC-track
Edoardo PuttiPutti, Edoardo University of Twente Committee Member in Artifact Evaluation Committee within the VMCAI-track
Q Shaz QadeerQadeer, Shaz Meta, Inc.United States Committee Member in Program Committee within the POPL -track
Weihao QuQu, Weihao Monmouth UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 POPL -track
Vineet RajaniRajani, Vineet University of Kent Committee Member in Program Committee within the PriSC-track
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States Committee Member in Program Committee within the POPL -track
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States Audio/Video Co-Chairs in Organizing Committee for POPL 2025
Robert RandRand, Robert University of ChicagoUnited States Workshops Co-Chair in Organizing Committee for POPL 2025 Organizing Committee in Organizing Committee within the PLanQC-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mathys RennelaRennela, Mathys WelinqFrance Organizing Committee in Organizing Committee within the PLanQC-track
Tamara RezkRezk, Tamara INRIAFrance Committee Member in Program Committee within the PriSC-track
Mitchell RileyRiley, Mitchell Committee Member in Program Committee within the PLanQC-track
Martin RinardRinard, Martin MIT Committee Member in Programme Committee within the PEPM-track
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the VMCAI-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Programme Committee within the PEPM-track
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada Committee Member in Program Committee within the PLanQC-track
Andreas RossbergRossberg, Andreas IndependentGermany Committee Member in Program Committee within the WAW-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -track
Fabian RuchRuch, Fabian UnaffiliatedSweden Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University PC Member in Program Committee within the VMCAI-track
S Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track
Orkunt SabuncuSabuncu, Orkunt TED UniversityTurkey Committee Member in Program Committee within the PADL-track
Malavika SamakSamak, Malavika Apple IncUnited States Committee Member in Program Committee within the PriSC-track
Michael SammlerSammler, Michael MPI-SWSGermany Committee Member in Program Committee within the PriSC-track
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
João SaraivaSaraiva, João Committee Member in Programme Committee within the PEPM-track
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria Committee Member in Program Committee within the PADL-track
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Committee Member in Program Committee within the WITS-track
Sven ScheweSchewe, Sven University of Liverpool PC Member in Program Committee within the VMCAI-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the PADL-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Industrial Relations Co-Chair in Organizing Committee for POPL 2025
Bhakti ShahShah, Bhakti University of St. Andrews Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in Program Committee within the LAFI-track
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the LAFI-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Steering Committee within the CPP-track
Subodh SharmaSharma, Subodh IIT DelhiIndia PC Member in Program Committee within the VMCAI-track
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland Author in Steering Committee within the PriSC-track
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Associate Chair in Program Committee within the POPL -track
Abhishek Kr SinghSingh, Abhishek Kr National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States Committee Member in Steering Committee within the LAFI-track
Meghana Aparna SistlaSistla, Meghana Aparna The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States Program Chair in Organizing Committee for POPL 2025 PC Chair in Program Committee within the POPL -track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Fabio SomenziSomenzi, Fabio University of Colorado Boulder, USA PC Member in Program Committee within the VMCAI-track
Bas SpittersSpitters, Bas Aarhus UniversityDenmark Committee Member in Program Committee within the CoqPL-track
Meera SridharSridhar, Meera University of North Carolina Charlotte, USA PC Member in Program Committee within the VMCAI-track
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Committee Member in Program Committee within the VMCAI-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Artifact Evaluation Co-Chair in Organizing Committee for POPL 2025 Co-chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Conference Chair in Organizing Committee within the CPP-track Co-chair in Program Committee within the CoqPL-track
Sam StatonStaton, Sam University of OxfordUnited Kingdom Committee Member in Program Committee within the LAFI-track
Deian StefanStefan, Deian University of California at San DiegoUnited States Author in Steering Committee within the PriSC-track
Dario SteinStein, Dario University of Oxford Committee Member in Program Committee within the LAFI-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in Program Committee within the WITS-track
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Qiyi TangTang, Qiyi University of LiverpoolUnited Kingdom Committee Member in Artifact Evaluation Committee within the VMCAI-track
Zhe TaoTao, Zhe University of California, Davis Committee Member in Artifact Evaluation Committee within the VMCAI-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 PC Member in Program Committee within the CPP-track Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Christine TassonTasson, Christine Sorbonne Université — LIP6France Committee Member in Steering Committee within the LAFI-track
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Program Committee within the POPL -track
Romain TetleyTetley, Romain Committee Member in Program Committee within the CoqPL-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the VMCAI-track
Jérémy ThibaultThibault, Jérémy MPI-SP Committee Member in Program Committee within the PriSC-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Conference Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States PC Member in Program Committee within the CPP-track Committee Member in Program Committee within the PADL-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the WAW-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States PC Member in Program Committee within the VMCAI-track
James TownsendTownsend, James University of Amsterdam Committee Member in Program Committee within the LAFI-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Committee Member in Steering Committee within the CPP-track
Jean-Baptiste TristanTristan, Jean-Baptiste Committee Member in Steering Committee within the LAFI-track
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Steering Committee Chair in Steering Committee Chairs within the Dafny-track
Ashutosh TrivediTrivedi, Ashutosh University of Colorado BoulderUnited States PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Andrea TurriniTurrini, Andrea Institute of Software, Chinese Academy of SciencesChina Co-chair in Artifact Evaluation Committee within the VMCAI-track Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
Melinda TóthTóth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary Committee Member in Program Committee within the PADL-track
U Sebastian UllrichUllrich, Sebastian Lean FROGermany Chair in Program Committee within the WITS-track
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Committee Member in Program Committee within the POPL -track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Committee Member in Program Committee within the POPL -track
Deivid ValeVale, Deivid Radboud UniversityNetherlands Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Committee Member in Program Committee within the PLanQC-track
Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Programme Committee within the PEPM-track
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States Committee Member in Program Committee within the PriSC-track
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité Committee Member in Program Committee within the POPL -track
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal Committee Member in Program Committee within the POPL -track
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Web Co-Chair in Organizing Committee for POPL 2025 Co-chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Margus VeanesVeanes, Margus Microsoft Research Committee Member in Program Committee within the POPL -track
Joost VennekensVennekens, Joost KU Leuven Committee Member in Program Committee within the PADL-track
German VidalVidal, German Universitat Politecnica de ValenciaSpain Co-chair in Programme Chairs within the PADL-track
Jules VillardVillard, Jules MetaUnited Kingdom Committee Member in Organizing Committee within the TPSA-track
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the PriSC-track
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom Committee Member in Program Committee within the POPL -track
Matthijs VákárVákár, Matthijs Utrecht University Committee Member in Program Committee within the POPL -track Co-chair in Program Committee within the LAFI-track
W Philip WadlerWadler, Philip University of Edinburgh Committee Member in Program Committee within the POPL -track
Michael WalterWalter, Michael Ruhr-Universität Bochum Committee Member in Program Committee within the PLanQC-track
Chao WangWang, Chao University of Southern CaliforniaUnited States PC Member in Program Committee within the VMCAI-track
Peixin WangWang, Peixin University of Oxford Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Xinyu WangWang, Xinyu University of MichiganUnited States Committee Member in Program Committee within the POPL -track
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Committee Member in Program Committee within the PriSC-track
Zhonghan WangWang, Zhonghan State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Committee Member in Artifact Evaluation Committee within the VMCAI-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Virtualization Chair in Organizing Committee for POPL 2025 PC Member in Program Committee within the CPP-track Organizing Chair in Organizers within the WAW-track Committee Member in Program Committee within the PriSC-track
Anjiang WeiWei, Anjiang Stanford UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States PC Member in Program Committee within the CPP-track
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in Program Committee within the PADL-track
Piotr WojciechowskiWojciechowski, Piotr West Virginia University, USAUnited States PC Member in Program Committee within the VMCAI-track
Dominik WojtczakWojtczak, Dominik Committee Member in Program Committee within the VMCAI-track
X Anxhelo XhebrajXhebraj, Anxhelo Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ningning XieXie, Ningning University of Toronto; Google DeepMindCanada Publicity Chair in Organizing Committee for POPL 2025
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Programme Committee within the PEPM-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in Program Committee within the POPL -track
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in Program Committee within the CoqPL-track
Lia YehYeh, Lia University of Oxford Committee Member in Program Committee within the PLanQC-track
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina Committee Member in Program Committee within the POPL -track
Irene YoonYoon, Irene InriaFrance PC Member in Program Committee within the CPP-track Committee Member in Program Committee within the CoqPL-track
Emily YuYu, Emily Institute of Science and Technology Austria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee within the PLanQC-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Web Co-Chair in Organizing Committee for POPL 2025 Committee Member in Program Committee within the PriSC-track
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States Artifact Evaluation Co-Chair in Organizing Committee for POPL 2025 Co-chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance Committee Member in Program Committee within the POPL -track
Jessica ZangariZangari, Jessica Università della CalabriaItaly Committee Member in Program Committee within the PADL-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States General Chair in Organizing Committee for POPL 2025 Committee Member in Steering Committee within the CPP-track
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track PC Chair in Program Committee Chairs within the Dafny-track
Cheng ZhangZhang, Cheng Boston UniversityUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States Committee Member in Program Committee within the POPL -track
Zhen ZhangZhang, Zhen Utah State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology Committee Member in Program Committee within the LAFI-track
Litao ZhouZhou, Litao University of Hong KongChina Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center Committee Member in Program Committee within the PADL-track
Xiangyu ZhouZhou, Xiangyu University of Michigan Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Shaopeng ZhuZhu, Shaopeng Currently in industry Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States Committee Member in Organizing Committee within the TPSA-track
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland Committee Member in Program Committee within the POPL -track
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore PC Member in Program Committee within the VMCAI-track

POPL 2025 Contributors

Results (387)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia