POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (411)

Ahmed, Amal
Northeastern University, USAUnited States
Akgun, Ozgur
University of St Andrews, St Andrews, UKUnited Kingdom
Azevedo de Amorim, Arthur
Rochester Institute of Technology, USAUnited States
Azevedo de Amorim, Pedro H.
University of OxfordUnited Kingdom
Bardin, Sébastien
CEA LIST, University Paris-SaclayFrance
Benac Earle, Clara
Universidad Politécnica de MadridSpain
Blanco, Roberto
Max Planck Institute for Security and Privacy (MPI-SP)
Bohrer, Rose
National Institute of Advanced Industrial Science and Technology (AIST), JapanJapan
Bowman, William J.
University of British ColumbiaCanada
Brachthäuser, Jonathan Immanuel
University of TübingenGermany
Byrd, William E.
University of Alabama at BirminghamUnited States
Ceska, Milan
Brno University of Technology Czechia
Chalupa, Marek
Institute of Science and Technology Austria
Chen, Liqian
National University of Defense TechnologyChina
Cheng, Chih-Hong
Carl von Ossietzky Universität Oldenburg & Chalmers University of TechnologyGermany
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Cockx, Jesper
Delft University of TechnologyNetherlands
Dal Lago, Ugo
University of Bologna & INRIA Sophia AntipolisItaly
Davoli, Davide
Université Côte d’Azur, InriaFrance
Downen, Paul
University of Massachusetts at LowellUnited States
Fedyukovich, Grigory
Florida State UniversityUnited States
Fijalkow, Nathanaël
CNRS, LaBRI, University of BordeauxFrance
Fowler, Simon
University of GlasgowUnited Kingdom
Gambhir, Sankalp
Ecole Polytechnique Federale de Lausanne (EPFL)
Gebser, Martin
University of Klagenfurt, AustriaAustria
Giacobazzi, Roberto
University of ArizonaUnited States
Gollamudi, Anitha
University of Massachusetts LowellUnited States
Goncharov, Sergey
University of BirminghamUnited Kingdom
Gopinathan, Kiran
University of Illinois Urbana ChampaignUnited States
Greenberg, Michael
Stevens Institute of TechnologyUnited States
H
Hague, Matthew
Royal Holloway University of LondonUnited Kingdom
Heunen, Chris
University of EdinburghUnited Kingdom
Hietala, Kesha
Sandia National LaboratoriesUnited States
Hinrichsen, Jonas Kastberg
IT University of CopenhagenDenmark
Hirsch, Andrew K.
University at Buffalo, SUNYUnited States
Hivert, Florent
Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA
Hofmann, Jana
Microsoft Azure ResearchUnited Kingdom
Holík, Lukáš
Brno University of Technology; Aalborg UniversityCzechia
Huang, Qifan
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina
Hur, Chung-Kil
Seoul National UniversitySouth Korea
Hutton, Graham
University of NottinghamUnited Kingdom
Jaloyan, Georges-Axel
Ministère de l'Économie et des FinancesFrance
Jourdan, Jacques-Henri
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
Kaminski, Benjamin Lucien
Saarland University; University College LondonGermany
Kerjean, Marie
CNRS, Université Sorbonne Paris NordFrance
Kesner, Delia
Université Paris Cité - CNRS - IRIFFrance
Klein, Gerwin
Proofcraft and UNSW SydneyAustralia
Komendantskaya, Ekaterina
Heriot-Watt University and Southampton UniversityUnited Kingdom
Koutsoukou-Argyraki, Angeliki
Royal Holloway, University of LondonUnited Kingdom
Kovacs, Laura
Vienna University of Technology (TU Wien)Austria
Krebbers, Robbert
Radboud University NijmegenNetherlands
Lam, Christopher
University of Illinois at Urbana-ChampaignUnited States
Lee, Nian-Ze
National Taiwan University, TaiwanTaiwan
Lemerre, Matthieu
Université Paris-Saclay - CEA ListFrance
Li, Gushu
University of PennsylvaniaUnited States
Li, Yong
Institute of Software, Chinese Academy of SciencesChina
Lin, Anthony Widjaja
TU Kaiserslautern; MPI-SWSGermany
Lin, Jyun-Ao
National Taipei University of TechnologyTaiwan
Liu, Y. Annie
Stony Brook UniversityUnited States
Liu, Zengyu
National University of Defense TechnologyChina
Maillard, Kenji
Inria – LS2N, Université de NantesFrance
Maksimović, Petar
Nethermind; Imperial College LondonUnited Kingdom
Mansinghka, Vikash K.
Massachusetts Institute of TechnologyUnited States
Martens, Chris
Northeastern UniversityUnited States
Mazzocchi, Nicolas
Slovak University of Technology in BratislavaSlovakia
Mendes, Alexandra
Faculty of Engineering, University of Porto & INESC TECPortugal
Miller, Dale
INRIA Saclay and LIX/Institut Polytechnique de ParisFrance
Murali, Adithya
University of Illinois at Urbana-ChampaignUnited States
Negrini, Luca
Ca’ Foscari University of VeniceItaly
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo
Université Jean Monnet Saint-ÉtienneFrance
Olmos, Santiago Arranz
Max Planck Institute for Security and Privacy
Palsberg, Jens
University of California, Los Angeles (UCLA)United States
Paraskevopoulou, Zoe
National Technical University of AthensGreece
Parreaux, Lionel
HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal
Pettinau, Roberto
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Rigo, Diletta
Dipartimento di Matematica, University of Padova, ItalyItaly
Rustenholz, Louis
Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain
S
S. Moses, William
University of Illinois Urbana-ChampaignUnited States
Saad, Feras
Carnegie Mellon UniversityUnited States
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Saraç, N. Ege
CISPA Helmholtz Center for Information Security
Sato, Ryosuke
Tokyo University of Agriculture and TechnologyJapan
Scherer, Gabriel
Université Paris Cité - Inria - CNRSFrance
Sergey, Ilya
National University of SingaporeSingapore
Sieczkowski, Filip
Heriot-Watt UniversityUnited Kingdom
Siegel, Stephen F.
University of DelawareUnited States
Sighireanu, Mihaela
University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance
Sighireanu, Mihaela
University Paris-Saclay, ENS Paris-Saclay, CNRS, LMFFrance
Signoles, Julien
Université Paris-Saclay, CEA, ListFrance
Staquet, Gaëtan
Nantes Université - École Centrale Nantes - CNRS - LS2N - UMR 6004France
Stefan, Deian
University of California at San DiegoUnited States
Stefanesco, Leo
University of CambridgeUnited Kingdom
Stoelinga, Marielle
University of Twente and Radboud University, NijmegenNetherlands
Suenaga, Kohei
Graduate School of Informatics, Kyoto UniversityJapan
Tao, Runzhou
University of Maryland, College ParkUnited States
Tarau, Paul
University of North TexasUnited States
Tourret, Sophie
Max Planck Institute for Informatics
Van Horn, David
University of MarylandUnited States
Vandenbogaerde, Bram
Software Languages Lab, Vrije Universiteit BrusselBelgium
Vanegue, Julien
Imperial College London; BloombergUnited States
Viswanathan, Mahesh
University of Illinois at Urbana-ChampaignUnited States
Wallner, Johannes
Graz University of TechnologyAustria
Wang, Chao
University of Southern CaliforniaUnited States
Watanabe, Kazuki
National Institute of Informatics; SOKENDAIJapan
Watt, Conrad
Nanyang Technological UniversitySingapore
Weirich, Stephanie
University of PennsylvaniaUnited States
Wickerson, John
Imperial College LondonUnited Kingdom
Wu, Nicolas
Imperial College LondonUnited Kingdom
Y
Yallop, Jeremy
University of CambridgeUnited Kingdom
Ye, Qianchuan
University at Buffalo, SUNYUnited States
Yu, Geunyeol
Pohang University of Science and Technology (POSTECH)South Korea
Yuan, Charles
University of Wisconsin–MadisonUnited States
Zhang, Qirun
Georgia Institute of TechnologyUnited States
Zhou, Li
Institute of Software at Chinese Academy of SciencesChina