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

Results (1046)

Acar, Umut A.
Carnegie Mellon UniversityUnited States
Accattoli, Beniamino
Inria & Ecole PolytechniqueFrance
Adams, Michael D.
National University of SingaporeUnited States
Akgun, Ozgur
University of St Andrews, St Andrews, UKUnited Kingdom
Akiyama, Hinano
Ochanomizu University
Aldrich, Jonathan
Carnegie Mellon UniversityUnited States
Alexandru, Cass
RPTU Kaiserslautern-LandauGermany
Allais, Guillaume
University of StrathclydeUnited Kingdom
Almeira, José Bacelar
University of Minho & INESC TEC
Almudéver, Carmen
Universitat Politècnica de València
Arias, Joaquín
Universidad Rey Juan CarlosSpain
Arora, Jai
University of Illinois at Urbana-ChampaignUnited States
B
Baanen, Anne
Vrije Universiteit Amsterdam
Ballesteros, Ignacio
IMDEA Software Institute and Universidad Politécnica de MadridSpain
Banerjee, Rini
University of CambridgeUnited Kingdom
Barbosa, Haniel
Universidade Federal de Minas Gerais, BrazilBrazil
Beck, Calvin
University of Pennsylvania, USACanada
Benac Earle, Clara
Universidad Politécnica de MadridSpain
Bennetzen, Benjamin
Department of Computer Science, Aalborg University
Beringer, Lennart
Princeton UniversityUnited States
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Bloem, Roderick
Institute of Software Technology, Graz University of Technology Austria
Bodík, Rastislav
Google Research, Brain TeamUnited States
Boldo, Sylvie
Inria and Université Paris-SaclayFrance
Boonriong, Karnbongkot
Imperial College LondonUnited States
Bora, Utpal
University of CambridgeUnited Kingdom
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Boulmé, Sylvain
Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance
Bowers, Maddy
Massachusetts Institute of TechnologyUnited States
Brown, Andrew
Portland State University
Carbin, Michael
Massachusetts Institute of TechnologyUnited States
Carro, Manuel
IMDEA Software Institute and Universidad Politécnica de MadridSpain
Cesario, Jahrim Gabriele
University of St. GallenItaly
Chait-Roth, Devora
New York UniversityUnited States
Chang, Le
University of Maryland, College Park
Chasins, Sarah E.
University of California at BerkeleyUnited States
Chavarri Villarello, Alain
Vrije Universiteit Amsterdam
Chen, Liqian
National University of Defense TechnologyChina
Cheung, Alvin
University of California at BerkeleyUnited States
Cheung, Louis
University of Melbourne
Clairambault, Pierre
CNRS & LIS, Aix-Marseille UniversitéFrance
Cleaveland, Rance
University of Maryland
Conrado, Giovanna Kobus
Hong Kong University of Science and TechnologyHong Kong
Correnson, Arthur
CISPA Helmholtz Center for Information Security
Cutler, Joseph W.
University of Pennsylvania
D'Arienzo, Anthony
University of Illinois and Sandia National LaboratoriesUnited States
Dahmen, Sander R.
Vrije Universiteit Amsterdam
Davoli, Davide
Université Côte d’Azur, InriaFrance
de Barrio, Luis Eduardo Bueso
Universidad Politécnica de MadridSpain
de Jong, Tom
University of NottinghamUnited Kingdom
Derakhshan, Farzaneh
Illinois Institute of TechnologyUnited States
Desai, Harsh
Carnegie Mellon University
Di Pierro, Alessandra
University of VeronaItaly
Dimitrova, Rayna
CISPA Helmholtz Center for Information Security
Dimoulas, Christos
Northwestern UniversityUnited States
Doko, Marko
Heriot-Watt University, UK
Dolan, Stephen
Jane StreetUnited Kingdom
Eichler, Paul
CISPA - Helmholtz Center for Information SecurityGermany
Elwakil, Mohamed
U.S. Coast Guard AcademyUnited States
Emrich, Frank
University of Edinburgh, UK
Engtorp, Sune Skaanning
Department of Computer Science, University of Copenhagen
Espada, Guilherme
LASIGE, University of LisbonPortugal
Fang, Dongliang
Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, ChinaChina
Fang, Yuzhou
University of Southern CaliforniaUnited States
Farrell, Marie
The University of ManchesterUnited Kingdom
Fernandez, Maribel
King's College LondonUnited Kingdom
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
Firsov, Denis
Tallinn University of TechnologyEstonia
Flanagan, Cormac
University of California at Santa Cruz
Fragoso Santos, José
INESC-ID/Instituto Superior Técnico, Portugal
Fredlund, Lars-Åke
Universidad Politécnica de MadridSpain
Freer, Cameron
Massachusetts Institute of TechnologyUnited States
Frumin, Daniel
University of GroningenNetherlands
Fu, Peng
University of South Carolina
Fu, Zhoulai
State University of New York, Korea
G
Gaboardi, Marco
Boston UniversityUnited States
Garcia-Contreras, Isabel
University of WaterlooCanada
Gay, Simon J.
University of Glasgow, UKUnited Kingdom
Gebser, Martin
University of Klagenfurt, AustriaAustria
Godsill, Simon J.
Department of Engineering, University of Cambridge
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
Goncharov, Sergey
University of Birmingham, School of Comp. Sci.
González-Huesca, Lourdes del Carmen
National Autonomous University of MexicoMexico
Gonçalves, April
University of Strathclyde
Gordon, Andrew D.
Cogna and University of EdinburghUnited Kingdom
Gori, Roberta
Diaprtimento di Informatica, Universita' di Pisa, Italy
Gori, Roberta
Diaprtimento di Informatica, Universita' di Pisa, Italy
Gouni, Hemant
Carnegie Mellon University, Pittsburgh, Pennsylvania, United StatesUnited States
Gratzer, Daniel
Aarhus UniversityDenmark
Guha, Shibashis
Tata Institute of Fundamental Research, IndiaIndia
Gupta, Ashutosh
Indian Institute of Technology BombayIndia
Haller, Philipp
KTH Royal Institute of TechnologySweden
Hargreaves, Tim
Department of Engineering, University of CambridgeUnited Kingdom
HASHIBA, Keishi
The University of OsakaJapan
Hassnain, Muhammad
University of California, Davis
Heidler, Katharina
Technical University Munich
Heim, Philippe
CISPA Helmholtz Center for Information Security
Henglein, Fritz
Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark
Hermenegildo, Manuel
Technical University of Madrid (UPM) and IMDEA Software InstituteSpain
Herranz, Ángel
Universidad Politécnica de MadridSpain
Hillerström, Daniel
The University of EdinburghUnited Kingdom
Hivert, Florent
Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Hou (Favonia), Kuen-Bang
University of MinnesotaUnited States
Huang, Yipeng
Rutgers UniversityUnited States
Hüttel, Hans
Department of Computer Science, Aalborg UniversityDenmark
I
Inclezan, Daniela
Miami UniversityUnited States
Ingle, Apoorv
University of IowaUnited States
Jain, Devansh
University of Illinois at Urbana-Champaign
Jha, Sumit
Florida International University, USAUnited States
Jhala, Ranjit
University of California at San DiegoUnited States
Kabashnyi, Ivan
JetBrains Research, Constructor University Bremen, Germany
Kang, Byeongjee
Carnegie Mellon UniversityUnited States
Kidney, Donnacha Oisín
Imperial College LondonUnited Kingdom
Kirisame, Marisa
University of UtahUnited States
Kishida, Kohei
University of Illinois at Urbana-ChampaignUnited States
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Knipp, Charles
Federal Reserve Board of Governors, USA
Ko, Hsiang-Shang ‘Josh’
Institute of Information Science, Academia SinicaTaiwan
Kozen, Dexter
Cornell UniversityUnited States
Kraus, Nicolai
University of NottinghamUnited Kingdom
Krishnan, Rahul
University of Wisconsin-MadisonUnited States
Künnemann, Robert
CISPA Helmholtz Center for Information Security
Laguna, Ignacio
Lawrence Livermore National LaboratoryUnited States
Lancelot, Adrienne
Inria, LIX Ecole Polytechnique, IRIF Université Paris CitéFrance
Larrauri, Alberto
University of OxfordUnited Kingdom
Le, Xuan-Bach D.
University of MelbourneAustralia
Lesani, Mohsen
University of California at Santa Cruz
Lewis, Robert Y.
Brown UniversityUnited States
Li, Qin
Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina
Li, Qing
Department of Engineering, University of Cambridge
Limperg, Jannis
University of Munich (LMU)Germany
Lu, Sirui
University of WashingtonUnited States
Lucia, Brandon
Carnegie Mellon University, USA
Maderbacher, Benedikt
Graz University of TechnologyAustria
Madge, Fabio
Automated Reasoning Group, Amazon Web Services
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Makwana, Dhruv
University of CambridgeUnited Kingdom
Mangal, Ravi
Colorado State UniversityUnited States
Mansinghka, Vikash K.
Massachusetts Institute of TechnologyUnited States
Mansky, William
University of Illinois ChicagoUnited States
Manzonetto, Giulio
Université Paris Cité
Marino, Francesco Pio
University of Catania, University of Rouen
Marinov, Darko
University of Illinois at Urbana-ChampaignUnited States
Martens, Chris
Northeastern UniversityUnited States
Massot, Patrick
Université Paris-SaclayFrance
Mayero, Micaela
LIPN, Université Paris 13France
McCormack, Ian
Carnegie Mellon UniversityUnited States
Meleshchenko, Innokentii
JetBrains Research, Neapolis University Pafos, Cyprus
Meluzzi, Matteo
TU Delft, the Netherlands
Mendis, Charith
University of Illinois at Urbana-ChampaignUnited States
Meyer, Joachim
Compiler Design Lab; Saarland Informatics Campus; Saarland UniversityGermany
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Misu, Md Rakib Hossain
University of California IrvineUnited States
Moffat, Alistair
The University of Melbourne
Mondada, Luca
University of OxfordUnited Kingdom
Mortensen, Andreas Tor
Department of Computer Science, Aalborg University
Moss, Eliot
University of Massachusetts at AmherstUnited States
Mudide, Anish
Massachusetts Institute of Technology
Muduganti, Gautam
Indian Institute of Technology Hyderabad, IndiaIndia
Narmour, Louis
Colorado State University, University of Rennes, Inria, CNRS, IRISAUnited States
Naus, Nico
Open University of The Netherlands & Virginia Tech
Nemati, Hamed
KTH Royal Institute of TechnologySweden
Nezamabadi, Daniel
Chalmers University of Technology and University of Gothenburg
Nguyen, Steven
Rutgers University
Nuzzo, Wesley B
University of Massachusetts, Lowell (UML)
O
O'Hearn, Peter
University College London, UK and Lacework, London, UK
Omori, Akihiro
Department of Mathematical and Computing Science, Tokyo Institute of Technology
Palmskog, Karl
KTH Royal Institute of TechnologySweden
Pan, Zhiwen
Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina
Paquet, Hugo
École Normale Supérieure, PSL University & INRIAFrance
Pardo, Alberto
Universidad de la Republica, Uruguay
Parkinson, Matthew J.
Microsoft Azure ResearchUnited Kingdom
Pavlov Angelov, Angel Dexter
Sofia UniversityBulgaria
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal
Pincus, Jared
Boston UniversityUnited States
Podkopaev, Anton
JetBrains Research, Constructor UniversityNetherlands
Pontelli, Enrico
New Mexico State UniversityUnited States
Potet, Marie-Laure
Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG
Prabhu, Vinayak
Colorado State UniversityUnited States
Prinz, Jacob
University of Maryland, College Park
Pulte, Christopher
University of CambridgeUnited Kingdom
Ragan-Kelley, Jonathan
Massachusetts Institute of TechnologyUnited States
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Ranzato, Francesco
University of PadovaItaly
Robinson, Vincent
University of Portland
Rosemann, Julian
Saarland University, Saarland Informatics CampusGermany
Rossander Kristensen, Nikolaj
Department of Computer Science, Aalborg University
Rot, Jurriaan
Radboud University Nijmegen
Roşu, Grigore
University of Illinois at Urbana-ChampaignUnited States
Rümmer, Philipp
University of Regensburg and Uppsala University
Saad, Feras
Carnegie Mellon UniversityUnited States
Saito, Teppei
Japan Advanced Institute of Science and Technology, Japan
Salazar, Elmer
The University of Texas at DallasUnited States
Sarracino, John
Lawrence Livermore National Laboratory
Satish, Sundara Vishnu
University of Michigan - Ann ArborUnited States
Sato, Tetsuya
Tokyo Institute of TechnologyJapan
Selinger, Peter
Dalhousie UniversityCanada
Sergey, Ilya
National University of SingaporeSingapore
Shaikhha, Amir
University of EdinburghUnited Kingdom
Shi, Yunong
AWS Quantum TechnologiesUnited States
Shuaizong Si
Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina
Simmons, Robert
IndependentUnited States
Siskind, Jeffrey Mark
Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States
Somenzi, Fabio
University of Colorado Boulder, USA
Sottile, Matthew
Lawrence Livermore National Laboratory
Sridhar, Meera
University of North Carolina Charlotte, USA
Stark, Ian
The University of EdinburghUnited Kingdom
Steenvoorden, Tim
Open UniversiteitNetherlands
Steffensen, Peter Buus
Department of Computer Science, Aalborg University
Summers, Alexander J.
University of British ColumbiaCanada
Sun, Limin
Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
Sun, Qinyi
Massachusetts Institute of Technology
Tasson, Christine
Sorbonne Université — LIP6France
Tegmark, Max
Massachusetts Institute of Technology
Thien, David
University of California, San Diego
Tilscher, Sarah
Technical University of Munich, Garching, GermanyGermany
Titzer, Ben L.
Carnegie Mellon UniversityUnited States
Tizpaz-Niari, Saeid
University of Texas at El PasoUnited States
Tolmach, Andrew
Portland State University
Tsampas, Stelios
FAU Erlangen-Nuremberg, INF 8
Tóth, Melinda
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary
Urban, Caterina
Inria - École Normale SupérieureFrance
Valiron, Benoit
LRI, CentraleSupelec, Univ. Paris SaclayFrance
van den Brand, Mark
Eindhoven University of TechnologyNetherlands
van Rooij, Orpheas
University of EdinburghUnited Kingdom
Vanegue, Julien
Imperial College London; BloombergUnited States
Vasconcelos, Vasco T.
LASIGE, University of LisbonPortugal
Verscht, Lena
RWTH Aachen University; Saarland UniversityGermany
Viswanathan, Mahesh
University of Illinois at Urbana-ChampaignUnited States
von Gleissenthall, Klaus
Vrije Universiteit AmsterdamNetherlands
Wang, Yuncheng
Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina
Wang, Zhonghan
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Weisenburger, Pascal
University of St. GallenSwitzerland
White, Leo
Jane StreetUnited Kingdom
Windisch, Felix
Graz University of TechnologyAustria
Winnick, Sam
University of Waterloo
Wojciechowski, Piotr
West Virginia University, USAUnited States
Wu, Nicolas
Imperial College LondonUnited Kingdom
Wu, Xiaodi
University of MarylandUnited States
Wáng, Ānrán
Saarland University
Xu, Tianfan
University of Illinois at Urbana-Champaign
Xu, Yingte
MPI-SP and Institute of Software, Chinese Academy of Sciences
Ye, Qianchuan
University at Buffalo, SUNYUnited States
Yu, Nengkun
Stony Brook University, USAUnited States
Zakhour, George
University of St. GallenSwitzerland
Zhang, Weidong
Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina
Zheng, Yaowen
Institute of Information Engineering at Chinese Academy of SciencesChina
Zhi-Xuan, Tan
Massachusetts Institute of Technology
Zhou, Li
Institute of Software, Chinese Academy of SciencesChina
Zhou, Neng-Fa
CUNY Brooklyn College and Graduate Center
Zhou, Yi
Carnegie Mellon UniversityUnited States
Zhu, Mingwei
University of Maryland, College Park
Zhuchko, Ekaterina
Tallinn University of Technology
Zoghbi, Lydia
University of California, San Diego
Ž
Žikelić, Đorđe
Singapore Management University, SingaporeSingapore