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

Results (72)

A
Atig, Mohamed Faouzi
Uppsala University, SwedenSweden
Azevedo de Amorim, Arthur
Rochester Institute of Technology, USAUnited States
Chasins, Sarah E.
University of California at BerkeleyUnited States
Chen, Sheng
University of Louisiana at Lafayette
Cheney, James
University of EdinburghUnited Kingdom
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Clairambault, Pierre
CNRS & LIS, Aix-Marseille UniversitéFrance
Dimoulas, Christos
Northwestern UniversityUnited States
Fragoso Santos, José
INESC-ID/Instituto Superior Técnico, Portugal
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
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Koskinen, Eric
Stevens Institute of TechnologyUnited States
L
Lampropoulos, Leonidas
University of Maryland, College ParkGreece
Li, Yao
Portland State UniversityUnited States
M
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Marinov, Darko
University of Illinois at Urbana-ChampaignUnited States
Monniaux, David
Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance
Parkinson, Matthew J.
Microsoft Azure ResearchUnited Kingdom
Polikarpova, Nadia
University of California at San DiegoUnited 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
T
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
Ying, Mingsheng
Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina