POPL 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (293)

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
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 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
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 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
Atılım Güneş BaydinBaydin, Atılım Güneş Department of Engineering Science, 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
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States PC Member in Program Committee within the CPP-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
Mario CarneiroCarneiro, Mario CMUUnited States PC Member in Program Committee within the CPP-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
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
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
Johan CommelinCommelin, Johan University of Utrecht PC Member in Program Committee within the CPP-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Programme Committee within the PEPM-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
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
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 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
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
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
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 Carnegie Mellon 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
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
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
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
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
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
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
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
I Franjo IvancicIvancic, Franjo GoogleUnited States PC Member in Program Committee within the VMCAI-track
J Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the VMCAI-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
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
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
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
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in Program Committee within the POPL -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 LRI / CEA LIST, Univ Paris Saclay 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 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
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
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
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Co-chair in Organizing Committee within the PEPM-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
Patrick MassotMassot, Patrick 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
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
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 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
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
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Committee Member in Program Committee within the POPL -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
Annabell PetriPetri, Annabell Universiteit Twente Committee Member in Artifact Evaluation Committee within the VMCAI-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
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
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
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
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
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
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
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
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
Sven ScheweSchewe, Sven University of Liverpool PC Member in Program Committee within the VMCAI-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 Audio/Video Co-Chairs in Organizing Committee for POPL 2025
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
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
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
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
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-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
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States PC Member in Program Committee within the CPP-track Steering Committee Chair in Steering Committee within the Dafny-track
Christine TassonTasson, Christine Sorbonne Université — LIP6France Committee Member in Steering Committee within the LAFI-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
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 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 State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Co-chair in Artifact Evaluation Committee within the VMCAI-track Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
U 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
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
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
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
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States PC Member in Program Committee within the CPP-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 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 Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668France 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
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 PC Chair in Program Committee within the Dafny-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
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology Committee Member in Program Committee within the LAFI-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 (293)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia