POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (959)

Abdulla, Parosh Aziz
Uppsala University, SwedenSweden
Adjedj, Arthur
ENS Paris Saclay, Université Paris-Saclay
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Altenkirch, Thorsten
University of Nottingham
Amendola, Danilo
Oliveru - Smartly Engineering
Anand, Abhishek
Cornell UniversityUnited States
André, Étienne
Université Sorbonne Paris Nord; LIPN; CNRSFrance
Arora, Jatin
Carnegie Mellon UniversityUnited States
Avigad, Jeremy
Carnegie Mellon University, USA
Azevedo de Amorim, Arthur
Rochester Institute of Technology, USAUnited States
Bach Poulsen, Casper
Delft University of TechnologyNetherlands
Bai, Guangdong
The University of QueenslandAustralia
Balasubramanian, A. R.
Technical University of Munich
Balzer, Stephanie
Carnegie Mellon UniversityUnited States
Bansal, Suguman
Georgia Institute of Technology, USAUnited States
Bao, Jialu
Cornell University
Bard, Joachim
CISPA Helmholtz Center for Information SecurityGermany
Bardin, Sébastien
CEA LIST, University Paris-SaclayFrance
Barke, Shraddha
University of California at San DiegoUnited States
Barrett, Clark
Stanford UniversityUnited States
Barthe, Gilles
MPI-SP; IMDEA Software InstituteGermany
Bastani, Osbert
University of PennsylvaniaUnited States
Bedmar, Mireia González
University of Barcelona and Formal Vindications S.L.
Bergsträßer, Pascal
University of Kaiserslautern-LandauGermany
Bhat, Siddharth
the University of EdinburghUnited Kingdom
Biswas, Joydeep
The University of Texas at Austin
Blinn, Andrew
University of MichiganUnited States
Bodenmüller, Stefan
University of AugsburgGermany
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Borges, Ana de Almeida
University of Barcelona and Formal Vindications S.L.
Borkowski, Michael
University of California, San Diego
Bortolussi, Luca
Department of Mathematics and Geosciences, University of Trieste
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bowers, Matt
Massachusetts Institute of TechnologyUnited States
Bozga, Marius
CNRS; Université Grenoble AlpesFrance
Brachthäuser, Jonathan Immanuel
University of TübingenGermany
Brunthaler, Stefan
Bundeswehr University MunichGermany
Buñuel, Joaquim Casals
University of Barcelona and Formal Vindications S.L.
Byrnes, Twain
Carnegie Mellon University, Amazon, AWSUnited States
C
Cai, Shaowei
Institute of Software at Chinese Academy of SciencesChina
Campion, Marco
INRIA & École Normale Supérieure | Université PSLFrance
Cao, Qinxiang
Shanghai Jiao Tong UniversityChina
Carro, Manuel
IMDEA Software Institute and T.U. of Madrid (UPM)Spain
Castagna, Giuseppe
CNRS; Université Paris CitéFrance
Chan, Jonathan
University of PennsylvaniaCanada
Chen, Yanju
University of California at Santa BarbaraUnited States
Chiariello, Francesco
University of Naples Federico II
Ciobaca, Stefan
Alexandru Ioan Cuza University of Iasi
Coblenz, Michael
University of California, San DiegoUnited States
Cohen, Joshua M.
Princeton University
Contejean, Évelyne
CNRS, ENS Paris-Saclay & Université Paris-Saclay
Costantini, Stefania
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila
Couroussé, Damien
Univ Grenoble Alpes, CEA, ListFrance
Crichton, Will
Brown UniversityUnited States
Daniel, Hezi
Israel Academic College in Ramat Gan
de Muijnck-Hughes, Jan
University of StrathclydeUnited Kingdom
Degano, Pierpaolo
University of Pisa and IMT School for Advanced Studies Lucca
Delaware, Benjamin
Purdue UniversityUnited States
Deng, Haowei
University of Maryland at College ParkUnited States
Derakhshan, Farzaneh
Illinois Institute of TechnologyUnited States
Dimoulas, Christos
Northwestern UniversityUnited States
Dodds, Mike
Galois, Inc.
Drossopoulou, Sophia
Imperial College LondonUnited Kingdom
Eichler, Paul
CISPA - Helmholtz Center for Information SecurityGermany
Elsman, Martin
University of Copenhagen, DenmarkDenmark
Erhard, Julian
Technical University of MunichGermany
Ettinger, Ran
Israel Academic College in Ramat Gan
Faggian, Claudia
Université de Paris & CNRS
Fedchin, Aleksandr
Tufts UniversityUnited States
Fedyukovich, Grigory
Florida State UniversityUnited States
Felleisen, Matthias
Northeastern UniversityUnited States
Ferreira, Francisco
Royal Holloway, University of London
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
Finkel, Alain
ENS Paris SaclayFrance
Fionda, Valeria
University of Calabria
Fluet, Matthew
Rochester Institute of TechnologyUnited States
Forster, Yannick
InriaFrance
Foster, Jeffrey S.
Tufts UniversityUnited States
Foster, Nate
Cornell UniversityUnited States
Fowler, Simon
University of GlasgowUnited Kingdom
Frenkel, Hadar
CISPA Helmholtz Center for Information SecurityGermany
Frohlich, Samantha
University of BristolUnited Kingdom
Galletta, Letterio
IMT School for Advanced Studies LuccaItaly
Galpin, Vashti
University of EdinburghUnited Kingdom
Gambhir, Sankalp
Ecole Polytechnique Federale de Lausanne (EPFL)Switzerland
Garcia, Ronald
University of British ColumbiaCanada
Gebser, Martin
University of Klagenfurt, AustriaAustria
Geeson, Luke
University College London (UCL)United Kingdom
Geller, Adam
Computer Science, University of British ColumbiaCanada
Ghavami, Matin
Massachusetts Institute of TechnologyUnited States
Ghilezan, Silvia
University of Novi Sad, Mathematical Institute SASASerbia
Girol, Guillaume
CEA, List, Université Paris Saclay
Goens, Andrés
University of Amsterdam
Goharshady, Amir Kafshdar
Hong Kong University of Science and TechnologyHong Kong
Goldstein, Harrison
University of PennsylvaniaUnited States
Goldweber, Eli
University Of Michigan
Gopalakrishnan, Akshay
McGill University
Grand, Gabriel
Massachusetts Institute of TechnologyUnited States
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Grosser, Tobias
University of EdinburghUnited Kingdom
Guilloud, Simon
École Polytechnique Fédérale de LausanneSwitzerland
Gürtler, Tobias
Saarland University, Saarland Informatics Campus
Hague, Matthew
Royal Holloway University of LondonUnited Kingdom
Harel, David
Weizmann Institute of Science, Israel
Harper, Robert
Carnegie Mellon UniversityUnited States
Havelund, Klaus
NASA/Caltech Jet Propulsion LaboratoryUnited States
He, Xiao
University of Science and Technology BeijingChina
Heim, Philippe
CISPA Helmholtz Center for Information Security
Henglein, Fritz
Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark
Heunen, Chris
University of EdinburghUnited Kingdom
Hilaire, Mathieu
ENS Paris SaclayFrance
Hillerström, Daniel
Huawei Zurich Research CenterSwitzerland
Hojjat, Hossein
Tehran Institute for Advanced Studies (TeIAS)Iran
Hong, Chih-Duo
National Chengchi UniversityTaiwan
Howell, Jon
VMware ResearchUnited States
Huang, Xinyue
East China Normal UniversityChina
Humml, Merlin
Friedrich-Alexander Universität Erlangen-NürnbergGermany
Hur, Chung-Kil
Seoul National UniversitySouth Korea
Hutton, Graham
University of Nottingham, UKUnited Kingdom
Ielo, Antonio
University of Calabria
Ingle, Apoorv
University of IowaUnited States
Jagannathan, Suresh
Purdue UniversityUnited States
Jaloyan, Georges-Axel
Amazon Web Services
Jansson, Patrik
Chalmers University of TechnologySweden
Jhala, Ranjit
University of California at San DiegoUnited States
Joosten, Joost J.
University of Barcelona
Kaposi, Ambrus
Eötvös Loránd University
Kapritsos, Manos
University of Michigan, USA
Katsaros, Panagiotis
Aristotle University of ThessalonikiGreece
Kellison, Ariel
Cornell UniversityUnited States
Kidney, Oisín
Imperial College LondonUnited Kingdom
Klein, Gerwin
CSIRO's Data61 and UNSW SydneyAustralia
Klimis, Vasileios
Queen Mary University of London
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Komendantskaya, Ekaterina
Heriot-Watt University and Southampton UniversityUnited Kingdom
Krishnamurthi, Shriram
Brown UniversityUnited States
Kruse, Matthis
CISPA Helmholtz Center for Information SecurityGermany
Kudasov, Nikolai
Innopolis University, RussiaRussia
Kulahcioglu Ozkan, Burcu
Delft University of TechnologyNetherlands
Künnemann, Robert
CISPA Helmholtz Center for Information Security
Laurel, Jacob
University of Illinois at Urbana-ChampaignUnited States
Lennon-Bertrand, Meven
University of CambridgeUnited Kingdom
Leroy, Xavier
Collège de FranceFrance
Levine, Reese
University of California at Santa CruzUnited States
Li, Bohan
State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, ChinaChina
Li, Jianwen
East China Normal University, ChinaChina
Li, Xiang
University of Michigan, Ann ArborUnited States
Li, Yongkang
East China Normal UniversityChina
Lindley, Sam
University of EdinburghUnited Kingdom
Liu, Y. Annie
Stony Brook UniversityUnited States
Liu, Yiyun
University of Maryland at College Park
M
Ma, Zhongkui
The University of Queensland
Maillard, Kenji
Inria – LS2N, Université de NantesFrance
Mendes, Alexandra
Faculty of Engineering, University of Porto & INESC TECPortugal
Mercer, Eric
Brigham Young UniversityUnited States
Michel, Jesse
Massachusetts Institute of Technology
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Missula, Meghana
The University of Texas at Austin
Momigliano, Alberto
Università degli Studi di Milano
Mordido, Andreia
LASIGE, University of LisbonPortugal
Morris, J. Garrett
University of IowaUnited States
Mounier, Laurent
Université Grenoble AlpesFrance
Moy, Cameron
Northeastern UniversityUnited States
Mugnier, Eric
University of California San Diego
Mulder, Ike
Radboud University NijmegenNetherlands
Nayak, Satya Prakash
Max Planck Institute for Software Systems (MPI-SWS)Germany
Neider, Daniel
Technical University of Dortmund, GermanyGermany
Nguyễn, Kim
Université Paris-SaclayFrance
Niu, Yue
Carnegie Mellon UniversityUnited States
Norrish, Michael
Australian National UniversityAustralia
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
Université Jean Monnet Saint-ÉtienneFrance
O'Hearn, Peter W.
Meta; University College LondonUnited Kingdom
Omar, Cyrus
University of MichiganUnited States
Orchard, Dominic
University of Kent, UK and University of Cambridge, UKUnited Kingdom
P
Pacenza, Francesco
Department of Mathematics and Computer Science, University of CalabriaItaly
Pailoor, Shankara
University of Texas at AustinUnited States
Palsberg, Jens
University of California, Los Angeles (UCLA)United States
Panchekha, Pavel
University of UtahUnited States
Parkinson, Matthew J.
Microsoft Azure ResearchUnited Kingdom
Parolini, Francesco
Sorbonne UniversitéFrance
Pautasso, Daniele
Università di Torino
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Podkopaev, Anton
JetBrains Research, Constructor UniversityNetherlands
Polesiuk, Piotr
University of Wrocław
Polgreen, Elizabeth
University of EdinburghUnited Kingdom
Polikarpova, Nadia
University of California at San DiegoUnited States
Prucker, Simon
Friedrich-Alexander Universität Erlangen-NürnbergGermany
Pu, Geguang
East China Normal UniversityChina
Pujet, Loïc
Stockholm University
Qian, Siyuan Brant
University of Illinois at Urbana-Champaign; Zhejiang UniversityUnited States
Qin, Jianxing
Shanghai Jiao Tong University
Rabe, Florian
Amazon Web Services
Ragan-Kelley, Jonathan
Massachusetts Institute of TechnologyUnited States
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Raha, Ritam
University of Antwerp, Antwerp, BelgiumBelgium
Rainey, Mike
Carnegie Mellon UniversityUnited States
Rakamaric, Zvonimir
Amazon Web ServicesUnited States
Ramos-Davila, Jan-Paul
Cornell UniversityUnited States
Rasekh, Nima
Max Planck Institute for Mathematics
Reiners, Luis Angel Rodriguez
University of CalabriaItaly
Reps, Thomas
University of Wisconsin-MadisonUnited States
Reyes, Eduardo Hermo
University of Barcelona and Formal Vindications S.L.
Ricca, Francesco
University of Calabria, ItalyItaly
Richardson, Oliver
Cornell University
Rinaldi, Francis
Illinois Institute of TechnologyUnited States
Rinard, Martin C.
Massachusetts Institute of TechnologyUnited States
Ringer, Talia
University of Illinois at Urbana-ChampaignUnited States
Rodríguez, Juan Conejero
University of Barcelona and Formal Vindications S.L.
Rowe, Reuben N. S.
Royal Holloway University of LondonUnited Kingdom
Roy, Rajarshi
Max Planck Institute for Software Systems, Kaiserslautern, GermanyGermany
Rümmer, Philipp
University of Regensburg and Uppsala UniversityGermany
S
S. Moses, William
Massachusetts Institute of Technology
Saan, Simmo
University of Tartu, EstoniaEstonia
Saglam, Irmak
Max Planck Institute for Software Systems (MPI-SWS)Germany
Schellhorn, Gerhard
Universitaet AugsburgGermany
Schröder, Lutz
University of Erlangen-NurembergGermany
Schröer, Philipp
RWTH Aachen UniversityGermany
Schwarz, Michael
Technische Universität MünchenGermany
Seidl, Helmut
Technische Universität MünchenGermany
Sellami, Yanis
CEA, List, Univ. Grenoble Alpes
Sheth, Dilan
Imperial College London
Shintani, Kiraku
Japan Advanced Institute of Science and Technology
Siek, Jeremy G.
Indiana University, USAUnited States
Sighireanu, Mihaela
IRIF, Université Paris Diderot, FranceFrance
Simner, Ben
Singh, Kunal
Carnegie Mellon University
Siskind, Jeffrey Mark
Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States
Smeding, Tom
Utrecht UniversityNetherlands
Sofronie-Stokkermans, Viorica
University of KoblenzGermany
Solar-Lezama, Armando
Massachusetts Institute of TechnologyUnited States
Song, Fu
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, ChinaChina
Spitters, Bas
Concordium Blockchain Research Center, Aarhus University
Srinivasan, Pranav
University of Michigan / VMware Research
Stanford, Caleb
University of California, DavisUnited States
Stark, Ian
The University of EdinburghUnited Kingdom
Stefan, Deian
University of California at San DiegoUnited States
Strahlberger, Aaron
Friedrich-Alexander-Universität Erlangen-NürnbergGermany
Sun, Haojia
Shanghai Jiao Tong UniversityChina
T
Tadipatri, Anand Rao
Indian Institute of Science Education and Research
Takashima, Yoshiki
Carnegie Mellon UniversityUnited States
Tan, Yong Kiam
Institute for Infocomm Research, A*STAR
Tang, Wenhao
University of EdinburghUnited Kingdom
Tatlock, Zachary
University of WashingtonUnited States
Temperekidis, Anastasios
Aristotle University of ThessalonikiGreece
Tenenbaum, Joshua B.
Massachusetts Institute of TechnologyUnited States
Tilscher, Sarah
Technische Universität MünchenGermany
Titzer, Ben L.
Carnegie Mellon UniversityUnited States
Tiu, Alwen
The Australian National University
Tomb, Aaron
Amazon Web ServicesUnited States
Torfah, Hazem
Chalmers University of TechnologySweden
Tribastone, Mirco
IMT Institute for Advanced Studies Lucca, Italy
Trinder, Phil
University of Glasgow
Tsukada, Takeshi
Chiba UniversityJapan
Usher, Alex
Imperial College London
V
Vakil, Armin
University Of Michigan
van de Wetering, John
University of AmsterdamNetherlands
Vanegue, Julien
Bloomberg, USAUnited States
Venkatesan Ramesh, Sathiyanarayana
Max Planck Institute for Software Systems
Verscht, Lena
Saarland University, Saarland Informatics Campus
Vizel, Yakir
Technion—Israel Institute of TechnologyIsrael
Waldrip, Cassidy
Brigham Young UniversityUnited States
Wallner, Johannes
Graz University of TechnologyAustria
Wang, Meng
University of BristolUnited Kingdom
Wang, Yuepeng
Simon Fraser UniversityCanada
Wang, Zhonghan
Institute of Software/CAS ChinaChina
Weinberger, Jonathan
Johns Hopkins University
Weirich, Stephanie
University of PennsylvaniaUnited States