POPL 2017
Sun 15 - Sat 21 January 2017
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (681)

Ahman, Danel
University of EdinburghEstonia
Al-Sibahi, Ahmad Salim
IT University of Copenhagen, DenmarkDenmark
Albarghouthi, Aws
University of Wisconsin - Madison
Angiuli, Carlo
Carnegie Mellon University
Asakura, Izumi
Tokyo Institute of Technology, JapanJapan
Biboudis, Aggelos
University of AthensGreece
Blackwell, Alan
University of CambridgeUnited Kingdom
Blelloch, Guy E.
Carnegie Mellon University
Bloem, Roderick
Institute of Software Technology, Graz University of Technology
Botbol, Vincent
CEA LIST + LIP6 Université Pierre & Marie Curie
Bove, Ana
Chalmers University of Technology, Sweden
Bowman, William J.
Northeastern UniversityUnited States
Bride, Hadrien
Femto-ST / Université de Franche-Comté
Briggs, Ian
School of Computing, University of Utah
C
Cai, Yufei
University of Tübingen, Germany
Calderon, Jose
Galois, Inc.United States
Chang, Stephen
Northeastern University
Cheung, Alvin
University of Washington
Chiang, Wei-Fan
School of Computing, University of Utah
Chin, Wei-Ngan
National University of Singapore
Conchon, Sylvain
LRI, Université Paris-SudFrance
Constantinides, George A.
Imperial College London, UK
Cortesi, Agostino
Università Ca' Foscari VeneziaItaly
Costantini, Stefania
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila
Coti, Camille
LIPN, Université Paris 13France
Darais, David
University of Maryland, USAUnited States
Das, Ankush
Carnegie Mellon UniversityUnited States
De Gasperis, Giovanni
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica
de Moura, Leonardo
Microsoft Research, Redmond
Devietti, Joseph
University of Pennsylvania
Donaldson, Alastair F.
Imperial College LondonUnited Kingdom
Dudenhefner, Andrej
Technical University Dortmund
Dundua, Besik
Institute of Applied Mathematics, Tbilisi State University
Dunfield, Jana
University of British ColumbiaCanada
E
Ebner, Gabriel
Vienna University of TechnologyAustria
Ebrahimi, Masoud
Institute of Applied Information Processing and Communications, Graz University of TechnologyAustria
Feng, Xinyu
University of Science and Technology of China
Feng, Yu
University of Texas at Austin, USAChina
Fisher, Jasmin
Microsoft Research
Flanagan, Cormac
University of California, Santa CruzIreland
Ghica, Dan
University of BirminghamUnited Kingdom
Greenman, Ben
Northeastern UniversityUnited States
Grigore, Radu
University of KentUnited Kingdom
Grumberg, Orna
Technion – Israel Institute of Technology
Gurfinkel, Arie
University of WaterlooCanada
Hahn, Ernst Moritz
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Hamza, Jad
LIAFA, Université Paris Diderot
Hilton, Michael
Oregon State University, USAUnited States
Hutton, Graham
University of NottinghamUnited Kingdom
J
Jacobs, Bart
iMinds - Distrinet, KU LeuvenBelgium
Jafery, Khurram A.
University of British Columbia
Jain, Rahul
Tata Institute of Fundamental Research
Kang, Jeehoon
Seoul National UniversityKorea, South
Kifer, Daniel
Dept. of Computer Science and Engineering, Penn State University
Klin, Bartek
University of Warsaw
Knauth, Alex
Northeastern University
Kouchnarenko, Olga
Femto-ST / Université de Franche-Comté
Kunčar, Ondřej
Technische Universität München, Germany
Lanvin, Victor
ENS Paris-Saclay
Liang, Hongjin
University of Science and Technology of China
Lidbury, Christopher
Imperial College London
Liu, Xinxin
Institute of software, Chinese academy of sciences
Madhusudan, P.
University of Illinois at Urbana-ChampaignUnited States
Maillard, Kenji
Inria Paris, ENS Paris, and Microsoft Research
Malik, Sharad
Princeton University
Manevich, Roman
Ben-Gurion University of the NegevIsrael
Mansky, William
University of Pennsylvania
Martínez, Guido
CIFASIS-CONICET, ArgentinaArgentina
Matsushita, Tsubasa
Shibaura Institute of Technology
McLaughlin, Craig
The University of Edinburgh
Might, Matthew
University of Utah; Harvard Medical School; The White HouseUnited States
Miller, Dale
INRIA Saclay and LIX
Moerman, Joshua
Radboud University
Mukund, Madhavan
Chennai Mathematical InstituteIndia
Muscholl, Anca
Université de Bordeaux / LaBRI
Myreen, Magnus O.
Chalmers University of Technology, Sweden
N
Nagarakatte, Santosh
Rutgers University, USAUnited States
Nandi, Chandrakana
University of Washington, USAIndia
Nazzicone, Giulio
Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica
New, Max
Northeastern University
Norrish, Michael
Data61 at CSIRO, AustraliaAustralia
O
Oliva, Paulo
Queen Mary University of London
Ostermann, Klaus
University of Tübingen, GermanyGermany
Palladinos, Nick
Nessos Information Technologies, SA
Palsberg, Jens
University of California, Los Angeles
Paulson, Lawrence
University of CambridgeUnited Kingdom
Peng, Yuanfeng
University of Pennsylvania
Petrucciani, Tommaso
DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, FranceItaly
Peureux, Fabien
Femto-ST / Université de Franche-Comté + Smartesting S&S
Rakamaric, Zvonimir
University of UtahUnited States
Rand, Robert
University of PennsylvaniaUnited States
Raskin, Jean-François
Université Libre de Bruxelles
Rehof, Jakob
Technical University Dortmund
Reisenberger-Hagmayer, Klaus
Johannes Kepler University Linz
Robillard, Simon
Chalmers University of TechnologySweden
Roesch, Jared
University of Washington, USAUnited States
Rute, Jason M.
Pennsylvania State University
S. Baranowski, Marek
University of UtahUnited States
Sampson, Adrian
Cornell UniversityUnited States
Sankaranarayanan, Sriram
University of Colorado, Boulder
Savary Belanger, Olivier
Princeton UniversityCanada
Scully, Ziv
Carnegie Mellon UniversityUnited States
Seidl, Helmut
Technische Universität München
Sharma, Tushar
University of Wisconsin - Madison, USA
Singh, Gagandeep
ETH Zurich, SwitzerlandIndia
Solovyev, Alexey
School of Computing, University of Utah
Sorensen, Tyler
Imperial College LondonUnited Kingdom
Szynwelski, Michał
University of Warsaw
Tanter, Éric
University of Chile, Chile
Tarau, Paul
University of North TexasUnited States
Tatlock, Zachary
University of Washington, SeattleUnited States
Tribastone, Mirco
IMT Institute for Advanced Studies Lucca, Italy
Tripp, Omer
IBM Thomas J. Watson Research CenterIsrael
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
U
Ullrich, Sebastian
Karlsruhe Institute of TechnologyGermany
Van den Broeck, Guy
University of California, Los Angeles
Van Horn, David
University of Maryland, College Park
Verbeek, Freek
Open University of the Netherlands, The Netherlands
Vitek, Jan
Northeastern UniversitySwitzerland
Voronkov, Andrei
University of Manchester
Wang, Yuepeng
University of Texas at Austin
Weaver, Matthew
Princeton University
Weirich, Stephanie
University of PennsylvaniaUnited States
Wickerson, John
Imperial College LondonUnited Kingdom
Wilson, Todd
California State University Fresno
Ying, Mingsheng
University of Technology Sydney, Australia
Ying, Shenggang
University of Technology Sydney, Australia
Z
Zahn, Philipp
University of St. Gallen
Zhang, Danfeng
Pennsylvania State UniversityUnited States
Zhang, Wenhui
Institute of software, Chinese academy of sciences
Zhou, Neng-Fa
CUNY Brooklyn College and Graduate Center
Ziliani, Beta
FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina
Zimmermann, Théo
IRIF, Université Paris DiderotFrance