POPL 2027
Sun 10 - Sat 16 January 2027 Mexico City, Mexico
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (263)

A
Abdulla, Parosh Aziz
Uppsala University; Mälardalen UniversitySweden
Affeldt, Reynald
National Institute of Advanced Industrial Science and Technology (AIST), Japan
Allamigeon, Xavier
Inria and Ecole Polytechnique
Amin, Nada
Harvard UniversityUnited States
Ayala-Rincon, Mauricio
Federal University of Goiás / University of BrasíliaBrazil
Ayoun, Sacha-Élie
Imperial College London; Soteria ToolsUnited Kingdom
Barbosa, Haniel
Universidade Federal de Minas GeraisBrazil
Barnaby, Celeste
University of Texas at AustinUnited States
Barthe, Gilles
MPI-SP; IMDEA Software InstituteGermany
Bauer, Andrej
University of LjubljanaSlovenia
Becchi, Anna
Università della Svizzera italiana (USI)Switzerland
Bowman, William J.
University of British ColumbiaCanada
C
Cailler, Julie
University of Lorraine, CNRS, Inria, LORIA, Nancy
Cao, Qinxiang
Shanghai Jiao Tong UniversityChina
Castagna, Giuseppe
CNRS; Université Paris CitéFrance
Castiglioni, Valentina
Eindhoven University of TechnologyNetherlands
Cecchetti, Ethan
University of Wisconsin-MadisonUnited States
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Cohen, Liron
Ben-Gurion University of the NegevIsrael
D
D'Antoni, Loris
University of California at San DiegoUnited States
Dal Lago, Ugo
University of Bologna & INRIA Sophia AntipolisItaly
Delaware, Benjamin
Purdue UniversityUnited States
Di Giusto, Cinzia
Université Côte d'Azur; CNRSFrance
Dimitrova, Rayna
CISPA Helmholtz Center for Information SecurityGermany
E
Edmonds, Chelsea
The University of Western AustraliaAustralia
Even-Mendoza, Karine
King’s College LondonUnited Kingdom
Fedyukovich, Grigory
Florida State UniversityUnited States
Feng, Yu
University of California at Santa BarbaraUnited States
Firsov, Denis
Tallinn University of TechnologyEstonia
G
Gancher, Joshua
Northeastern UniversityUnited States
Gay, Simon J.
University of Glasgow, UKUnited Kingdom
Ghilezan, Silvia
University of Novi Sad, Mathematical Institute SASASerbia
Giacobazzi, Roberto
University of ArizonaUnited States
Goldstein, Harrison
University at Buffalo, SUNYUnited States
Gregersen, Simon Oddershede
CISPA Helmholtz Center for Information SecurityGermany
Gu, Ronghui
Columbia University; CertiKUnited States
H
Hack, Sebastian
Saarland University, Saarland Informatics CampusGermany
Heunen, Chris
University of EdinburghUnited Kingdom
Hicks, Michael
University of Pennsylvania and AWSUnited States
Hu, Guangyu
Huawei Hong Kong Research CenterHong Kong SAR China
Hughes, John
Chalmers University of Technology, SwedenSweden
Hur, Chung-Kil
Seoul National UniversitySouth Korea
K
Kallas, Konstantinos
University of California, Los AngelesUnited States
Keller, Chantal
LMF - University Paris-SaclayFrance
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Klumpp, Dominik
LIX, CNRS, Ecole PolytechniqueFrance
Koskinen, Eric
Stevens Institute of TechnologyUnited States
Lampropoulos, Leonidas
University of Maryland at College ParkUnited States
Lengál, Ondřej
Brno University of TechnologyCzechia
Lesani, Mohsen
University of California at Santa Cruz
Li, Yao
Portland State UniversityUnited States
Limperg, Jannis
Axiom Math & LMU MunichGermany
Lindley, Sam
University of EdinburghUnited Kingdom
M
Maderbacher, Benedikt
CISPA Helmholtz Center for Information SecurityGermany
Maillard, Kenji
Inria – LS2N, Université de NantesFrance
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Millstein, Todd
University of California at Los AngelesUnited States
Monat, Raphaël
Inria and University of LilleFrance
Murphy, Charlie
Montana State UniversityUnited States
Mörtberg, Anders
Department of Mathematics, Stockholm UniversitySweden
Møgelberg, Rasmus Ejlers
IT University of CopenhagenDenmark
O
O'Connor, Liam
Australian National UniversityAustralia
P
Padhye, Rohan
Carnegie Mellon University and AntithesisUnited States
Paulson, Lawrence
University of CambridgeUnited Kingdom
Paykin, Jennifer
University of VermontUnited States
Polgreen, Elizabeth
University of EdinburghUnited Kingdom
Popescu, Andrei
University of SheffieldUnited Kingdom
Rival, Xavier
Inria - CNRS - Ecole Normale Superieure de Paris - PSL UniversityFrance
Rizkallah, Christine
University of MelbourneAustralia
Salvaneschi, Guido
University of St. GallenSwitzerland
Schwarz, Michael
National University of SingaporeSingapore
Sekiyama, Taro
National Institute of InformaticsJapan
Signoles, Julien
Université Paris-Saclay, CEA, ListFrance
Singh, Gagandeep
University of Illinois Urbana-ChampaignUnited States
Solar-Lezama, Armando
Massachusetts Institute of TechnologyUnited States
Stanford, Caleb
University of California, DavisUnited States
Su, Yusen
University of Waterloo; Black Duck SoftwareCanada
Surbatovich, Milijana
University of Maryland at College ParkUnited States
Tassarotti, Joseph
New York UniversityUnited States
Tourret, Sophie
Inria and Max Planck Institute for InformaticsFrance
van de Wetering, John
University of AmsterdamNetherlands
Watt, Conrad
Nanyang Technological UniversitySingapore
Zetzsche, Stefan
Amazon Web ServicesUnited Kingdom
Zhang, Cheng
Worcester Polytechnic InstituteUnited States
Zilberstein, Noam
Stevens Institute of TechnologyUnited States
Á
Ádám, Zsófia
Department of Measurement and Information Systems, Budapest University of Technology and EconomicsHungary