Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (744)

Abate, Carmine
Max Planck Institute for Security and Privacy, Bochum, Germany
Accattoli, Beniamino
Inria & Ecole Polytechnique
Affeldt, Reynald
National Institute of Advanced Industrial Science and Technology (AIST), Japan
Agarwal, Yuvraj
Carnegie Mellon UniversityUnited States
Aguirre, Alejandro
IMDEA Software Institute and T.U. of Madrid (UPM)
Ahman, Danel
University of LjubljanaSlovenia
Ahmed, Amal
Northeastern University, USAUnited States
Allais, Guillaume
University of St AndrewsUnited Kingdom
Annenkov, Danil
Concordium Blockchain Research Center, Aarhus UniversityDenmark
Asai, Kenichi
Ochanomizu UniversityJapan
Baumann, Pascal
Max Planck Institute for Software Systems (MPI-SWS)Germany
Bautista, Santiago
Univ Rennes, ENS Rennes, Inria, IRISAFrance
Becerra-Teron, Antonio
University of AlmeriaSpain
Becker, Bernd
Albert-Ludwigs-University FreiburgGermany
Benzaken, Véronique
Université Paris SaclayFrance
Berger, Emery D.
University of Massachusetts AmherstUnited States
Bieniusa, Annette
Technische Universität KaiserslauternGermany
Bos, Nathaniel
McGill University
Boulytchev, Dmitri
Saint Petersburg State University / JetBrains ResearchRussia
Brady, Edwin
University of St. Andrews, UKUnited Kingdom
Brunthaler, Stefan
Universität der Bundeswehr MünchenGermany
Burroni, Javier
University of Massachusetts Amherst
Busi, Matteo
Università di Pisa - Dipartimento di Informatica
Byrd, William E.
University of Alabama at Birmingham, USAUnited States
C
Cao, David
University of California, San Diego
Carette, Jacques
McMaster UniversityCanada
Chiplunkar, Shardul
Massachusetts Institute of Technology
Choi, Kwanghoon
Chonnam National UniversitySouth Korea
Chuang, Cheng-En
University at BuffaloUnited States
Coblenz, Michael
University of Maryland at College ParkUnited States
Cohen-Boulakia, Sarah
LRI, Université de Paris Sud, CNRS (UMR8623) - Université Paris Saclay
Commelin, Johan
Universität Freiburg
Cook, Victor
University of Central FloridaUnited States
Costea, Andreea
School of Computing, National University Of SingaporeSingapore
Danielsson, Nils Anders
University of Gothenburg, Chalmers University of Technology
Danvy, Olivier
Yale-NUS College and School of Computing, SingaporeSingapore
Dechev, Damian
University of Central FloridaUnited States
Desharnais, Martin
Universität der Bundeswehr MünchenGermany
Di Liberti, Ivan
Czech Academy of Sciences
Dodaro, Carmine
Department of Mathematics and Computer Science, University of CalabriaItaly
Doenges, Ryan
Cornell UniversityUnited States
Donaldson, Alastair F.
Imperial College London and GoogleUnited Kingdom
Downen, Paul
University of Oregon, USA
Drăgoi, Cezara
Inria / ENS / CNRS / PSL University / Informal Systems
Ferrara, Pietro
Università Ca' Foscari, Venezia, ItalyItaly
Finkbeiner, Bernd
CISPA Helmholtz Center for Information SecurityGermany
Fredrikson, Matt
Carnegie Mellon UniversityUnited States
Freer, Cameron
Massachusetts Institute of TechnologyUnited States
Fábregas, Ignacio
Universidad Complutense de MadridSpain
Gebser, Martin
University of Klagenfurt, AustriaAustria
Ghilezan, Silvia
University of Novi Sad, Mathematical Institute SASASerbia
Godiksen, Christian
Department of Computer Science, Aalborg University
Goldstein, Harrison
University of PennsylvaniaUnited States
Gonnord, Laure
University of Lyon & LIP, FranceFrance
González, Colin
Université de Paris, Irif -- Nomadic Labs
González-Abril, Juan José
MiST, VRAIN, Universitat Politecnica de ValenciaSpain
Gordon, Andrew D.
Microsoft Research and University of EdinburghUnited Kingdom
Goudsmid, Ohad
Department of Computer Science, The TechnionIsrael
Gourjon, Marc
Hamburg University of Technology and NXP Semiconductors Germany GmbH
Gutsfeld, Jens Oliver
Westfälische Wilhelm-Universität Münster (WWU), Germany
Hanrahan, Pat
Stanford University, USA
Hausmann, Daniel
Friedrich-Alexander-Universität Erlangen-NürnbergGermany
Hermenegildo, Manuel
IMDEA Software Institute and T.U. of MadridSpain
Herrmann, Thomas
Department of Computer Science, Aalborg University
Heydemann, Karine
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
Hinrichsen, Jonas Kastberg
IT University of CopenhagenDenmark
Hirsch, Andrew K.
Max Planck Institute for Software SystemsGermany
Holtzen, Steven
University of California at Los Angeles
Hou (Favonia), Kuen-Bang
University of Minnesota, Twin CitiesUnited States
Hu, Jason Z.S.
McGill UniversityCanada
Hu, Qinheping
University of Wisconsin-Madison, USA
Humenberger, Andreas
Vienna University of Technology
Hung, Shih-Han
University of Maryland, USA
Hüttel, Hans
Department of Computer Science, Aalborg UniversityDenmark
Iraci, Grant
University at BuffaloUnited States
Ishio, Chiaki
Ochanomizu UniversityJapan
Jacobs, Bart
imec-DistriNet, Dept. CS, KU LeuvenBelgium
Jacobs, Jules
Radboud University Nijmegen
Jha, Somesh
University of Wisconsin, MadisonUnited States
Johansson, Moa
Chalmers University of TechnologySweden
Jones, Eddie
University of BristolUnited Kingdom
Jourdan, Jacques-Henri
Universersité Paris Saclay, CNRS, LRIFrance
Kammar, Ohad
University of EdinburghUnited Kingdom
Kamp, Marius
Friedrich-Alexander University Erlangen-NürnbergGermany
Karimov, Toghrul
Max Planck Institute for Software Systems
Kaysin, Ilya
National Research University Higher School of Economics, JetBrains ResearchRussia
Keller, Chantal
LRI, Univ. Paris-SudFrance
Khyzha, Artem
Tel Aviv University
Kim, Eunhee
2e Consulting Corp.South Korea
Kim, Jinwoo
University of Wisconsin-Madison
Klimov, Andrei
Keldysh Institute of Applied Mathematics of Russian Academy of SciencesRussia
Kogtenkov, Alexander
Schaffhausen Institute of Technology, SwitzerlandRussia
Koskinen, Eric
Stevens Institute of TechnologyUnited States
Koutsoukou-Argyraki, Angeliki
University of Cambridge, Department of Computer Science and TechnologyUnited Kingdom
Kravchuk-Kirilyuk, Anastasiya
Harvard UniversityUnited States
Krishnamurthi, Shriram
Brown University, United States
Krishnaswami, Neel
Computer Laboratory, University of Cambridge
Krogmeier, Paul
University of Illinois at Urbana-Champaign
Kumar, K Narayan
Chennai Mathematical InstituteIndia
Lauridsen, Mikkel Korup
Department of Computer Science, Aalborg University
Le, Quang Loc
University College London, UKUnited Kingdom
Lennon-Bertrand, Meven
Inria – LS2N, Université de NantesFrance
Lew, Alexander K.
Massachusetts Institute of Technology, USAUnited States
Liao, Kevin
Max Planck Institute for Security and Privacy
Limperg, Jannis
Vrije Universiteit AmsterdamNetherlands
Loregian, Fosco
Tallinn University of Technology
Louwrink, Daniël
University of Amsterdam
Lu, Kenny Zhuo Ming
ISTD, Singapore University of Technology and DesignSingapore
M
M. Almendros-Jimenez, Jesus
Universidad de AlmeriaSpain
Milo, Mikkel
Concordium Blockchain Research Center, Aarhus University
Monniaux, David
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
Morejon, David
Massachusetts Institute of Technology
Morris, J. Garrett
University of Kansas, USAUnited States
Muller, Stefan K.
Illinois Institute of TechnologyUnited States
Nandi, Chandrakana
University of Washington, USAUnited States
Narasimhamurthy, Monal
University of Colorado, BoulderUnited States
Naudon, Enrique
BloombergUnited States
Negrini, Luca
Ca’ Foscari University of Venice, Julia S.r.l.Italy
Nepeivoda, Antonina
Program Systems Institute of RAS, RussiaRussia
Nester, Chad
Tallinn University of Technology
Nielsen, Jakob Botsch
Concordium Blockchain Research Center, Aarhus University
Norrish, Michael
Data61, CSIRO & ANUAustralia
Oei, Reed
University of Illinois at Urbana-ChampaignUnited States
Ohrem, Christoph
Westfälische Wilhelms-Universität Münster (WWU), Germany
Oliveira, Tiago
University of Porto (FCUP) and INESC TEC
Ong, C.-H. Luke
University of OxfordUnited Kingdom
Ouaknine, Joël
Max Planck Institute for Software Systems and University of Oxford
Owliaie, Iman
Department of Computer Science, Aalborg University
P
Padhiyar, Sumit
Indian Institue Of Technology, MadrasIndia
Pagani, Michele
IRIF - Université de ParisFrance
Palmskog, Karl
KTH Royal Institute of TechnologySweden
Pasareanu, Corina S.
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Pavlinovic, Zvonimir
Google, USAUnited States
Paxian, Tobias
University of FreiburgGermany
Pereira, Mário
NOVA LINCS & Nova School of Sciences and Tecnhology
Peterson, Christina
University of Central FloridaUnited States
Philippsen, Michael
Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany
Pick, Lauren
Princeton UniversityUnited States
Polikarpova, Nadia
University of California at San Diego
Pretnar, Matija
University of Ljubljana, SloveniaSlovenia
Raiola, Pascal
University of FreiburgGermany
Ramsay, Steven
University of BristolUnited Kingdom
Rand, Robert
University of ChicagoUnited States
Ravara, António
Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal
Rosemann, Julian
Saarland University, Saarland Informatics CampusGermany
Rouvoet, Arjen
Delft University of Technology
Rozplokhas, Dmitry
Saint Petersburg State University and JetBrains Research
S
S. Moses, William
Massachusetts Institute of Technology
Saivasan, Prakash
The Institute of Mathematical Sciences, India
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Sasano, Isao
Shibaura Institute of TechnologyJapan
Scalas, Alceste
Technical University of DenmarkDenmark
Schwabe, Peter
Max Planck Institute for Security and Privacy
Sekiyama, Taro
National Institute of InformaticsJapan
Sheinvald, Sarai
Department of Software Engineering, ORT Braude College of EngineeringIsrael
Shivkumar, Bhargav
State University of New York - University at BuffaloUnited States
Silver, Lucas
University of Pennsylvania
Siskind, Jeffrey Mark
School of Electrical and Computer Engineering, Purdue UniversityUnited States
Sistla, A. Prasad
University of Illinois at Chicago
Sobocinski, Pawel
Tallinn University of Technology
Solar-Lezama, Armando
Massachusetts Institute of Technology
Spies, Simon
MPI-SWS and University of Cambridge
Starosta, Štěpán
Faculty of Information Technology, Czech Technical University in PragueCzechia
Stoilkovska, Ilina
Vienna University of Technology Austria
Su, Yusen
New York University, University of WaterlooCanada
Sullivan, Zachary
University of Oregon
Tanaka, Akira
National Institute of Advanced Industrial Science and Technology (AIST)
Tatlock, Zachary
University of Washington, SeattleUnited States
Tavares, Zenna
Massachusetts Institute of Technology
Tourret, Sophie
Max Planck Institute for Informatics
Urban, Josef
Czech Technical University in PragueCzechia
Valadez, Aslan Garcia
National Autonomous University of Mexico
van Doorn, Floris
University of PittsburghUnited States
Vanoni, Gabriele
University of Bologna & INRIA Sophia Antipolis
Vassena, Marco
CISPA Helmholtz Center for Information SecurityGermany
Vidal, German
Universitat Politecnica de ValenciaSpain
Vitek, Jan
Northeastern University / Czech Technical University
Vu, Son Tuan
Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6
Vyatkin, Andrey
Saint Petersburg State University
W
Wahby, Riad S.
Stanford University, USA
Walker, David
Princeton University, USA
Wang, Yisu Remy
University of WashingtonUnited States
Wassell, Mark
University of Cambridge
Westrick, Sam
Carnegie Mellon UniversityUnited States
Whalen, Michael
University of Minnesota, USAUnited States
Wies, Thomas
New York University, USA
Willsey, Max
University of Washington, USA
Z
Zaiser, Fabian
University of Oxford
Zaliva, Vadim
Carnegie Mellon University, USAUnited States
Zamayla, Arnel
University of Calabria, ItalyItaly
Zanella-Béguelin, Santiago
Microsoft Research, CambridgeUnited Kingdom
Zdancewic, Steve
University of PennsylvaniaUnited States
Zetzsche, Georg
Max Planck Institute for Software Systems (MPI-SWS)Germany
Zhang, Han
Carnegie Mellon UniversityUnited States
Zhou, Neng-Fa
CUNY Brooklyn College and Graduate Center
Zucchini, Rébecca
LRI, Université de Paris Sud, CNRS (UMR8623) - Université Paris Saclay
Zuleger, Florian
Vienna University of TechnologyAustria