POPL 2017 Contributors - POPL 2017 (original) (raw)

IT University of Copenhagen

RWTH Aachen University Germany

University of Edinburgh Estonia

University of Wisconsin-Madison

IT University of Copenhagen, Denmark Denmark

University of Wisconsin - Madison

Carnegie Mellon University United States

University College London France

Radboud University Nijmegen France

Data61,CSIRO (formerly NICTA) and UNSW Australia

Carnegie Mellon University

Tokyo Institute of Technology

Universidad de la Rioja, Spain

Tokyo Institute of Technology, Japan Japan

University of Bologna, Italy

Stevens Institute of Technology

University of Strathclyde

Carnegie Mellon University

University of Pennsylvania, USA United States

Stanford University United States

University of Texas, Austin United States

University of Kent United Kingdom

University of Ljubljana Slovenia

University of Athens Greece

University of Cambridge United Kingdom

University of Rennes 1, France France

Carnegie Mellon University

Institute of Software Technology, Graz University of Technology

CEA LIST + LIP6 Université Pierre & Marie Curie

IRIF, Université Paris Diderot France

Chalmers University of Technology, Sweden

Northeastern University United States

IT University of Copenhagen, Denmark

Femto-ST / Université de Franche-Comté

School of Computing, University of Utah

C

University of Tübingen, Germany

Galois, Inc. United States

Paris Diderot University & CNRS Italy

University of Colorado Boulder

School of Computing, University of Utah

National University of Singapore

Indiana University United States

LRI, Université Paris-Sud France

Imperial College London, UK

Università Ca' Foscari Venezia Italy

Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila

LIPN, Université Paris 13 France

Carnegie Mellon University

D

University of Wisconsin–Madison Italy

University College London

University of Bologna, France

University of Verona, Italy

University of Maryland, USA United States

Carnegie Mellon University United States

Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica

Microsoft Research, Redmond

Microsoft Research United Kingdom

University of Pennsylvania

iMinds - Distrinet, KU Leuven Belgium

University of Washington United States

Imperial College London United Kingdom

University of Wisconsin-Madison

Technical University Dortmund

Institute of Applied Mathematics, Tbilisi State University

University of British Columbia Canada

Cisco, Indiana University

Vienna University of Technology Austria

LIAFA, Université Paris Diderot

Tel Aviv University Israel

University of Science and Technology of China

University of Texas at Austin, USA China

University of California, Santa Cruz Ireland

University of Utah United States

Cornell University United States

University of Cambridge, UK

Gamalon and Borelian United States

University of British Columbia

University of Birmingham United Kingdom

University of Verona, Italy

University of Lyon & LIP, France France

Microsoft Research and University of Edinburgh United Kingdom

Northeastern University United States

University of Kent United Kingdom

University of Washington United States

Technion – Israel Institute of Technology

University of Waterloo Canada

Technische Universität Wien

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

University of Colorado, Boulder United States

LIAFA, Université Paris Diderot

University of Maryland at College Park, USA

Oregon State University, USA United States

Universität Freiburg Germany

Carnegie Mellon University United States

Brno University of Technology

National Institute of Informatics Japan

Chalmers University of Technology

University of Twente Netherlands

Seoul National University Korea, South

University of Nottingham United Kingdom

Technical University of Darmstadt

Technische Universität München Germany

VERIMAG, CNRS, Université Grenoble-Alpes

J

iMinds - Distrinet, KU Leuven Belgium

University of British Columbia

Tata Institute of Fundamental Research

Netherlands Defence Academy

University of California, San Diego

Carnegie Mellon University China

Chalmers University of Technology

University of Copenhagen, Danmark

SRI International United States

University of Tsukuba, Japan Japan

Seoul National University Korea, South

LRI, Université Paris-Sud France

University College London

Dept. of Computer Science and Engineering, Penn State University

Princeton University United States

Radboud University Nijmegen

University of Tokyo, Japan

Femto-ST / Université de Franche-Comté

Chalmers University of Technology

Cornell University United States

Delft University of Technology, Netherlands Netherlands

Cornell University United States

Technische Universität München, Germany

L

Vienna University of Technology

Microsoft Research India India

University of Pennsylvania

Microsoft Research United States

Brno University of Technology

University of California, Riverside

University of Waterloo, Canada

University of Science and Technology of China

Institute of software, Chinese academy of sciences

Stony Brook University United States

University of Illinois at Urbana-Champaign United States

Inria Paris, ENS Paris, and Microsoft Research

Ben-Gurion University of the Negev Israel

Massachusetts Institute of Technology

University of Pennsylvania

Carnegie Mellon University

IRIT, Université Paul Sabatier France

CIFASIS-CONICET, Argentina Argentina

University of Verona, Italy Italy

Tokyo Institute of Technology

Shibaura Institute of Technology

The University of Edinburgh

University of Utah; Harvard Medical School; The White House United States

Ecole Normale Supérieure de Lyon

Indian Institute of Science

Chennai Mathematical Institute India

University of Warwick, UK

Université de Bordeaux / LaBRI

Chalmers University of Technology, Sweden

N

Rutgers University, USA United States

University of Washington, USA India

Stevens Institute of Technology

Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica

Imperial College London United Kingdom

LRI, Université Paris-Sud

Federal University of Paraiba

Data61 at CSIRO, Australia Australia

O

Queen Mary University of London

Carnegie Mellon University United States

University of Tübingen, Germany Germany

University of Kent United Kingdom

P

Tel Aviv University Israel

IRIF, Université Paris Diderot Italy

Nessos Information Technologies, SA

University of California, Los Angeles

Princeton University, USA United States

University of Cambridge United Kingdom

University of Pennsylvania

Alan Turing Institute United Kingdom

DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France Italy

Femto-ST / Université de Franche-Comté + Smartesting S&S

Carnegie Mellon University

University of Pennsylvania United States

Radboud University Nijmegen

University of Freiburg, Germany Germany

MIT CSAIL, USA United States

Microsoft Research United States

NASA Ames Research Center

University of Utah United States

University of Pennsylvania United States

University of Padova Italy

Université Libre de Bruxelles

DIKU, University of Copenhagen Denmark

Microsoft Research India India

Vienna University of Technology

Vienna University of Technology

Technical University Dortmund

Carnegie Mellon University

Johannes Kepler University Linz

University of Wisconsin - Madison and Grammatech Inc. United States

University of Leicester, UK

Tel Aviv University Israel

Northeastern University United States

INRIA/CNRS/ENS Paris France

University of Pennsylvania, USA United States

Chalmers University of Technology Sweden

University of Washington, USA United States

Brno University of Technology

Purdue University United States

University College London United Kingdom

University of California, Berkeley

Pennsylvania State University

Microsoft Research United Kingdom

IRIF, Université Paris Diderot

S

Indian Institute of Science

University of Utah United States

Tel Aviv University Israel

Georgia Institute of Technology

University College London

Cornell University United States

Chalmers University of Technology

University of Colorado, Boulder

University of St. Andrews, UK

Shibaura Institute of Technology

University of Tokyo, Japan

Princeton University Canada

Northeastern University United States

University of Southern Denmark

Carnegie Mellon University United States

Technische Universität München

VERIMAG, CNRS, Université Grenoble-Alpes

University College London United Kingdom

University of Wisconsin - Madison, USA

Tel Aviv university Israel

Indiana University Bloomington

University College London United Kingdom

ETH Zurich, Switzerland India

University of Cambridge United Kingdom

School of Computing, University of Utah

Imperial College London United Kingdom

Georgia Institute of Technology

École Polytechnique France

University of California, Davis United States

University of Wisconsin-Madison

Carnegie Mellon University

University of Tokyo, Japan Japan

Microsoft Research United States

IHPC at A*STAR, Singapore

University of Chile, Chile

University of North Texas United States

Austrian Institute of Technology Austria

University of Washington, Seattle United States

McGill University, Canada

University of Freiburg Germany

imec - Distrinet, KU Leuven Belgium

Indiana University United States

Galois, Inc. United States

IMT Institute for Advanced Studies Lucca, Italy

IBM Thomas J. Watson Research Center Israel

University of Tokyo, Japan

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

U

Karlsruhe Institute of Technology Germany

LRI, CentraleSupelec, Univ. Paris Saclay France

University of California, Los Angeles

University of Maryland, College Park

IMT School for Advanced Studies Lucca, Italy Italy

Open University of the Netherlands, The Netherlands

UC San Diego United States

Northeastern University Switzerland

Brno University of Technology

Carnegie Mellon University

Microsoft Research, Cambridge

Princeton University United States

University of Texas at Austin

University of Pennsylvania United States

Technische Universität Wien

Imperial College London United Kingdom

University of Washington United States

California State University Fresno

University of Pennsylvania

University of Washington United States

University of Oregon, USA United States

IT University of Copenhagen, Denmark

University of Cambridge, UK

Carnegie Mellon University

University of Technology Sydney, Australia

University of Technology Sydney, Australia

Imperial College London, UK

Z

University of St. Gallen

University of Pennsylvania United States

Pennsylvania State University United States

Institute of Software, Chinese Academy of Sciences

University of California, Davis United States

Institute of software, Chinese academy of sciences

CUNY Brooklyn College and Graduate Center

FAMAF, UNC (Argentina) / CONICET (Argentina) Argentina

IRIF, Université Paris Diderot France