POPL 2021 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (741)
A Rutgers University |
Max Planck Institute for Security and Privacy, Bochum, Germany |
Uppsala University, Sweden |
Carnegie Mellon University |
Cornell University |
National Institute of Advanced Industrial Science and Technology (AIST), Japan |
Carnegie Mellon UniversityUnited States |
IMDEA Software Institute and T.U. of Madrid (UPM) |
Northeastern University, USAUnited States |
University of Wisconsin-Madison, USA |
Carnegie Mellon UniversityUnited States |
University of St AndrewsUnited Kingdom |
Bar Ilan UniversityIsrael |
Harvard UniversityUnited States |
Portland State University |
CSIRO's Data61 and UNSWAustralia |
Concordium Blockchain Research Center, Aarhus UniversityDenmark |
Ca’ Foscari University of VeniceItaly |
University of Oregon, USA |
Uppsala University, Sweden |
University of Strathclyde |
Epic Games |
Imperial College LondonUnited Kingdom |
Carnegie Mellon University, USAUnited States |
University of Gothenburg |
B Delft University of Technology |
IT University of CopenhagenDenmark |
Carnegie Mellon University, USAUnited States |
IMDEA Software InstituteSpain |
GoogleUnited States |
Univ Rennes, IRISA |
MPI-SP, Germany / IMDEA Software Institute, Spain |
University of KentUnited Kingdom |
Max Planck Institute for Software Systems (MPI-SWS)Germany |
Univ Rennes, ENS Rennes, Inria, IRISAFrance |
Aarhus University |
University of British ColumbiaCanada |
Charles River Analytics |
IRIF - Université de ParisFrance |
IT University of Copenhagen |
University of Massachusetts AmherstUnited States |
Princeton UniversityUnited States |
INRIA RennesFrance |
Georgia Institute of Technology |
Technische Universität KaiserslauternGermany |
Aarhus University |
Microsoft Research |
Vrije Universiteit AmsterdamNetherlands |
Univ Rennes, IRISAFrance |
Digital Asset |
Institute of Software Technology, Graz University of Technology |
InriaFrance |
IRIF, Université Paris DiderotFrance |
Saint Petersburg State University / JetBrains ResearchRussia |
University of British ColumbiaCanada |
University of St. Andrews, UKUnited Kingdom |
DFINITY FoundationGermany |
Drexel University |
MPI-INFGermany |
Universität der Bundeswehr MünchenGermany |
Università di Pisa - Dipartimento di Informatica |
University of Alabama at Birmingham, USAUnited States |
Orange Labs & Verimag |
Massachusetts Institute of Technology |
Oracle Labs, USAUnited States |
University of California at San Diego, USA |
Cornell UniversityUnited States |
Massachusetts Institute of Technology, USAUnited States |
IIT Delhi, IndiaIndia |
Masaryk University |
Indiana UniversityTaiwan |
RWTH AachenGermany |
University of Louisiana at Lafayette |
Portland State University |
National University of SingaporeSingapore |
Massachusetts Institute of TechnologyUnited States |
Chonnam National UniversitySouth Korea |
University of Pennsylvania |
Fondazione Bruno KesslerItaly |
Alexandru Ioan Cuza University of Iasi |
University of British Columbia |
University of Maryland at College ParkUnited States |
Université Côte d’Azur, Inria, France |
LRI, Université de Paris Sud, CNRS (UMR8623) - Université Paris Saclay |
Tokyo Institute of TechnologyJapan |
Facebook LondonUnited Kingdom |
Università Ca' Foscari VeneziaItaly |
School of Computing, National University Of SingaporeSingapore |
MIT-CSAIL |
D University of Wisconsin-Madison, USA |
MPI-SWSGermany |
University of Bologna, Italy / Inria, FranceItaly |
MPI-SWSGermany |
University of Gothenburg, Chalmers University of Technology |
Yale-NUS College and School of Computing, SingaporeSingapore |
Nomadic LabsFrance |
Univ Rennes, Inria, CNRS, IRISAFrance |
independent scholarBelgium |
Carnegie Mellon UniversityUnited States |
Universität der Bundeswehr MünchenGermany |
Vrije Universiteit BrusselBelgium |
University of FreiburgGermany |
CISPA Helmholtz Center for Information Security |
University of California at San Diego, USA |
Department of Mathematics and Computer Science, University of CalabriaItaly |
Imperial College London and GoogleUnited Kingdom |
Czech Technical University |
TechnionIsrael |
Imperial College LondonUnited Kingdom |
Inria / ENS / CNRS / PSL University / Informal Systems |
ENSIIE Paris-ÉvryFrance |
NASA Langley Research CenterUnited States |
E Augusta UniversityUnited States |
Imperial College LondonUnited Kingdom |
Tweag I/OUnited States |
TU MunichGermany |
Sabanci University, TurkeyTurkey |
F Université de Paris & CNRS |
IMDEA Software Institute, Spain |
University of TorontoCanada |
Florida State UniversityUnited States |
University of OttawaCanada |
University of Illinois at Urbana-Champaign |
Università Ca' Foscari, Venezia, ItalyItaly |
CISPA Helmholtz Center for Information SecurityGermany |
Max Planck Institute for InformaticsGermany |
Northeastern University |
Saarland UniversityGermany |
Cornell UniversityUnited States |
Carnegie Mellon UniversityUnited States |
Massachusetts Institute of TechnologyUnited States |
Carnegie Mellon University |
IBM Research |
Universidad Complutense de MadridSpain |
G Boston UniversityUnited States |
Cornell University |
IMDEA Software Institute, Spain |
University of British Columbia |
IMDEA Software InstituteSpain |
IST Austria |
Max Planck Institute for Software SystemsGermany |
Nagoya UniversityJapan |
University of Klagenfurt, AustriaAustria |
Aarhus University |
University of Novi Sad, Mathematical Institute SASASerbia |
University of Wisconsin-Madison |
Delft University of Technology |
University of Kansas, USAUnited States |
University of California, San Diego |
Vrije Universiteit Amsterdam, Netherlands |
Department of Computer Science, Aalborg University |
University of MichiganUnited States |
University of PennsylvaniaUnited States |
Aarhus University |
University of Lyon & LIP, FranceFrance |
Université de Paris, Irif -- Nomadic Labs |
MiST, VRAIN, Universitat Politecnica de ValenciaSpain |
Microsoft Research and University of EdinburghUnited Kingdom |
The University of Edinburgh |
Department of Computer Science, The TechnionIsrael |
Hamburg University of Technology and NXP Semiconductors Germany GmbH |
IT University of CopenhagenDenmark |
University of Central Missouri, USAUnited States |
Pomona College |
Aarhus UniversityDenmark |
Fondazione Bruno KesslerItaly |
Technion – Israel Institute of TechnologyIsrael |
IMDEA Software InstituteSpain |
Princeton UniversityUnited States |
University of WaterlooCanada |
National University of Singapore |
Westfälische Wilhelm-Universität Münster (WWU), Germany |
Aarhus University |
H Saarland University, Germany |
Yale University |
University of Innsbruck |
National Institute of Informatics, JapanJapan |
Friedrich-Alexander-Universität Erlangen-NürnbergGermany |
University of Freiburg, GermanyGermany |
Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
University of Copenhagen, DenmarkDenmark |
Department of Computer Science, Aalborg University |
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6 |
University of Maryland at College Park |
Max Planck Institute for Software SystemsGermany |
University of FreiburgGermany |
Carnegie Mellon UniversityUnited States |
University of California at Los Angeles |
Charles UniversityCzech Republic |
University of Minnesota, Twin CitiesUnited States |
MPI-SPGermany |
University of Wisconsin-Madison, USAUnited States |
Vienna University of Technology |
Seoul National University, South Korea |
Vrije Universiteit Brussel |
Department of Computer Science, Aalborg UniversityDenmark |
I Kyoto University, JapanJapan |
Technical University of MunichGermany |
J Purdue University, USAUnited States |
imec-DistriNet, Dept. CS, KU LeuvenBelgium |
CEA LIST, FranceFrance |
University of British Columbia |
University of Wisconsin, MadisonUnited States |
University of California at San Diego |
Carnegie Mellon UniversityUnited States |
Chalmers University of TechnologySweden |
Drexel University, USA |
Universersité Paris Saclay, CNRS, LRIFrance |
KAIST, South Korea |
MPI-SWSGermany |
K University of Pennsylvania |
RWTH Aachen University, GermanyGermany |
University of EdinburghUnited Kingdom |
Friedrich-Alexander University Erlangen-NürnbergGermany |
KAISTSouth Korea |
Max Planck Institute for Software Systems |
IT University of CopenhagenDenmark |
RWTH Aachen UniversityGermany |
National Research University Higher School of Economics, JetBrains ResearchRussia |
University of California at San Diego, USA |
Princeton University, USA |
Saarland UniversityGermany |
CSIRO's Data61 and UNSW SydneyAustralia |
Keldysh Institute of Applied Mathematics of Russian Academy of SciencesRussia |
University of FreiburgGermany |
Institute of Information Science, Academia Sinica, Taiwan |
University of Tokyo, JapanJapan |
Schaffhausen Institute of Technology, SwitzerlandRussia |
MPI-SWS, GermanyGreece |
Informal Systems IncAustria |
TU DresdenGermany |
Stevens Institute of TechnologyUnited States |
Thales Research and TechnologyFrance |
University of Cambridge, Department of Computer Science and TechnologyUnited Kingdom |
Vienna University of Technology (TU Wien)Austria |
Cornell UniversityUnited States |
Harvard UniversityUnited States |
Radboud University Nijmegen |
Computer Laboratory, University of Cambridge |
University of Illinois at Urbana-Champaign |
Bar Ilan UniversityIsrael |
Department of Computer Science, Aalborg University |
Technical University of MunichGermany |
University College London, UKUnited Kingdom |
Hanyang University, South Korea |
LMU MunichGermany |
Inria – LS2N, Université de NantesFrance |
Collège de FranceFrance |
Massachusetts Institute of Technology, USAUnited States |
University of Colorado BoulderUnited States |
Vrije Universiteit AmsterdamNetherlands |
University of PennsylvaniaUnited States |
Georgia Institute of Technology, USA |
Nanjing University, ChinaChina |
Max Planck Institute for Security and Privacy |
Rutgers University, USA |
Heriot-Watt University, UK / The University of Edinburgh, UKUnited Kingdom |
University of Innsbruck |
Sain Petersburg State University, SPbGU |
ISTD, Singapore University of Technology and DesignSingapore |
University of Washington, USAUnited States |
Chalmers University of Technology |
Fondazione Bruno KesslerItaly |
Inria Nantes & University of Chile |
MPI-SWS |
University of Oxford |
Imperial College London, UK |
Princeton UniversityUnited States |
University of Illinois at ChicagoUnited States |
Tel Aviv University, Israel |
Digital Asset |
CIFASIS-CONICET, ArgentinaArgentina |
ETH Zurich |
Aarhus University |
University of Illinois at Urbana-ChampaignUnited States |
MPI-SWS, Germany and University of British Columbia, Canada |
Digital Asset |
Massachusetts Institute of Technology |
University of Innsbruck |
INRIA Saclay and LIXFrance |
Concordium Blockchain Research Center, Aarhus University |
DFINITY Foundation |
University of Innsbruck |
DIKU, University of CopenhagenDenmark |
Oracle Labs, New Zealand |
NEC Deutschland |
Sorbonne Université — LIP6France |
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG |
IMDEA Software Institute |
University of Kansas, USAUnited States |
Cornell TechUnited States |
Northeastern UniversityUnited States |
Illinois Institute of TechnologyUnited States |
Princeton UniversityUnited States |
TU DortmundGermany |
Cornell University |
Chalmers University of Technology |
Department of Mathematics, Stockholm UniversitySweden |
IT University of CopenhagenDenmark |
University of MünsterGermany |
Nokia Bell LabsUnited States |
University of Washington, USAUnited States |
IMDEA Software Institute |
University of FreiburgGermany |
University of Colorado, BoulderUnited States |
SRI InternationalUnited States |
Ca’ Foscari University of Venice, Julia S.r.l.Italy |
Program Systems Institute of RAS, RussiaRussia |
National University of SingaporeSingapore |
Digital Asset |
Molecular SenseUnited Kingdom |
Aarhus University |
Concordium Blockchain Research Center, Aarhus University |
Aarhus UniversityCanada |
University of Nottingham, UK |
Technische Universität München |
Victoria University of WellingtonNew Zealand |
KU Leuven, BelgiumBelgium |
University of Illinois at Urbana-ChampaignUnited States |
Westfälische Wilhelms-Universität Münster (WWU), Germany |
University of Porto (FCUP) and INESC TEC |
University of Kent, UKUnited Kingdom |
Sorbonne UniversitéFrance |
Max Planck Institute for Software Systems and University of Oxford |
Department of Computer Science, Aalborg University |
P Indian Institue Of Technology, MadrasIndia |
VMware ResearchUnited States |
KTH Royal Institute of TechnologySweden |
University of Novi SadSerbia |
Princeton UniversityUnited States |
Carnegie Mellon University Silicon Valley, NASA Ames Research Center |
Stanford University, USA / CISPA, Germany |
Aarhus UniversityDenmark |
Galois, Inc.United States |
University of California at San Diego |
University of Maryland |
NOVA LINCS & Nova School of Sciences and Tecnhology |
IBM Research; IHES |
University of Central FloridaUnited States |
Carnegie Mellon University, USA |
New Mexico State UniversityUnited States |
Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany |
Univ Rennes, ENS Rennes, IRISAFrance |
Princeton UniversityUnited States |
KU Leuven |
Yale University, USA |
Massachusetts Institute of Technology, USA |
University of Freiburg, GermanyGermany |
University of California at San Diego |
New Mexico State University |
University of SheffieldUnited Kingdom |
Microsoft Research, RedmondUnited States |
National University of Singapore, Singapore |
Q Nagoya UniversityJapan |
R Imperial College London |
Microsoft ResearchUnited States |
Microsoft ResearchIndia |
Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal |
Bar Ilan UniversityIsrael |
Saarland UniversityGermany |
University of Wisconsin--Madison |
INRIA/CNRS/ENS ParisFrance |
UNSW SydneyAustralia |
University of TorinoItaly |
Saarland University, Saarland Informatics CampusGermany |
Dfinity StiftungGermany |
Saint Petersburg State University and JetBrains Research |
S Massachusetts Institute of Technology |
Indiana UniversityEgypt |
The Institute of Mathematical Sciences, India |
University of Colorado, BoulderUnited States |
Shibaura Institute of TechnologyJapan |
Technical University of DenmarkDenmark |
University of FreiburgGermany |
Digital Asset |
Kansas State UniversityUnited States |
MPI-SWSGermany |
The University of Sydney |
University of Sydney, Australia |
Max Planck Institute for Security and Privacy |
University of FreiburgGermany |
National Institute of InformaticsJapan |
Yale-NUS College and National University of SingaporeSingapore |
University of Cambridge |
Indiana University, USA |
SRI International, USA |
Department of Software Engineering, ORT Braude College of EngineeringIsrael |
Massachusetts Institute of Technology, USA |
Cornell University |
IBM Research |
State University of New York - University at BuffaloUnited States |
Tel Aviv University |
University of EdinburghUnited Kingdom |
CEA LISTFrance |
University College LondonUnited Kingdom |
University of Minho |
Google BrainUnited States |
University of ChicagoUnited States |
School of Electrical and Computer Engineering, Purdue UniversityUnited States |
University of Illinois at Chicago |
NASA Langley Research CenterUnited States |
University of Washington |
University of SalzburgAustria |
Massachusetts Institute of Technology |
New Mexico State UniversityUnited States |
National University of SingaporeSingapore |
InriaFrance |
Concordium Blockchain Research Center, Aarhus University |
University of Pennsylvania |
Princeton University, USAUnited States |
Faculty of Information Technology, Czech Technical University in PragueCzech Republic |
University of Oxford |
Oracle LabsUnited States |
University of California at San Diego, USA |
TU DortmundGermany |
University of Oxford |
Vienna University of Technology Austria |
Microsoft and Mathematical Institute, Serbian Academy of Sciences and Arts (SASA)Serbia |
University of British Columbia |
T National University of SingaporeSingapore |
InriaFrance |
National Institute of Advanced Industrial Science and Technology (AIST) |
New Mexico State UniversityUnited States |
Boston College |
University of Washington, SeattleUnited States |
MPI-SPGermany |
University of Innsbruck |
Max Planck Institute for Software Systems (MPI-SWS) |
Aarhus UniversityDenmark |
Indiana University |
Portland State University |
Certora, inc. |
Max Planck Institute for Informatics |
IBM Research |
Chiba University, JapanJapan |
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6 |
University of California at San Diego, USA |
U The Univeristy of Tokyo |
Czech Technical University in PragueCzech Republic |
V MPI-SWSGermany |
University of Pittsburgh |
National Autonomous University of Mexico |
Delft University of Technology |
University of PittsburghUnited States |
University of Maryland, USAUnited States |
KULeuven |
CISPA Helmholtz Center for Information SecurityGermany |
Digital Asset |
Inria Paris-Saclay |
Universitat Politecnica de ValenciaSpain |
Arm ResearchUnited Kingdom |
Aarhus UniversityDenmark |
Delft University of Technology |
University of Illinois at Urbana-Champaign |
Northeastern University / Czech Technical University |
Technion—Israel Institute of TechnologyIsrael |
DeepMindUnited Kingdom |
Shanghai Jiao Tong University |
University of Cambridge, UK |
University of PennsylvaniaUnited States |
Northeastern UniversityUnited States |
Carnegie Mellon UniversityUnited States |
University of Minnesota, USAUnited States |
Kansas State UniversityUnited States |
Radboud University NijmegenNetherlands |
University of WashingtonUnited States |
TU BraunschweigGermany |
University of OxfordUnited Kingdom |
University of Maryland, USAUnited States |
X The University of Hong KongChina |
University of CambridgeUnited Kingdom |
KAISTSouth Korea |
Imperial College London |
University of Kansas, USAUnited States |
Carnegie Mellon University, USAUnited States |
Microsoft Research, CambridgeUnited Kingdom |
Max Planck Institute for Software Systems (MPI-SWS)Germany |
Princeton UniversityUnited States |
Georgia Institute of Technology, USA |
National Institute of Informatics |
The University of Sydney |
Massachusetts Institute of Technology |
CUNY Brooklyn College and Graduate Center |
SUNY Buffalo, USAUnited States |
LRI, Université de Paris Sud, CNRS (UMR8623) - Université Paris Saclay |
Vienna University of TechnologyAustria |
Å Data61 at CSIRO / UNSW |
Ö IMDEA Software Institute |