POPL 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (305)

Andreas Abel Gothenburg University Sweden Committee Member in Program Committee within the PEPM-track
Amal Ahmed Northeastern University, USA United States Committee Member in Organizers within the POPL W@POPL-track 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 Committee Member in Program Committee within the PEPM-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 Committee Member in Program Committee within the PEPM-track
Matthew Amy Committee Member in Program Committee within the PLanQC-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 Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track
Casper Bach Poulsen Delft University of Technology Co-chair in PC Chairs within the PEPM-track Co-chair in Program Committee within the PEPM-track
Patrick Bahr IT University of Copenhagen Denmark Committee Member in Program Committee within the PEPM-track
Stephanie Balzer Carnegie Mellon University, USA United States Committee Member in Organizers within the POPL W@POPL-track 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 PC Chair in Organizing Committee within the VMCAI-track
Karthikeyan Bhargavan Inria, France Committee Member in Organizing Committee within the HASE-track
Aggelos Biboudis EPFL, Switzerland Switzerland Committee Member in Program Committee within the PEPM-track
Lars Birkedal Aarhus University Program Chair in Organizing Committee for POPL 2020 PC Chair in Program Committee within the POPL Research Papers-track
Aleš Bizjak Aarhus University Denmark Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Nikolaj Bjørner Microsoft Research PC Member in Program Committee within the VMCAI-track
Jasmin 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
Martin Bromberger MPI-INF Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
James Brotherston Committee Member in Program Committee within the ADSL-track
Christopher Brown University of St. Andrews, UK United Kingdom 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 \| Amazon Committee Member in Program Committee within the POPL Research Papers-track
James Chapman IOHK Committee Member in Program Committee within the PADL-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 Ben-Gurion University of the Negev Israel 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 PLanQC-track
Maryam Dabaghchian University of Utah Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Artifact-Evaluation 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
Olivier Danvy Yale-NUS College, Singapore Singapore Committee Member in Program Committee within the PEPM-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
Simon Dierl Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Daniel Dietsch University of Freiburg Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Artifact Evaluation Chair in Artifact-Evaluation Committee within the VMCAI-track Artifact Evaluation Chair in Organizing Committee within the VMCAI-track
Isil Dillig University of Texas Austin United States Committee Member in Confirmed speakers (so far) within the PLMW-track
Rayna Dimitrova University of Leicester, UK Committee Member in Artifact-Evaluation Committee within the VMCAI-track PC Member in Program Committee within the VMCAI-track
Alastair Donaldson 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 ENSIIE Paris-Évry 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 PLanQC-track
Sandra Dylus University of Kiel, Germany Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Gabriel Ebner Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the PADL-track
Constantin Enea IRIF, University Paris Diderot & CNRS 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
Alvaro Fernando García Committee Member in Program Committee within the PEPM-track
Jean-Christophe Filliatre CNRS, Paris France Committee Member in Program Committee within the CPP-track
Mathias Fleury MPI-INF Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-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
Juliana Franco Microsoft Research, Cambridge United Kingdom Committee Member in Confirmed panelists (so far) within the PLMW-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 Klagenfurt, Austria Austria 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
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in Program Committee within the PEPM-track
Klaus Gleissenthall University of California, San Diego Committee Member in Program Committee within the PriSC-track
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee within the PEPM-track
Anitha Gollamudi Harvard University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Hannah Gommerstadt Vassar College Committee Member in Confirmed panelists (so far) within the PLMW-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 Poland Committee Member in Program Committee within the CPP-track
Chris Granade Microsoft Committee Member in Program Committee within the PLanQC-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
Dan Grossman University of Washington United States Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-track
Torsten Grust University of Tübingen Germany Committee Member in Program Committee within the PEPM-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
Ákos Hajdu Budapest University of Technology and Economics Hungary Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Marcel Hark RWTH Aachen University, Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Bettina Heim Microsoft Committee Member in Program Committee within the PLanQC-track
Ben Hermann Paderborn University Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Program Committee within the PADL-track
Christian Herrera fortiss GmbH Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Michael Hicks University of Maryland United States Organizer in Organizing Committee within the PLanQC-track Committee Member in Steering Committee within the PriSC-track
Andrew Hirsch Max Planck Institute for Software Systems Germany Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Confirmed panelists (so far) within the PLMW-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 PLanQC-track
John Hughes Chalmers University of Technology, Sweden Sweden Committee Member in Program Committee within the PADL-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 PC Chairs within the PEPM-track 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
Hideya Iwasaki University of Electro-Communications, Japan Committee Member in Program Committee within the PEPM-track
Guilhem Jaber LS2N, Université de Nantes France Committee Member in Selection Committee within the POPL Student Research Competition-track
Radha Jagadeesan DePaul University Committee Member in Program Committee within the POPL Research Papers-track
Marie-Christine Jakobs TU Darmstadt, Germany Artifact Evaluation Chair in Artifact-Evaluation Committee within the VMCAI-track PC Member in Program Committee within the VMCAI-track Artifact Evaluation Chair in Organizing 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
Martin Jonáš Masaryk University, Faculty of Informatics Czech Republic Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Kristoffer Just Arndal Andersen Aarhus University Denmark Technical Support in Organizing Committee for POPL 2020
Bishoksan Kafle The university of Melbourne Australia Committee Member in Artifact-Evaluation Committee within the VMCAI-track
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
Martin Kellogg University of Washington, Seattle United States Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Kristian Kersting TU Darmstadt Germany 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
Hong-Seok Kim Committee Member in Organizing Committee within the HASE-track
Zachary Kincaid Princeton University United States Workshops Co-Chair in Organizing Committee for POPL 2020
Oleg Kiselyov Committee Member in Program Committee within the PEPM-track
Aleks Kissinger Radboud University Committee Member in Program Committee within the PLanQC-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
Ramana Kumar DeepMind United Kingdom Committee Member in Program Committee within the PADL-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 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 The University of Manchester 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
Ben Laurie Google Research Committee Member in Organizing Committee within the HASE-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
Michael Leuschel University of Düsseldorf Committee Member in Program Committee within the PADL-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
Sven Linker Committee Member in Artifact-Evaluation Committee within the VMCAI-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
Alessio Mansutti CNRS, LSV, ENS Paris-Saclay Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Hidehiko Masuhara Tokyo Institute of Technology Japan Committee Member in Program Committee within the PEPM-track
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 United States 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
Marco Muñiz Aalborg University Denmark Committee Member in Artifact-Evaluation Committee within the VMCAI-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 Student Volunteer Co-Chair in Student Volunteers Committee within the POPL Student Volunteers-track
Santosh Nagarakatte Rutgers University, USA United States Committee Member in Steering Committee within the PriSC-track
Keisuke Nakano Tohoku University Japan Committee Member in Program Committee within the PEPM-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
Yannic Noller Humboldt-Universität zu Berlin Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Peter O'Hearn Facebook Committee Member in Program Committee within the ADSL-track
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Committee Member in Program Committee within the PEPM-track
Saswat Padhi University of California, Los Angeles United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jens Palsberg University of California, Los Angeles Committee Member in Program Committee within the PEPM-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 PLanQC-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 Committee Member in Organizers within the POPL W@POPL-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in Program Committee within the CPP-track Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-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
Kostiantyn Potomkin Committee Member in Artifact-Evaluation Committee within the VMCAI-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 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 University of Birmingham Committee Member in Program Committee within the CPP-track
Robert Rand University of Maryland United States Organizer in Organizing Committee within the PLanQC-track Chair in Program Committee within the PLanQC-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 University of Calabria, Italy Italy 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
Talia Ringer University of Washington United States Organizing Chair in Organizing Committee within the POPL mark 15 Year Retrospective Panel-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 University of Buenos Aires Argentina 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 PLanQC-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
João Saraiva University of Minho, Portugal Committee Member in Program Committee within the PEPM-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
Christian Schilling IST Austria Austria Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Tom Schrijvers Committee Member in Program Committee within the PEPM-track
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
Taro Sekiyama National Institute of Informatics Japan Committee Member in Confirmed panelists (so far) within the PLMW-track
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Committee Member in Program Committee within the CPP-track
Peter Sewell University of Cambridge Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-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 Organizers within the POPL W@POPL-track Committee Member in Selection Committee 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 Massachusetts Institute of Technology United States Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track
Martin Spießl LMU Munich Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-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
Eijiro Sumii Tohoku University Committee Member in Program Committee within the PEPM-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
Walid Taha Committee Member in Program Committee within the PEPM-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
Enrico Tassi INRIA France Committee Member in Program Committee within the PADL-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 Student Volunteer Co-Chair in Student Volunteers Committee within the POPL Student Volunteers-track
K. Tuncay Tekle Stony Brook University United States 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 PLanQC-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 PLanQC-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 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 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 Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-track 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 PLanQC-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 National Institute of Informatics Japan 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 PLanQC-track
Nobuko Yoshida Imperial College London Organizer in Organizing Committee within the PLMW-track Committee Member in Program Committee within the PEPM-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 Unitary Fund United States Committee Member in Program Committee within the PLanQC-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 PC Chair in Organizing Committee within the VMCAI-track
Florian Zuleger TU Vienna Austria Committee Member in Program Committee within the ADSL-track
Roberto Zunino University of Trento Italy 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 (305)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums