POPL 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (179)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden PC Member in Program 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
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
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
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 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
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States Committee Member in Program Committee within the POPL -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
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
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
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
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom PC Member in Program Committee within the CPP-track
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California PC Member in Program Committee within the VMCAI-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Committee Member in Program Committee within the POPL -track
E Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Committee Member in Program Committee within the POPL -track
Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Co-chair in Programme Chairs within the PADL-track
F Azadeh FarzanFarzan, Azadeh University of TorontoCanada Committee Member in Program Committee within the POPL -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
Daniel FruminFrumin, Daniel University of GroningenNetherlands PC Member in Program Committee within the CPP-track
G 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
Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-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
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 Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the 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
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Steering Committee Chair in Steering Committee within the CPP-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
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 Carnegie Mellon University 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
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
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Committee Member in Program Committee within the POPL -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
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Program Committee within the POPL -track
M P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the POPL -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
Roland MeyerMeyer, Roland TU BraunschweigGermany Committee Member in Program Committee within the POPL -track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
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 RIMS, Kyoto UniversityJapan PC Member in Program Committee within the VMCAI-track
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in Program Committee within the POPL -track
N 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
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
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in Program Committee within the POPL -track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Committee Member in Program Committee within the POPL -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
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
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
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
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States PC Member in Program Committee within the CPP-track
Q Shaz QadeerQadeer, Shaz Meta, Inc.United States Committee Member in Program Committee within the POPL -track
R Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in Program Committee within the POPL -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
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
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
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
Sven ScheweSchewe, Sven University of Liverpool PC Member in Program Committee within the VMCAI-track
Ilya SergeySergey, Ilya 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
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Committee Member in Program Committee within the POPL -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
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Associate Chair in Program Committee within the POPL -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
Meera SridharSridhar, Meera University of North Carolina Charlotte, USA PC 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
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Conference Chair in Organizing Committee within the CPP-track
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Joseph TassarottiTassarotti, Joseph NYUUnited States PC Member in Program Committee within the CPP-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Program Committee within the POPL -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
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
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States PC Member in Program Committee within the VMCAI-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Committee Member in Steering Committee within the CPP-track
Ashutosh TrivediTrivedi, Ashutosh University of Colorado BoulderUnited States PC Chair in Program Committee within the VMCAI-track Committee Member 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
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
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
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
W Philip WadlerWadler, Philip University of Edinburgh Committee Member in Program Committee within the POPL -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
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Virtualization Chair in Organizing Committee for POPL 2025 PC Member in Program Committee within the CPP-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
X Ningning XieXie, Ningning University of TorontoCanada Publicity Chair in Organizing Committee for POPL 2025
Y Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in Program Committee within the POPL -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 INRIA Paris PC Member in Program Committee within the CPP-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Web Co-Chair in Organizing Committee for POPL 2025
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States Artifact Evaluation Co-Chair in Organizing Committee for POPL 2025
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
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States Committee Member in Program Committee within the POPL -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 (179)

Tracks

Co-hosted Conferences

Co-hosted Symposia