POPL 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (254)

Amal Ahmed Northeastern University, USA United States Committee Member in Program Committee within the WGT-track
Guillaume Allais University of Strathclyde United Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Uri Alon Technion Israel Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Nada Amin Harvard University United States Committee Member in Program Committee within the CPP-track
Matthew Amy Committee Member in Program Committee within the PLaQC-track
Leif Andersen Northeastern University, USA Video Chair in Organizing Committee for POPL 2020
Timos Antonopoulos Yale University United States PC Member in Program Committee within the VMCAI-track
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
Aslan Askarov Aarhus University Committee Member in Program Committee within the PriSC-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
Casper Bach Poulsen Delft University of Technology Co-chair in Program Committee within the PEPM-track
Stephanie Balzer Carnegie Mellon University, USA United States Organizer in Organizing Committee within the PLMW-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
Nick Benton Facebook London United Kingdom Committee Member in Program Committee within the WGT-track
Josh Berdine Facebook Committee Member in Program Committee within the ADSL-track
Frédéric Besson Committee Member in Program Committee within the PriSC-track
Dirk Beyer LMU Munich Germany PC Chair in Program Committee within the VMCAI-track 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
Nikolaj Bjørner Microsoft Research PC Member in Program Committee within the VMCAI-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 Committee Member in Program Committee within the PriSC-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
James Brotherston Committee Member in Program Committee within the ADSL-track
Christopher Brown University of St. Andrews, UK Committee Member in Program Committee within the PADL-track
William E. Byrd University of Alabama at Birmingham, USA United States Committee Member in Program Committee within the PADL-track
Giuseppe Castagna CNRS - Université Paris Diderot, France France Organizer in Organizing Committee within the WGT-track Co-chair in Program Committee within the WGT-track
Pavol Cerny University of Colorado Boulder Slovakia PC Member in Program Committee within the VMCAI-track
Tej Chajed Massachusetts Institute of Technology, USA United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
David Chisnall University of Cambridge Committee Member in Program Committee within the PriSC-track
Stephen Chong Harvard University, USA Committee Member in Program Committee within the PriSC-track
Benjamin W Chung Northeastern University Video Chair in Organizing Committee for POPL 2020
Cristina Cifuentes Oracle Labs Australia Committee Member in Program Committee within the PriSC-track
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
Adriana Compagnoni Stevens Institute of Technology Committee Member in Confirmed speakers (so far) within the PLMW-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
Andrew Cross IBM Research Committee Member in Program Committee within the PLaQC-track
Maryam Dabaghchian University of Utah Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Delphine Demange Univ Rennes, Inria, CNRS, IRISA Committee Member in Program Committee within the CoqPL-track
Stephane Demri CNRS, LSV, ENS Paris-Saclay Committee Member in Program Committee within the ADSL-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 Program Co-Chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Iavor Diatchki Galois, Inc. Committee Member in Program Committee within the PADL-track
Daniel Dietsch University of Freiburg Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Isil Dillig UT Austin United States Committee Member in Confirmed speakers (so far) within the PLMW-track
Rayna Dimitrova University of Leicester, UK PC Member in Program Committee within the VMCAI-track
Alastair Donaldson Google and Imperial College London United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Derek Dreyer MPI-SWS Germany Committee Member in Confirmed speakers (so far) within the PLMW-track
Cezara Drăgoi INRIA, ENS, CNRS France Committee Member in Program Committee within the POPL Research Papers-track
Stefania Dumbrava ENS Rennes/IRISA, ENSIIE Paris-Evry France Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ross Duncan Cambridge Quantum Computing Committee Member in Program Committee within the PLaQC-track
Sandra Dylus University of Kiel, Germany Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Gabriel Ebner Vienna University of Technology, Austria Austria Committee Member in Program Committee within the PADL-track
Constantin Enea Université Paris Diderot France PC Member in Program Committee within the VMCAI-track
Esra Erdem Sabanci University, Turkey Committee Member in Program Committee within the PADL-track
Erik Ernst Google Inc. Denmark Committee Member in Program Committee within the WGT-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
Marco Gaboardi University at Buffalo, SUNY United States Committee Member in Confirmed speakers (so far) within the PLMW-track
Vijay Ganesh University of Waterloo Canada Committee Member in Program Committee within the POPL Research Papers-track
Pierre Ganty IMDEA Software Institute Spain PC Member in Program Committee within the VMCAI-track
Ronald Garcia University of British Columbia Committee Member in Program Committee within the WGT-track
Tal Garfinkel Stanford University Committee Member in Program Committee within the PriSC-track
Deepak Garg Max Planck Institute for Software Systems Germany Committee Member in Steering Committee within the PriSC-track
Martin Gebser University of Potsdam, Germany Committee Member in Program Committee within the PADL-track
Alex Gerdes University of Gothenburg, Sweden Sweden Committee Member in Program Committee within the PADL-track
Klaus Gleissenthall University of California, San Diego Committee Member in Program Committee within the PriSC-track
Anitha Gollamudi Harvard University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Colin Gordon Drexel University United States Committee Member in Program Committee within the POPL Research Papers-track
Nikos Gorogiannis Committee Member in Program Committee within the ADSL-track Co-chair in Organizing Committee within the ADSL-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
Chris Granade Microsoft Committee Member in Program Committee within the PLaQC-track
Michael Greenberg Pomona College Publicity Chair in Organizing Committee for POPL 2020
Benjamin Gregoire INRIA Committee Member in Program Committee within the PriSC-track
Alberto Griggio Fondazione Bruno Kessler Italy PC Member in Program Committee within the VMCAI-track
Arjun Guha University of Massachusetts Amherst Committee Member in Program Committee within the POPL Research Papers-track
Ashutosh Gupta TIFR, India PC Member in Program Committee within the VMCAI-track
Sankha Narayan Guria University of Maryland, College Park United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jennifer Hackett University of Nottingham, UK United Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Bettina Heim Microsoft Committee Member in Program Committee within the PLaQC-track
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Program Committee within the PADL-track
Michael Hicks University of Maryland, College Park United States Organizer in Organizing Committee within the PLaQC-track Committee Member in Steering Committee within the PriSC-track
Andrew Hirsch Cornell University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jan Hoffmann Carnegie Mellon University United States Workshops Co-Chair in Organizing Committee for POPL 2020
Lukas Holik Brno University of Technology Committee Member in Program Committee within the ADSL-track
Cătălin Hriţcu Inria Paris France Program Co-Chair in Program Committee within the CPP-track Committee Member in Steering Committee within the PriSC-track
Justin Hsu University of Wisconsin-Madison, USA United States Organizer in Organizing Committee within the PLMW-track
Yipeng Huang Princeton University United States Committee Member in Program Committee within the PLaQC-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
Zhenjiang Hu Peking University China Co-chair in Program Committee within the PEPM-track
Atsushi Igarashi Kyoto University, Japan Japan Committee Member in Program Committee within the WGT-track
Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes Committee Member in Program Committee within the ADSL-track Co-chair in Organizing Committee within the ADSL-track
Radha Jagadeesan DePaul University Committee Member in Program Committee within the POPL Research Papers-track
Marie-Christine Jakobs TU Darmstadt, Germany PC Member in Program Committee within the VMCAI-track
Limin Jia Carnegie Mellon University United States Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the PriSC-track
Kristoffer Just Arndal Andersen Aarhus University Denmark Technical Support in Organizing Committee for POPL 2020
Ohad Kammar University of Edinburgh United Kingdom Co-chair in Program Committee within the LAFI-track 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
Kristian Kersting Committee Member in Program Committee within the PADL-track
Yoonseung Kim Seoul National University (South Korea) Committee Member 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
Aleks Kissinger Radboud University Committee Member in Program Committee within the PLaQC-track
Wen Kokke University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Michalis Kokologiannakis MPI-SWS, Germany Greece Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ekaterina Komendantskaya Heriot-Watt University, UK Conference Chair in Program Chairs within the PADL-track
Eric Koskinen Stevens Institute of Technology Committee Member in Program Committee within the POPL Research Papers-track
Laura Kovacs Vienna University of Technology (TU Wien) Austria PC Member in Program Committee within the VMCAI-track
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan Taiwan Web Chair in Organizing Committee for POPL 2020 Committee Member in Program Committee within the PADL-track
Robbert Krebbers Delft University of Technology Netherlands Organizer in Organizing Committee within the PLMW-track Co-chair in Organizing Committee within the CoqPL-track
Jan Kretinsky TU Munich, Germany PC Member in Program Committee within the VMCAI-track
Lindsey Kuper University of California, Santa Cruz Committee Member in Confirmed speakers (so far) within the PLMW-track
Ismail Kuru Drexel University United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Markus Kusano Virginia Tech United States PC Member in Program Committee within the VMCAI-track
Ori Lahav Tel Aviv University Student Research Competition Co-Chair in Organizing Committee for POPL 2020 Co-chair in Selection Committee (tentative) within the POPL Student Research Competition-track PC Member in Program Committee within the VMCAI-track 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 Committee Member in Program Committee within the ADSL-track
Xavier Leroy Collège de France France Committee Member in Confirmed speakers (so far) within the PLMW-track
Mohsen Lesani University of California, Riverside Committee Member in Program Committee within the POPL Research Papers-track
Quang Loc Le Teesside University United Kingdom Committee Member in Program Committee within the ADSL-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
Francesca Lisi Committee Member in Program Committee within the PADL-track
Y. Annie Liu Stony Brook University United States Conference Chair in Program Chairs within the PADL-track
Dougal Maclaurin Co-chair in Program Committee within the LAFI-track
Assia Mahboubi INRIA France Committee Member in Program Committee within the CPP-track Co-chair in Organizing Committee within the CoqPL-track
Ravi Mangal Georgia Institute of Technology United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Carole Mann R.S.L Registration in Organizing Committee for POPL 2020
Umang Mathur University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Michael Mislove Tulane Local Chair in Organizing Committee for POPL 2020
David Monniaux CNRS, VERIMAG France PC Member in Program Committee within the VMCAI-track
Stefan Muller Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
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
Santosh Nagarakatte Rutgers University, USA United States Committee Member in Steering Committee within the PriSC-track
Kedar Namjoshi Bell Labs, Nokia PC Member in Program Committee within the VMCAI-track
Aleksandar Nanevski IMDEA Software Institute Spain Committee Member in Program Committee within the ADSL-track
Vivek Nigam Federal University of Paraiba / fortiss Germany Committee Member in Program Committee within the CPP-track
Peter O'Hearn Facebook Committee Member in Program Committee within the ADSL-track
Saswat Padhi University of California, Los Angeles United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
James Parker University of Maryland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jihyeok Park KAIST, South Korea South Korea Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Daniel Patterson Northeastern University United States Committee Member in Program Committee within the PriSC-track
Jennifer Paykin Galois, Inc. United States Committee Member in Program Committee within the PLaQC-track
Dmitry Petrashko Stripe Committee Member in Program Committee within the WGT-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
Ruzica Piskac Yale University, USA Steering Committee Member in Steering Committee within the VMCAI-track
Andreas Podelski University of Freiburg, Germany Germany PC Member in Program Committee within the VMCAI-track Steering Committee Chair in Steering Committee within the VMCAI-track
Nadia Polikarpova University of California, San Diego United States PC Member in Program Committee within the VMCAI-track Committee Member in Program Committee within the ADSL-track
Hernan Ponce de Leon fortiss GmbH Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Enrico Pontelli Committee Member in Program Committee within the PADL-track
Jonathan Protzenko Microsoft Research, Redmond United States Committee Member in Program Committee within the PriSC-track
Sylvie Putot École Polytechnique Committee Member in Program Committee within the POPL Research Papers-track
David Pym University College London Committee Member in Program Committee within the ADSL-track
Shaz Qadeer Facebook United States PC Member in Program Committee within the VMCAI-track
Azalea Raad MPI-SWS, Germany United Kingdom Committee Member in Selection Committee (tentative) within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track
Gabriel Radanne University of Freiburg, Germany France Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Vincent Rahli SnT Committee Member in Program Committee within the CPP-track
Robert Rand University of Maryland United States Organizer in Organizing Committee within the PLaQC-track Chair in Program Committee within the PLaQC-track
Francesco Ranzato University of Padova Italy Committee Member in Program Committee within the POPL Research Papers-track
Tamara Rezk Inria France Committee Member in Steering Committee within the PriSC-track
Francesco Ricca Committee Member in Program Committee within the PADL-track
Manuel Rigger ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 Committee Member in Program Committee within the CoqPL-track
Christian Roldán Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tiark Rompf Purdue University United States Committee Member in Program Committee within the POPL Research Papers-track
Neil Julien Ross Dalhousie University Canada Committee Member in Program Committee within the PLaQC-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
Daniel Schwartz-Narbonne Amazon, n.n. PC Member in Program Committee within the VMCAI-track
Martina Seidl Johannes Kepler University Linz, Austria PC Member in Program Committee within the VMCAI-track
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Committee Member in Program Committee within the CPP-track
Natasha Sharygina USI Lugano, Switzerland Switzerland PC Member in Program Committee within the VMCAI-track
Jeremy G. Siek Indiana University, USA United States Organizer in Organizing Committee within the WGT-track Co-chair in Program Committee within the WGT-track Committee Member in Program Committee within the POPL Research Papers-track
Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France PC Member in Program Committee within the VMCAI-track Committee Member in Program Committee within the ADSL-track
Alexandra Silva University College London United Kingdom Committee Member in Selection Committee (tentative) within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track
Calvin Smith University of Wisconsin - Madison United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Michael Soegtrop Intel Committee Member in Program Committee within the CoqPL-track
Armando Solar-Lezama MIT CSAIL United States Committee Member in Selection Committee (tentative) within the POPL Student Research Competition-track 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
Deian Stefan University of California San Diego Program Co-Chair in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Jan Strejcek Masaryk University Czech Republic PC Member in Program Committee within the VMCAI-track
Pierre-Yves Strub Ecole Polytechnique France Committee Member in Program Committee within the POPL Research Papers-track
Alexander J. Summers ETH Zurich PC Member in Program Committee within the VMCAI-track
Nikhil Swamy Microsoft Research United States Committee Member in Program Committee within the CPP-track
David Swasey MPI-SWS Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Nicolas Tabareau Inria France Committee Member in Program Committee within the CPP-track
Éric Tanter University of Chile & Inria Paris Chile Committee Member in Program Committee within the WGT-track Committee Member in Program Committee within the CoqPL-track
Joseph Tassarotti Boston College Committee Member in Program Committee within the CoqPL-track
Christine Tasson University Paris Diderot Committee Member in Program Committee within the POPL Research Papers-track
Michael Tautschnig Amazon Web Services PC Member in Program Committee within the VMCAI-track
Hanneli Tavante Student Volunteer Co-Chair in Organizing Committee for POPL 2020
Tuncay Tekle Committee Member in Program Committee within the PADL-track
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
Sam Tobin-Hochstadt Indiana University United States Committee Member in Program Committee within the WGT-track
Andrew Tolmach Portland State University Committee Member in Program Committee within the CoqPL-track
Matías Toro University of Chile Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Dmitriy Traytel ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track 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
Dominique Unruh University of Tartu Committee Member in Program Committee within the PLaQC-track
Caterina Urban INRIA & École Normale Supérieure France PC Member in Program Committee within the VMCAI-track
Viktor Vafeiadis MPI-SWS, Germany Greece Committee Member in Program Committee within the CoqPL-track
Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay France Committee Member in Program Committee within the PLaQC-track
Marco Vassena CISPA Helmholtz Center for Information Security Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the PriSC-track
Niki Vazou IMDEA Software Institute Student Research Competition Co-Chair in Organizing Committee for POPL 2020 Committee Member in Program Committee within the WGT-track Co-chair in Selection Committee (tentative) within the POPL Student Research Competition-track
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
Eric Walkingshaw Oregon State University United States Committee Member in Program Committee within the WGT-track
Toby Walsh Committee Member in Program Committee within the PADL-track
Di Wang Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Shuai Wang HKUST/ETH Zurich Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Yuepeng Wang University of Texas at Austin Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Heike Wehrheim Paderborn University Germany PC Member in Program Committee within the VMCAI-track
Stephanie Weirich University of Pennsylvania, USA United States Committee Member in Program Committee within the CoqPL-track
Jan Wielemaker Committee Member in Program Committee within the PADL-track
Thomas Wies New York University PC Member in Program Committee within the VMCAI-track Committee Member in Program Committee within the ADSL-track Committee Member in Program Committee within the POPL Research Papers-track
Xiaodi Wu University of Maryland, College Park United States Organizer in Organizing Committee within the PLaQC-track
Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Committee Member in Program Committee within the ADSL-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
Qianchuan Ye Purdue University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mingsheng Ying University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University. Australia Committee Member in Program Committee within the PLaQC-track
Nobuko Yoshida Imperial College London Organizer in Organizing Committee within the PLMW-track
Francesco Zappa Nardelli Inria France Committee Member in Program Committee within the WGT-track
Steve Zdancewic University of Pennsylvania United States Committee Member in Program Committee within the POPL Research Papers-track
Will Zeng United States Committee Member in Program Committee within the PLaQC-track
Beta Ziliani FAMAF, UNC and CONICET Argentina Committee Member in Program Committee within the POPL Research Papers-track
Lenore Zuck UIC United States PC Member in Program Committee within the VMCAI-track Steering Committee Member in Steering Committee within the VMCAI-track
Damien Zufferey MPI-SWS PC Chair in Program Committee within the VMCAI-track Co-chair in Organizing Committee within the VMCAI-track
Florian Zuleger TU Vienna Austria Committee Member in Program Committee within the ADSL-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 (254)

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums