POPL 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (128)
Robert AtkeyAtkey, Robert University of Strathclyde |
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom |
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance |
Filippo BonchiBonchi, Filippo University of PisaItaly |
Satish ChandraChandra, Satish Google, IncUnited States |
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States |
Sheng ChenChen, Sheng University of Louisiana at Lafayette |
James CheneyCheney, James University of EdinburghUnited Kingdom |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Pierre ClairambaultClairambault, Pierre CNRS & LIS, Aix-Marseille UniversitéFrance |
Johan CommelinCommelin, Johan University of Utrecht |
Ana de Almeida Borgesde Almeida Borges, Ana Portugal |
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom |
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States |
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States |
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal |
Daniel FruminFrumin, Daniel University of GroningenNetherlands |
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy |
Neville GrechGrech, Neville Dedaub LimitedMalta |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States |
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States |
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany |
Justin HsuHsu, Justin Cornell UniversityUnited States |
Cezary KaliszykKaliszyk, Cezary University of MelbourneAustralia |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany |
Artem KhyzhaKhyzha, Artem Arm LtdUnited Kingdom |
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States |
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Naoki KobayashiKobayashi, Naoki University of TokyoJapan |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Nicolai KrausKraus, Nicolai University of NottinghamUnited Kingdom |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Robert Y. LewisLewis, Robert Y. Brown UniversityUnited States |
Yao LiLi, Yao Portland State UniversityUnited States |
William ManskyMansky, William University of Illinois ChicagoUnited States |
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States |
Christoph MathejaMatheja, Christoph DTUDenmark |
Micaela MayeroMayero, Micaela LIPN, Université Paris 13France |
Roland MeyerMeyer, Roland TU BraunschweigGermany |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Yasuhiko MinamideMinamide, Yasuhiko Tokyo Institute of TechnologyJapan |
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance |
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Cyrus OmarOmar, Cyrus University of MichiganUnited States |
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States |
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom |
Jennifer PaykinPaykin, Jennifer Intel LabsUnited States |
Lauren PickPick, Lauren UC Berkeley and UW-Madison |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States |
Robert RandRand, Robert University of ChicagoUnited States |
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States |
Bhakti ShahShah, Bhakti University of St. Andrews |
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael |
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom |
Joseph TassarottiTassarotti, Joseph NYUUnited States |
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal |
Marco VassenaVassena, Marco Utrecht UniversityNetherlands |
Margus VeanesVeanes, Margus Microsoft Research |
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina |
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States |
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States |
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland |