POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (115)

Azevedo de Amorim, Arthur
Rochester Institute of Technology, USAUnited States
B
Beringer, Lennart
Princeton UniversityUnited States
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Chasins, Sarah E.
University of California at BerkeleyUnited States
Cheney, James
University of EdinburghUnited Kingdom
Clairambault, Pierre
CNRS & LIS, Aix-Marseille UniversitéFrance
de Jong, Tom
University of NottinghamUnited Kingdom
Dimoulas, Christos
Northwestern UniversityUnited States
Fragoso Santos, José
INESC-ID/Instituto Superior Técnico, Portugal
Frumin, Daniel
University of GroningenNetherlands
Gori, Roberta
Diaprtimento di Informatica, Universita' di Pisa, Italy
H
Haller, Philipp
KTH Royal Institute of TechnologySweden
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Holtzen, Steven
Northeastern UniversityUnited States
K
Kaki, Gowtham
University of Colorado at BoulderUnited States
Kaminski, Benjamin Lucien
Saarland University; University College LondonGermany
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Komendantskaya, Ekaterina
Heriot-Watt University and Southampton UniversityUnited Kingdom
Koskinen, Eric
Stevens Institute of TechnologyUnited States
Kraus, Nicolai
University of NottinghamUnited Kingdom
Lampropoulos, Leonidas
University of Maryland, College ParkGreece
Lewis, Robert Y.
Brown UniversityUnited States
Li, Yao
Portland State UniversityUnited States
M
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Mansky, William
University of Illinois ChicagoUnited States
Marinov, Darko
University of Illinois at Urbana-ChampaignUnited States
Mayero, Micaela
LIPN, Université Paris 13France
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Minamide, Yasuhiko
Tokyo Institute of TechnologyJapan
Monniaux, David
Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance
P
Palmskog, Karl
KTH Royal Institute of TechnologySweden
Parkinson, Matthew J.
Microsoft Azure ResearchUnited Kingdom
Polikarpova, Nadia
University of California at San DiegoUnited States
Protzenko, Jonathan
Microsoft Research, RedmondUnited States
R
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Rival, Xavier
Inria; ENS; CNRS; PSL UniversityFrance
Roşu, Grigore
University of Illinois at Urbana-ChampaignUnited States
S
Saad, Feras
Carnegie Mellon UniversityUnited States
Solar-Lezama, Armando
Massachusetts Institute of TechnologyUnited States
Stark, Kathrin
Heriot-Watt UniversityUnited Kingdom
Thakur, Aditya V.
University of California at DavisUnited States
U
Urban, Caterina
Inria & École Normale Supérieure | Université PSLFrance
Vasconcelos, Vasco T.
LASIGE, University of LisbonPortugal
Watt, Conrad
Nanyang Technological UniversitySingapore
Weirich, Stephanie
University of PennsylvaniaUnited States
Ying, Mingsheng
Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina
Zdancewic, Steve
University of PennsylvaniaUnited States