Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (741)

Allamanis, Miltiadis
Microsoft Research, CambridgeUnited Kingdom
Alur, Rajeev
University of PennsylvaniaUnited States
Andronick, June
Data61,CSIRO (formerly NICTA) and UNSWAustralia
Arias, Joaquin
Universidad Politécnica de Madrid and IMDEA Software InstituteSpain
Bae, Kyungmin
Pohang University of Science and Technology (POSTECH)South Korea
Ball, Thomas
Microsoft ResearchUnited States
Baydin, Atılım Güneş
Department of Engineering Science, University of Oxford
Bernardi, Giovanni
Université Paris DiderotFrance
Biernacki, Dariusz
University of Wrocław
Bloem, Roderick
Institute of Software Technology, Graz University of Technology
Bodden, Eric
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Bodik, Rastislav
University of WashingtonUnited States
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bove, Ana
Chalmers University of Technology, Sweden
Bowen, Jonathan
London South Bank UniversityUnited Kingdom
Bowman, William J.
University of British ColumbiaCanada
Brady, Edwin
University of St. Andrews, UKUnited Kingdom
Busi, Matteo
Università di Pisa - Dipartimento di Informatica
C
Caires, Luís
NOVA-LINCS, FCT NOVA / Universidade Nova de LisboaPortugal
Caltais, Georgiana
University of Konstanz
Castiglioni, Valentina
Inria Saclay - Ile de France
Castro-Perez, David
Imperial College LondonUnited Kingdom
Cerny, Pavol
University of Colorado BoulderSlovakia
Chakraborty, Soham
Max Planck Institute for Software Systems
Chen, Zilin
Data61, CSIRO and UNSWAustralia
Clairambault, Pierre
CNRS & ENS LyonFrance
Cleaveland, Rance
University of Maryland
Cogumbreiro, Tiago
University of Massachusetts BostonUnited States
Costantini, Stefania
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila
Crary, Karl
Carnegie Mellon University
Culpepper, Ryan
Czech Technical UniversityCzech Republic
Danielsson, Nils Anders
University of Gothenburg, Chalmers University of Technology
Danvy, Olivier
Yale-NUS College, SingaporeSingapore
Dardha, Ornela
University of GlasgowUnited Kingdom
De Meuter, Wolfgang
Vrije Universiteit Brussel
De Roover, Coen
Vrije Universiteit BrusselBelgium
Degano, Pierpaolo
Università di Pisa - Dipartimento di Informatica
Dezani, Mariangiola
Università di TorinoItaly
Di Giusto, Cinzia
Laboratoire I3S
Eberl, Manuel
Technische Universität MünchenGermany
Felty, Amy
University of OttawaCanada
Findler, Robby
Northwestern University, USAUnited States
Fowler, Simon
The University of EdinburghUnited Kingdom
Galletta, Letterio
IMT School for Advanced Studies
Garcia, Ronald
University of British Columbia
Gerdes, Alex
University of Gothenburg, SwedenSweden
Gheri, Lorenzo
Middlesex University London
Gibbons, Jeremy
Department of Computer Science, University of OxfordUnited Kingdom
Gligoric, Milos
University of Texas at AustinUnited States
Gomes, Victor B. F.
University of Cambridge, UK
Gopinathan, Kiran
University College LondonUnited Kingdom
Gourjon, Marc
Hamburg University of Technology and NXP Semiconductors Germany GmbH
Gruetter, Samuel
Massachusetts Institute of Technology
Gu, Ronghui
Columbia University, USAUnited States
Gudka, Khilan
University of Cambridge
Gunter, Elsa
University of IllinoisUnited States
Gurfinkel, Arie
University of WaterlooCanada
Hammond, Kevin
University of St. Andrews, UK
Harman, Mark
Facebook and University College LondonUnited Kingdom
Hirschowitz, Tom
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance
Hong, Chih-Duo
University of OxfordTaiwan
Horne, Ross
Computer Science and Communications Research Unit, University of Luxembourg
Houshmand, Farzin
University of California, RiversideUnited States
Hölzl, Johannes
Vrije Universiteit AmsterdamNetherlands
Hüttel, Hans
Department of Computer Science, Aalborg UniversityDenmark
Jay, Barry
University of Technology Sydney
Julio Alferes, José
NOVA LINCS -- Universidade Nova de LisboaPortugal
Just Arndal Andersen, Kristoffer
Aarhus UniversityDenmark
Karl, Anja
Institute of Applied Information Processing and Communications, Graz University of TechnologyAustria
Kavvos, Alex
Wesleyan UniversityUnited States
Kolčák, Juraj
LSV, CNRS & ENS Cachan, University Paris SaclaySlovakia
Kovács, András
Eötvös Loránd University
Kristensen, Joachim
DIKU, University of CopenhagenDenmark
Kumar, K Narayan
Chennai Mathematical InstituteIndia
Labrada, Elizabeth
University of Chile
Lampropoulos, Leonidas
University of PennsylvaniaGreece
Lanvin, Victor
IRIF, Université Paris Diderot, FranceFrance
Larsen, Ken Friis
DIKU, University of CopenhagenDenmark
Lehtinen, Karoliina
University of Kiel and University of Liverpool
Lesani, Mohsen
University of California, Riverside
Lewis, Robert Y.
Vrije Universiteit AmsterdamNetherlands
Lindley, Sam
University of Edinburgh, UKUnited Kingdom
Liu, Y. Annie
Stony Brook UniversityUnited States
Lu, Kenny Zhuo Ming
Nanyang Polytechnic, Singapore
Lukyanov, Georgy
Newcastle University, UKUnited Kingdom
López, Hugo
IT University of Copenhagen, Denmark & DCR Solutions A/SColombia
Maksimović, Petar
Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, SerbiaUnited Kingdom
Mamouras, Konstantinos
University of Pennsylvania
Manighetti, Matteo
Inria & École PolytechniqueFrance
Martina, Jean Everson
UFSC - Universidade Federal de Santa CatarinaBrazil
Martins, Francisco
LaSIGE, University of Lisbon
Mathur, Umang
University of Illinois at Urbana-ChampaignUnited States
McCarthy, Jay
University of Massachusetts Lowell
Melgratti, Hernan
University of Buenos Aires, Argentina
Memarian, Kayvan
University of CambridgeIran
Midtgaard, Jan
University of Southern DenmarkDenmark
Might, Matthew
University of Alabama at Birmingham | Harvard Medical SchoolUnited States
Mika-Michalski, Christina
University of Duisburg-Essen
Millstein, Todd
University of California, Los Angeles
Miraldo, Victor Cacciari
Utrecht University, Netherlands
Mordido, Andreia
Lasige / Faculty of Sciences, Universidade de Lisboa
Murphy, Charlie
Princeton UniversityUnited States
Murray, Toby
University of Melbourne, AustraliaAustralia
Møgelberg, Rasmus Ejlers
IT University of CopenhagenDenmark
N
Nagarakatte, Santosh
Rutgers University, USAUnited States
Nakata, Keiko
SAP Innovation Center PotsdamGermany
Neves, Renato
University of Minho & INESC TEC
Nicolay, Jens
Vrije Universiteit Brussel, BelgiumBelgium
O'Hearn, Peter W.
Facebook and University College London
Okati, Nastaran
Ferdowsi University of Mashhad
Omar, Cyrus
University of ChicagoUnited States
Padoan, Tommaso
University of Padova
Petrucciani, Tommaso
DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, FranceItaly
Peña, Lucas
University of Illinois at Urbana-Champaign
Piróg, Maciej
University of WrocławPoland
Podkopaev, Anton
Higher School of Economics, JetBrains ResearchRussia
Polesiuk, Piotr
University of Wrocław
Polikarpova, Nadia
University of California, San DiegoUnited States
Polleres, Axel
Vienna University of Economincs and Business, Austria
Rainforth, Tom
Department of Statistics, University of Oxford
Ranzato, Francesco
University of PadovaItaly
Reineke, Jan
Saarland UniversityGermany
Reps, Thomas
University of Wisconsin - Madison and GrammaTech, Inc.United States
Rocha, Ricardo
University of Porto, PortugalPortugal
Rot, Jurriaan
Radboud University Nijmegen
Roşu, Grigore
University of Illinois at Urbana-ChampaignUnited States
Russo, Alejandro
Chalmers University of Technology, SwedenArgentina
Rybalchenko, Andrey
Microsoft ResearchUnited Kingdom
S
Saad, Feras A.
Massachusetts Institute of TechnologyUnited States
Sanchez-Stern, Alex
University of California, San DiegoUnited States
Sasano, Isao
Shibaura Institute of TechnologyJapan
Sato, Tetsuya
University at Buffalo, SUNY, USAUnited States
Schaechtle, Ulrich
Massachusetts Institute of Technology, USA
Schlichtkrull, Anders
Technical University of Denmark
Schwaab, Christopher
University of St Andrews
Serrano, Alejandro
Utrecht University, NetherlandsNetherlands
Sieczkowski, Filip
University of WrocławPoland
Siek, Jeremy G.
Indiana University, USAUnited States
Siskind, Jeffrey Mark
School of Electrical and Computer Engineering, Purdue University
Sridhar, Meera
University of North Carolina Charlotte, USA
Stanford, Caleb
University of PennsylvaniaUnited States
Stark, Ian
The University of EdinburghUnited Kingdom
Stiévenart, Quentin
Vrije Universiteit Brussel, BelgiumBelgium
Tatlock, Zachary
University of Washington, SeattleUnited States
Toman, John
University of Washington, SeattleUnited States
Touzeau, Valentin
Univ. Grenoble Alpes
Tov, Jesse A.
Northwestern University, Department of Electrical Engineering and Computer Science
Unruh, Dominique
University of Tartu
van de Meent, Jan-Willem
Northeastern UniversityUnited States
Van den Broeck, Guy
University of California, Los Angeles
Verbeek, Freek
Open University of the Netherlands, The Netherlands
Viswanathan, Mahesh
University of Illinois at Urbana-Champaign
Voysey, Ian
Carnegie Mellon University
Winterhalter, Theo
Gallinette / Inria / LS2NFrance
Wu, Xiaodi
University of Oregon, USAUnited States
Wu, Zhilin
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Ying, Mingsheng
University of Technology SydneyAustralia
You, Shu-Hung
Northwestern University, USATaiwan
Zaliva, Vadim
Carnegie Mellon University, USAUnited States