POPL 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (72)
Robert AtkeyAtkey, Robert University of Strathclyde |
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited 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 |
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 |
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy |
Neville GrechGrech, Neville Dedaub LimitedMalta |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States |
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States |
Justin HsuHsu, Justin Cornell UniversityUnited States |
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 |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Naoki KobayashiKobayashi, Naoki University of TokyoJapan |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Yao LiLi, Yao Portland State UniversityUnited States |
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States |
Roland MeyerMeyer, Roland TU BraunschweigGermany |
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 |
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom |
Lauren PickPick, Lauren UC Berkeley and UW-Madison |
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFLUnited States |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States |
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 |
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal |
Margus VeanesVeanes, Margus Microsoft Research |
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina |
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States |
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland |