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

Results (293)

Allais, Guillaume
University of StrathclydeUnited Kingdom
Almudéver, Carmen
Universitat Politècnica de València
Ayoun, Sacha-Élie
Imperial College LondonUnited Kingdom
Azevedo de Amorim, Arthur
Rochester Institute of Technology, USAUnited States
Barbosa, Haniel
Universidade Federal de Minas Gerais, BrazilBrazil
Baydin, Atılım Güneş
Department of Engineering Science, University of Oxford
Beringer, Lennart
Princeton UniversityUnited States
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Chasins, Sarah E.
University of California at BerkeleyUnited States
Chen, Xin
University of New Mexico, USAUnited States
Cheney, James
University of EdinburghUnited Kingdom
Clairambault, Pierre
CNRS & LIS, Aix-Marseille UniversitéFrance
de Jong, Tom
University of NottinghamUnited Kingdom
Delaware, Benjamin
Purdue UniversityUnited States
Derakhshan, Farzaneh
Illinois Institute of TechnologyUnited States
Deshmukh, Jyotirmoy
University of Southern California
Dimoulas, Christos
Northwestern UniversityUnited States
Flanagan, Cormac
University of California at Santa Cruz
Fragoso Santos, José
INESC-ID/Instituto Superior Técnico, Portugal
Freer, Cameron
Massachusetts Institute of TechnologyUnited States
Frumin, Daniel
University of GroningenNetherlands
G
Gancher, Joshua
Carnegie Mellon UniversityUnited States
Gardner, Philippa
Imperial College LondonUnited Kingdom
Giacobazzi, Roberto
University of ArizonaUnited States
Goharshady, Amir Kafshdar
Hong Kong University of Science and TechnologyHong Kong
Golia, Priyanka
Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore
González-Huesca, Lourdes del Carmen
National Autonomous University of MexicoMexico
Gordon, Andrew D.
Cogna and University of EdinburghUnited Kingdom
Gori, Roberta
Diaprtimento di Informatica, Universita' di Pisa, Italy
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Guarnieri, Marco
IMDEA Software InstituteSpain
Guha, Shibashis
Tata Institute of Fundamental Research, IndiaIndia
Gupta, Ashutosh
Indian Institute of Technology BombayIndia
Haller, Philipp
KTH Royal Institute of TechnologySweden
Henglein, Fritz
Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark
Hermenegildo, Manuel
Technical University of Madrid (UPM) and IMDEA Software InstituteSpain
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Jha, Sumit
Florida International University, USAUnited States
K
Kaki, Gowtham
University of Colorado at BoulderUnited States
Kaliszyk, Cezary
University of MelbourneAustralia
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
Kretinsky, Jan
Masaryk University, Czech Republic
Lampropoulos, Leonidas
University of Maryland, College ParkGreece
Lewis, Robert Y.
Brown UniversityUnited States
Lindley, Sam
University of EdinburghUnited Kingdom
Liu, Y. Annie
Stony Brook UniversityUnited States
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Mangal, Ravi
Colorado State UniversityUnited States
Mansky, William
University of Illinois ChicagoUnited States
Marinov, Darko
University of Illinois at Urbana-ChampaignUnited States
Mayero, Micaela
LIPN, Université Paris 13France
Mercer, Eric
Brigham Young UniversityUnited States
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
Paquet, Hugo
LIPN, Université Sorbonne Paris NordFrance
Parkinson, Matthew J.
Microsoft Azure ResearchUnited Kingdom
Polikarpova, Nadia
University of California at San DiegoUnited States
Prabhu, Vinayak
Colorado State UniversityUnited States
R
Raad, Azalea
Imperial College LondonUnited Kingdom
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Roşu, Grigore
University of Illinois at Urbana-ChampaignUnited States
Rümmer, Philipp
University of Regensburg and Uppsala University
S
Saad, Feras
Carnegie Mellon UniversityUnited States
Sergey, Ilya
National University of SingaporeSingapore
Shaikhha, Amir
University of EdinburghUnited Kingdom
Siskind, Jeffrey Mark
Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States
Somenzi, Fabio
University of Colorado Boulder, USA
Sridhar, Meera
University of North Carolina Charlotte, USA
Stefan, Deian
University of California at San DiegoUnited States
Tasson, Christine
Sorbonne Université — LIP6France
Titzer, Ben L.
Carnegie Mellon UniversityUnited States
Tizpaz-Niari, Saeid
University of Texas at El PasoUnited States
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
U
Urban, Caterina
Inria & École Normale Supérieure | Université PSLFrance
Valiron, Benoit
LRI, CentraleSupelec, Univ. Paris SaclayFrance
van den Brand, Mark
Eindhoven University of TechnologyNetherlands
Vasconcelos, Vasco T.
LASIGE, University of LisbonPortugal
Vidal, German
Universitat Politecnica de ValenciaSpain
von Gleissenthall, Klaus
Vrije Universiteit AmsterdamNetherlands
Wang, Chao
University of Southern CaliforniaUnited States
Wang, Zhonghan
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Weirich, Stephanie
University of PennsylvaniaUnited States
Wojciechowski, Piotr
West Virginia University, USAUnited States
X
Xie, Ningning
University of Toronto; Google DeepMindCanada
Y
Yallop, Jeremy
University of CambridgeUnited Kingdom
Ye, Qianchuan
University at Buffalo, SUNYUnited States
Ying, Mingsheng
Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina
Yu, Nengkun
Stony Brook University, USAUnited States
Zetzsche, Stefan
Amazon Web ServicesUnited Kingdom
Zhi-Xuan, Tan
Massachusetts Institute of Technology
Ž
Žikelić, Đorđe
Singapore Management University, SingaporeSingapore