POPL 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (106)

Nada Amin University of Cambridge United Kingdom Committee Member in Program Committee within the CPP-track
Leif Andersen Northeastern University, USA Video Chair in Organizing Committee for POPL 2020
Andrew Appel Princeton Committee Member in Program Committee within the POPL Research Papers-track
Jesús Aransay Universidad de la Rioja, Spain Committee Member in Program Committee within the CPP-track
Mauricio Ayala-Rincon University of Brasília Brazil Committee Member in Program Committee within the CPP-track
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Committee Member in Program Committee within the POPL Research Papers-track
Osbert Bastani University of Pennsylvania United States Committee Member in Program Committee within the POPL Research Papers-track
Andrej Bauer University of Ljubljana Slovenia Committee Member in Program Committee within the POPL Research Papers-track
Dirk Beyer LMU Munich Germany Co-chair in Organizing Committee within the VMCAI-track
Lars Birkedal Aarhus University Program Chair in Organizing Committee for POPL 2020 PC Chair in Program Committee within the POPL Research Papers-track
Jasmin Christian Blanchette Vrije Universiteit Amsterdam Netherlands Program Co-Chair in Program Committee within the CPP-track
Sandrine Blazy Univ Rennes- IRISA France Committee Member in Program Committee within the POPL Research Papers-track
Rastislav Bodik University of Washington United States Committee Member in Program Committee within the POPL Research Papers-track
Filippo Bonchi University of Pisa Committee Member in Program Committee within the POPL Research Papers-track
Bor-Yuh Evan Chang University of Colorado Boulder Committee Member in Program Committee within the POPL Research Papers-track
Arthur Charguéraud Inria France Committee Member in Program Committee within the POPL Research Papers-track
Benjamin W Chung Northeastern University Video Chair in Organizing Committee for POPL 2020
Matteo Cimini University of Massachusetts Lowell United States Committee Member in Program Committee within the POPL Research Papers-track
Jesper Cockx Chalmers \| University of Gothenburg Sweden Committee Member in Program Committee within the POPL Research Papers-track
Liron Cohen Cornell University United States Committee Member in Program Committee within the CPP-track
Tino Cortesi Steering Committee Member in Steering Committee within the VMCAI-track
Patrick Cousot Steering Committee Member in Steering Committee within the VMCAI-track
Ugo Dal Lago University of Bologna, Italy / Inria, France Italy Committee Member in Program Committee within the POPL Research Papers-track
Benjamin Delaware Purdue University Artifact Evaluation Co-Chair in Organizing Committee for POPL 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Dominique Devriese Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the POPL Research Papers-track
Alastair Donaldson Google and Imperial College London United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Cezara Drăgoi INRIA, ENS, CNRS France Committee Member in Program Committee within the POPL Research Papers-track
Jean-Christophe Filliatre CNRS, Paris, France Committee Member in Program Committee within the CPP-track
Jeffrey S. Foster Tufts University United States Committee Member in Program Committee within the POPL Research Papers-track
Nate Foster Cornell University United States Industrial Relations Co-Chair in Organizing Committee for POPL 2020
Cédric Fournet Microsoft Research Committee Member in Program Committee within the POPL Research Papers-track
Vijay Ganesh University of Waterloo Canada Committee Member in Program Committee within the POPL Research Papers-track
Colin Gordon Drexel University United States Committee Member in Program Committee within the POPL Research Papers-track
Alexey Gotsman IMDEA Software Institute Spain Committee Member in Program Committee within the POPL Research Papers-track
Adam Grabowski University of Bialystok Committee Member in Program Committee within the CPP-track
Michael Greenberg Pomona College Publicity Chair in Organizing Committee for POPL 2020
Arjun Guha University of Massachusetts, Amherst Committee Member in Program Committee within the POPL Research Papers-track
Jan Hoffmann Carnegie Mellon University United States Workshops Co-Chair in Organizing Committee for POPL 2020
Cătălin Hriţcu Inria Paris France Program Co-Chair in Program Committee within the CPP-track
Warren Hunt University of Texas Committee Member in Program Committee within the CPP-track
Chung-Kil Hur Seoul National University Korea, South Committee Member in Program Committee within the POPL Research Papers-track
Radha Jagadeesan DePaul University Committee Member in Program Committee within the POPL Research Papers-track
Limin Jia Carnegie Mellon University United States Committee Member in Program Committee within the POPL Research Papers-track
Kristoffer Just Arndal Andersen Aarhus University Denmark Technical Support in Organizing Committee for POPL 2020
Ohad Kammar University of Edinburgh United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Jeehoon Kang KAIST South Korea Artifact Evaluation Co-Chair in Organizing Committee for POPL 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Zachary Kincaid Princeton University United States Workshops Co-Chair in Organizing Committee for POPL 2020
Eric Koskinen Stevens Institute of Technology Committee Member in Program Committee within the POPL Research Papers-track
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan Taiwan Web Chair in Organizing Committee for POPL 2020
Ori Lahav Tel Aviv University Student Research Competition Co-Chair in Organizing Committee for POPL 2020 Committee Member in Program Committee within the CPP-track
Shuvendu K. Lahiri Microsoft Research Committee Member in Program Committee within the POPL Research Papers-track
Peter Lammich Technische Universität München Committee Member in Program Committee within the CPP-track
Dominique Larchey-Wendling CNRS, LORIA France Committee Member in Program Committee within the CPP-track
Mohsen Lesani University of California, Riverside Committee Member in Program Committee within the POPL Research Papers-track
Hongjin Liang Nanjing University, China China Committee Member in Program Committee within the CPP-track
Sam Lindley The University of Edinburgh and Imperial College London United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Assia Mahboubi INRIA France Committee Member in Program Committee within the CPP-track
Carole Mann R.S.L Registration in Organizing Committee for POPL 2020
Michael Mislove Tulane Local Chair in Organizing Committee for POPL 2020
Cesar Munoz NASA Committee Member in Program Committee within the CPP-track
Andrzej Murawski University of Oxford United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Committee Member in Program Committee within the POPL Research Papers-track
Carlos Mão de Ferro Lasige / Faculty of Sciences, Universidade de Lisboa Portugal Student Volunteer Co-Chair in Organizing Committee for POPL 2020
Vivek Nigam Federal University of Paraiba / fortiss Germany Committee Member in Program Committee within the CPP-track
Brigitte Pientka McGill University General Chair in Organizing Committee for POPL 2020
Benjamin C. Pierce University of Pennsylvania United States Committee Member in Program Committee within the CPP-track
Andreas Podelski University of Freiburg, Germany Germany Steering Committee Chair in Steering Committee within the VMCAI-track
Sylvie Putot École Polytechnique Committee Member in Program Committee within the POPL Research Papers-track
Azalea Raad MPI-SWS, Germany United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Vincent Rahli SnT Committee Member in Program Committee within the CPP-track
Francesco Ranzato University of Padova Italy Committee Member in Program Committee within the POPL Research Papers-track
Noam Rinetzky Tel Aviv University Israel Committee Member in Program Committee within the POPL Research Papers-track
Xavier Rival INRIA/CNRS/ENS Paris France Committee Member in Program Committee within the POPL Research Papers-track
Christine Rizkallah UNSW Sydney Australia Committee Member in Program Committee within the CPP-track
Tiark Rompf Purdue University United States Committee Member in Program Committee within the POPL Research Papers-track
Sukyoung Ryu KAIST, South Korea Korea, South Committee Member in Program Committee within the POPL Research Papers-track
Roopsha Samanta Purdue University Committee Member in Program Committee within the POPL Research Papers-track
Susmit Sarkar University of St. Andrews Committee Member in Program Committee within the POPL Research Papers-track
Annabel Satin P.C.K. Treasurer & Conference Manager in Organizing Committee for POPL 2020
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Committee Member in Program Committee within the CPP-track
Jeremy G. Siek Indiana University, USA United States Committee Member in Program Committee within the POPL Research Papers-track
Alexandra Silva University College London United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Armando Solar-Lezama MIT CSAIL United States Committee Member in Program Committee within the POPL Research Papers-track
Kathrin Stark Saarland University, Germany Germany Committee Member in Program Committee within the CPP-track
Pierre-Yves Strub Ecole Polytechnique France Committee Member in Program Committee within the POPL Research Papers-track
Nikhil Swamy Microsoft Research United States Committee Member in Program Committee within the CPP-track
Nicolas Tabareau Inria France Committee Member in Program Committee within the CPP-track
Christine Tasson University Paris Diderot Committee Member in Program Committee within the POPL Research Papers-track
Hanneli Tavante Student Volunteer Co-Chair in Organizing Committee for POPL 2020
Peter Thiemann University of Freiburg, Germany Committee Member in Program Committee within the POPL Research Papers-track
Amin Timany imec-Distrinet KU-Leuven Belgium Web Chair in Organizing Committee for POPL 2020
Dmitriy Traytel ETH Zurich Switzerland Committee Member in Program Committee within the CPP-track
Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy Committee Member in Program Committee within the POPL Research Papers-track
Hiroshi Unno University of Tsukuba Japan Committee Member in Program Committee within the POPL Research Papers-track
Niki Vazou IMDEA Software Institute Student Research Competition Co-Chair in Organizing Committee for POPL 2020
Margus Veanes Microsoft Research Committee Member in Program Committee within the POPL Research Papers-track
David Walker Princeton University United States Industrial Relations Co-Chair in Organizing Committee for POPL 2020
Thomas Wies New York University Committee Member in Program Committee within the POPL Research Papers-track
Eran Yahav Technion Israel Committee Member in Program Committee within the POPL Research Papers-track
Akihisa Yamada Committee Member in Program Committee within the CPP-track
Steve Zdancewic University of Pennsylvania United States Committee Member in Program Committee within the POPL Research Papers-track
Beta Ziliani FAMAF, UNC and CONICET Argentina Committee Member in Program Committee within the POPL Research Papers-track
Lenore Zuck Steering Committee Member in Steering Committee within the VMCAI-track
Damien Zufferey MPI-SWS Co-chair in Organizing Committee within the VMCAI-track
Roberto Zunino Committee Member in Program Committee within the CPP-track
Floris van Doorn University of Pittsburgh United States Committee Member in Program Committee within the CPP-track

POPL 2020 Contributors

Results (106)

Tracks

Co-hosted Conferences