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

Results (1145)

Abdulla, Parosh Aziz
Uppsala University, SwedenSweden
Accattoli, Beniamino
Inria & Ecole PolytechniqueFrance
Adjedj, Arthur
ENS Paris Saclay, Université Paris-Saclay
Albarghouthi, Aws
University of Wisconsin-MadisonUnited States
Allais, Guillaume
University of StrathclydeUnited Kingdom
Altenkirch, Thorsten
University of Nottingham
Amendola, Danilo
Oliveru - Smartly Engineering
Anand, Abhishek
BedRock SystemsUnited States
André, Étienne
Université Sorbonne Paris Nord; LIPN; CNRSFrance
Arora, Jatin
Carnegie Mellon UniversityUnited States
Arvidsson, Ellen
Uppsala UniversitySweden
Avigad, Jeremy
Carnegie Mellon University, USA
Azevedo de Amorim, Arthur
Rochester Institute of Technology, USAUnited States
Bachurski, Jakub
University of CambridgePoland
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.
Bennetzen, Benjamin
Department of Computer Science, Aalborg University
Berezun, Daniil
JetBrains Research; Constructor University BremenNetherlands
Bergsträßer, Pascal
University of Kaiserslautern-LandauGermany
Bhat, Siddharth
the University of EdinburghUnited Kingdom
Biswas, Joydeep
The University of Texas at Austin
Blondeau-Patissier, Lison
LIS & I2M, Aix-Marseille UniversitéFrance
Bodenmüller, Stefan
University of AugsburgGermany
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Borkowski, Michael
University of California, San Diego
Borthelle, Peio
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, LAMA, 73000 ChambéryFrance
Bortolussi, Luca
Department of Mathematics and Geosciences, University of Trieste
Botta, Nicola
Potsdam Institute for Climate Impact Research (PIK)
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bowers, Maddy
Massachusetts Institute of TechnologyUnited States
Bozga, Marius
CNRS; Université Grenoble AlpesFrance
Bruni, Alessandro
IT University of Copenhagen
Brunthaler, Stefan
Bundeswehr University MunichGermany
Bunting, Benedict
University of OxfordUnited Kingdom
Buñuel, Joaquim Casals
University of Barcelona and Formal Vindications S.L.
Byrnes, Twain
Carnegie Mellon UniversityUnited 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
Castegren, Elias
KTH Royal Institute of Technology
Chan, Jonathan
University of PennsylvaniaCanada
Chardonnet, Kostia
Università di BolognaItaly
Cheeseman, Luke
Imperial College LondonUnited Kingdom
Chen, Jocelyn (Qiaochu)
University of Texas at AustinUnited States
Chen, Yanju
University of California at Santa BarbaraUnited States
Chiariello, Francesco
University of Naples Federico II
Cimadevilla, Ezequiel
Instituto de Fisica de Cantabria
Ciobaca, Stefan
Alexandru Ioan Cuza University of Iasi
Clarke, Jessica
University of CambridgeUnited Kingdom
Clebsch, Sylvan
Microsoft Azure ResearchUnited Kingdom
Coblenz, Michael
University of California, San DiegoUnited States
Cohen, Joshua M.
Princeton University
Contejean, Évelyne
CNRS, ENS Paris-Saclay & Université Paris-Saclay
Cook, Byron
AmazonUnited States
Costantini, Stefania
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila
Couroussé, Damien
Univ Grenoble Alpes, CEA, ListFrance
Daniel, Hezi
Israel Academic College in Ramat Gan
Dave, Kinnari
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles
de Almeida Borges, Ana
University of Barcelona and Formal Vindications S.L.
de Muijnck-Hughes, Jan
University of StrathclydeUnited Kingdom
De, Abhishek
University of BirminghamUnited 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
Denis, Xavier
Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes FormellesFrance
Derakhshan, Farzaneh
Illinois Institute of TechnologyUnited States
Dimoulas, Christos
Northwestern UniversityUnited States
Du, Justin
University of California, San DiegoUnited States
Dudina, Irina
University of Edinburgh
Dunfield, Jana
Queen's University, Kingston, OntarioCanada
Economou, Dimitrios
Queen's University, CanadaCanada
Eichler, Paul
CISPA - Helmholtz Center for Information SecurityGermany
Elsman, Martin
University of Copenhagen, DenmarkDenmark
Engel, Igor
JetBrains Research; Constructor University BremenGermany
Erhard, Julian
Technical University of MunichGermany
Espada, Guilherme
LASIGE, University of LisbonPortugal
Ettinger, Ran
NVIDIA and Ben-Gurion University of the Negev and Israel Academic College in Ramat Gan
Fedchin, Aleksandr
Tufts UniversityUnited States
Fedyukovich, Grigory
Florida State UniversityUnited States
Felleisen, Matthias
Northeastern UniversityUnited States
Ferreira, Francisco
Royal Holloway, University of London
Ferris, Patrick
University of Cambridge, UKUnited Kingdom
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
Fowler, Simon
University of GlasgowUnited Kingdom
Frenkel, Hadar
CISPA Helmholtz Center for Information SecurityGermany
Galletta, Letterio
IMT School for Advanced Studies LuccaItaly
Gambhir, Sankalp
Ecole Polytechnique Federale de Lausanne (EPFL)Switzerland
Gao, Dapeng
University of Cambridge
Geeson, Luke
University College London (UCL)United Kingdom
Geller, Adam
Computer Science, University of British ColumbiaCanada
Georges, Aina Linn
Max Planck Institute for Software Systems (MPI-SWS)
Ghalayini, Jad Elkhaleq
University of CambridgeUnited Kingdom
Ghavami, Matin
Massachusetts Institute of TechnologyUnited States
Ghilezan, Silvia
University of Novi Sad, Mathematical Institute SASASerbia
Giacobazzi, Roberto
University of Arizona, Tucson, Arizona, USAUnited States
Girol, Guillaume
CEA, List, Université Paris Saclay
Glück, Robert
University of CopenhagenDenmark
Goens, Andrés
University of Amsterdam
Goharshady, Amir Kafshdar
Hong Kong University of Science and TechnologyHong Kong
Goldweber, Eli
University Of Michigan
Grand, Gabriel
Massachusetts Institute of TechnologyUnited States
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Grosser, Tobias
University of EdinburghUnited Kingdom
Guanciale, Roberto
KTH Royal Institute of TechnologySweden
Guilloud, Simon
École Polytechnique Fédérale de LausanneSwitzerland
Gürtler, Tobias
Saarland University, Saarland Informatics CampusGermany
Hague, Matthew
Royal Holloway University of LondonUnited Kingdom
Harel, David
Weizmann Institute of Science, Israel
Harman, Mark
Meta Platforms, Inc. and UCLUnited Kingdom
Harper, Robert
Carnegie Mellon UniversityUnited States
Harris, Sarah
University of Kent
Havelund, Klaus
NASA/Caltech Jet Propulsion LaboratoryUnited States
He, Xiao
University of Science and Technology BeijingChina
Heim, Philippe
CISPA Helmholtz Center for Information Security
Heunen, Chris
University of EdinburghUnited Kingdom
Hilaire, Mathieu
ENS Paris SaclayFrance
Hirokawa, Nao
Japan Advanced Institute of Science and Technology
Hirschowitz, Tom
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance
Hojjat, Hossein
Tehran Institute for Advanced Studies (TeIAS)Iran
Hong, Chih-Duo
National Chengchi UniversityTaiwan
Hou, Tyler
University of California, BerkeleyUnited States
Howell, Jon
VMware ResearchUnited States
Huang, Hongyi
National University of Singapore
Huang, Xinyue
East China Normal UniversityChina
Hui, John
Columbia University, New YorkUnited States
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
Jagannathan, Suresh
Purdue UniversityUnited States
Jaloyan, Georges-Axel
Amazon Web Services
Jansson, Patrik
Chalmers University of Technology and University of GothenbrugSweden
Jhala, Ranjit
University of California at San DiegoUnited States
Joosten, Joost J.
University of Barcelona
Kaliszyk, Cezary
University of Innsbruck
Kaposi, Ambrus
Eötvös Loránd University
Kapritsos, Manos
University of Michigan, USA
Katsaros, Panagiotis
Aristotle University of ThessalonikiGreece
Keles, Alperen
University of Maryland at College ParkUnited States
Kidney, Oisín
Imperial College LondonUnited Kingdom
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Kruse, Matthis
CISPA Helmholtz Center for Information SecurityGermany
Kudasov, Nikolai
Innopolis UniversityRussia
Kulahcioglu Ozkan, Burcu
Delft University of TechnologyNetherlands
Künnemann, Robert
CISPA Helmholtz Center for Information Security
Lam, Christopher
University of Illinois at Urbana-ChampaignUnited States
Lancelot, Adrienne
Inria, LIX Ecole Polytechnique, IRIF Université Paris CitéFrance
Laurel, Jacob
University of Illinois at Urbana-ChampaignUnited States
Laurent, Mickaël
Université Paris Cité / IRIFFrance
Lee, Edward
University of WaterlooCanada
Lemonnier, Louis
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles
Lennon-Bertrand, Meven
University of CambridgeUnited Kingdom
Levine, Reese
University of California at Santa CruzUnited States
Levy, Paul Blain
University of BirminghamUnited Kingdom
Lhoták, Ondřej
University of WaterlooCanada
Li, Bohan
State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, ChinaChina
Li, Jialin
National University of Singapore, Singapore
Li, Jianwen
East China Normal University, ChinaChina
Li, Xiang
University of Michigan, Ann ArborUnited States
Li, Yongkang
East China Normal UniversityChina
Lively, Thomas
GoogleUnited States
Lulla, Rana
University of California San Diego
M
Ma, Zhongkui
The University of QueenslandAustralia
Mackay, Julian
Victoria University of WellingtonNew Zealand
Maillard, Kenji
INRIAFrance
Marott Normann, Louis
University of CopenhagenDenmark
Matthes, Ralph
IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3, Toulouse
McBride, Conor
University of Strathclyde
Mendes, Alexandra
Faculty of Engineering, University of Porto & INESC TECPortugal
Mercer, Eric
Brigham Young UniversityUnited States
Mery, Dominique
Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, FranceFrance
Michel, Jesse
Massachusetts Institute of Technology
Miljak, Luka
Delft University of TechnologyNetherlands
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
Morris, J. Garrett
University of IowaUnited States
Mortensen, Andreas Tor
Department of Computer Science, Aalborg University
Mounier, Laurent
Université Grenoble AlpesFrance
Moy, Cameron
Northeastern UniversityUnited States
Mugnier, Eric
University of California San Diego
Mulder, Ike
Radboud University NijmegenNetherlands
Mullanix, Reed
McMaster UniversityUnited States
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
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
Parolini, Francesco
Sorbonne UniversitéFrance
Parreaux, Lionel
HKUST (The Hong Kong University of Science and Technology)China
Pautasso, Daniele
Università di Torino
Peduri, Anurudh
Ruhr University Bochum
Perera, Roly
University of Cambridge/University of BristolUnited Kingdom
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Piterman, Nir
University GothenburgSweden
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
Ponce de León, Hernán
Huawei Dresden Research CenterGermany
Prucker, Simon
Friedrich-Alexander Universität Erlangen-NürnbergGermany
Pu, Geguang
East China Normal UniversityChina
Pujet, Loïc
Stockholm University
Purves, Drew
Google DeepMindUnited Kingdom
Qadeer, Shaz
Meta, Inc.United States
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
Rasekh, Nima
Max Planck Institute for MathematicsGermany
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