POPL 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (183)

Parosh Aziz Abdulla Uppsala University, Sweden Committee Member in Program Committee within the POPL Research Papers-track
Umut A. Acar Carnegie Mellon University, USA Committee Member in Program Committee within the POPL Research Papers-track
Nate Ackerman Harvard University Committee Member in Program Committee within the LAFI-track
Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the CoqPL-track
Aws Albarghouthi University of Wisconsin-Madison, USA Committee Member in Program Committee within the VMCAI-track
Guillaume Allais University of Strathclyde United Kingdom Committee Member in Program Committee within the PEPM-track
Mario Alviano University of Calabria Committee Member in Programme Committee within the PADL-track
Nada Amin Harvard University United States Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Programme Committee within the PADL-track
June Andronick CSIRO's Data61 and UNSW Australia Committee Member in Program Committee within the CPP-track Steering Committee Member in Steering Committee within the CPP-track
Zena M. Ariola University of Oregon, USA Committee Member in Program Committee within the PEPM-track
Mohamed Faouzi Atig Uppsala University, Sweden Committee Member in Program Committee within the POPL Research Papers-track
Robert Atkey University of Strathclyde Committee Member in Program Committee within the PEPM-track
Lennart Augustsson Committee Member in Program Committee within the PEPM-track
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the CoqPL-track
Casper Bach Poulsen Delft University of Technology Committee Member in Program Committee within the PEPM-track
Mark Batty University of Kent United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Jesper Bengtson Committee Member in Program Committee within the CoqPL-track
Josh Berdine Facebook Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the VMCAI-track
Lennart Beringer Princeton University United States Conference Co-Chair in Organization Committee within the CPP-track
Dirk Beyer LMU Munich Germany Committee Member in Program Committee within the VMCAI-track
Annette Bieniusa Technische Universität Kaiserslautern Germany Committee Member in Program Committee within the POPL Research Papers-track
Eli Bingham Broad Institute Committee Member in Program Committee within the LAFI-track
Nikolaj Bjørner Microsoft Research Steering Committee Member in Steering Committee within the CPP-track Committee Member in Program Committee within the VMCAI-track
Jasmin Blanchette Vrije Universiteit Amsterdam Netherlands Steering Committee Member in Steering Committee within the CPP-track
Roderick Bloem Institute of Software Technology, Graz University of Technology Committee Member in Program Committee within the VMCAI-track
Ahmed Bouajjani IRIF, Université Paris Diderot France Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the VMCAI-track
William J. Bowman University of British Columbia Canada Committee Member in Program Committee within the POPL Research Papers-track
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Programme Committee within the PADL-track
Joachim Breitner DFINITY Foundation Germany Committee Member in Program Committee within the CPP-track Committee Member in Programme Committee within the PADL-track
Pavol Cerny TU Wien Austria Committee Member in Program Committee within the POPL Research Papers-track
Swarat Chaudhuri Rice University Committee Member in Program Committee within the VMCAI-track
Yu-Fang Chen Academia Sinica, Taiwan Committee Member in Program Committee within the VMCAI-track
Sheng Chen University of Louisiana at Lafayette United States Committee Member in Program Committee within the POPL Research Papers-track
Adam Chlipala Massachusetts Institute of Technology United States Steering Committee Member in Steering Committee within the CPP-track Committee Member in Program Committee within the POPL Research Papers-track
Hana Chockler King's College London Committee Member in Program Committee within the VMCAI-track
Ravi Chugh University of Chicago Committee Member in Program Committee within the POPL Research Papers-track
Jesper Cockx TU Delft Netherlands Committee Member in Program Committee within the CPP-track
Cyril Cohen Université Côte d’Azur, Inria, France Committee Member in Program Committee within the CPP-track
Youyou Cong Tokyo Institute of Technology Japan Committee Member in Program Committee within the PEPM-track Committee Member in Programme Committee within the PADL-track
Mistral Contrastin University of Cambridge, UK United Kingdom Committee Member in Programme Committee within the PADL-track
Loris D'Antoni University of Wisconsin-Madison, USA Committee Member in Program Committee within the POPL Research Papers-track
Nils Anders Danielsson University of Gothenburg, Chalmers University of Technology Committee Member in Program Committee within the CPP-track
Olivier Danvy Yale-NUS College and School of Computing, Singapore Singapore Committee Member in Program Committee within the PEPM-track
Dominique Devriese Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the CoqPL-track
Rayna Dimitrova University of Leicester, UK Committee Member in Program Committee within the VMCAI-track
Brijesh Dongol University of Surrey Committee Member in Program Committee within the CPP-track
Dana Drachsler Cohen Technion Israel Committee Member in Program Committee within the VMCAI-track
Cezara Drăgoi INRIA, ENS, CNRS France Committee Member in Program Committee within the VMCAI-track
Sandra Dylus University of Kiel, Germany Germany Committee Member in Programme Committee within the PADL-track
Esra Erdem Sabanci University, Turkey Committee Member in Programme Committee within the PADL-track
Azadeh Farzan University of Toronto Canada Program Chair in Organizing Committee for POPL 2021 PC Chair in Program Committee within the POPL Research Papers-track
Grigory Fedyukovich Florida State University United States Committee Member in Program Committee within the VMCAI-track
Amy Felty University of Ottawa Canada Steering Committee Member in Steering Committee within the CPP-track
Jean-Christophe Filliatre CNRS France Committee Member in Program Committee within the VMCAI-track
Yannick Forster Saarland University Germany Committee Member in Program Committee within the CPP-track
Nate Foster Cornell University United States Industrial Relations in Organizing Committee for POPL 2021
Marco Gaboardi Boston University United States Committee Member in Program Committee within the POPL Research Papers-track
Pierre Ganty IMDEA Software Institute, Spain Committee Member in Program Committee within the POPL Research Papers-track
Deepak Garg Max Planck Institute for Software Systems Germany Committee Member in Program Committee within the POPL Research Papers-track
Martin Gebser University of Klagenfurt, Austria Austria Committee Member in Programme Committee within the PADL-track
Paolo G. Giarrusso BedRock Systems Committee Member in Program Committee within the CoqPL-track
Shilpi Goel Centaur Technology, Inc. Committee Member in Program Committee within the CPP-track
Laure Gonnord University of Lyon & LIP, France France Committee Member in Program Committee within the POPL Research Papers-track
Georges Gonthier Inria Steering Committee Member in Steering Committee within the CPP-track
Michael Greenberg Pomona College Publicity Chair in Organizing Committee for POPL 2021
Orna Grumberg Technion – Israel Institute of Technology Committee Member in Program Committee within the VMCAI-track
Gopal Gupta Committee Member in Programme Committee within the PADL-track
Arie Gurfinkel University of Waterloo Canada Committee Member in Program Committee within the VMCAI-track
Ichiro Hasuo National Institute of Informatics, Japan Japan Committee Member in Program Committee within the POPL Research Papers-track
Matthias Heizmann University of Freiburg, Germany Committee Member in Program Committee within the POPL Research Papers-track
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital Denmark Local Arrangements Chair in Organizing Committee for POPL 2021 Conference Co-Chair in Organizing Committee within the VMCAI-track
Jan Hoffmann Carnegie Mellon University United States Workshops Co-Chair in Organizing Committee for POPL 2021
Steven Holtzen University of California, Los Angeles United States Committee Member in Program Committee within the LAFI-track
Cătălin Hriţcu MPI-SP Germany Co-chair in Program Committee within the CPP-track PC and Conference Co-Chair in Organization Committee within the CPP-track Steering Committee Member in Steering Committee within the CPP-track
Chung-Kil Hur Seoul National University, South Korea Committee Member in Program Committee within the CPP-track
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Committee Member in Program Committee within the POPL Research Papers-track
Somesh Jha University of Wisconsin, Madison United States Committee Member in Program Committee within the POPL Research Papers-track
Moa Johansson Chalmers University of Technology Sweden Committee Member in Program Committee within the CPP-track
Simon Peyton Jones Microsoft, UK Committee Member in Program Committee within the POPL Research Papers-track
Jacques-Henri Jourdan Universersité Paris Saclay, CNRS, LRI France Committee Member in Program Committee within the CoqPL-track
Jeehoon Kang KAIST South Korea Artifact Evaluation Co-Chair in Organizing Committee for POPL 2021 Committee Member in Program Committee within the POPL Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Guy Katz Hebrew University Israel Committee Member in Program Committee within the VMCAI-track
Zachary Kincaid Princeton University, USA Committee Member in Program Committee within the POPL Research Papers-track
Gerwin Klein CSIRO's Data61 and UNSW Sydney Australia Steering Committee Member in Steering Committee within the CPP-track
Andrei Klimov Keldysh Institute of Applied Mathematics of Russian Academy of Sciences Russia Committee Member in Program Committee within the PEPM-track
Naoki Kobayashi University of Tokyo, Japan Japan Committee Member in Program Committee within the POPL Research Papers-track
Ekaterina Komendantskaya Heriot-Watt University, UK Committee Member in Program Committee within the CPP-track Committee Member in Programme Committee within the PADL-track
Angeliki Koutsoukou-Argyraki University of Cambridge, Department of Computer Science and Technology United Kingdom Committee Member in Program Committee within the CPP-track
Laura Kovacs Vienna University of Technology (TU Wien) Austria Committee Member in Program Committee within the POPL Research Papers-track
Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica, Taiwan Web Chair in Organizing Committee for POPL 2021
Dexter Kozen Cornell University United States Committee Member in Program Committee within the POPL Research Papers-track
Ori Lahav Tel Aviv University, Israel Student Research Competition Co-Chair in Organizing Committee for POPL 2021
Robert Y. Lewis Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the CPP-track
Hongjin Liang Nanjing University, China China Committee Member in Program Committee within the CPP-track
Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK United Kingdom Co-chair in Organizing Committee within the PEPM-track
Andreas Lochbihler Digital Asset GmbH Switzerland Committee Member in Program Committee within the CPP-track
Dougal Maclaurin Committee Member in Organizing Committee within the LAFI-track
Assia Mahboubi INRIA France Steering Committee Member in Steering Committee within the CPP-track Co-chair in Organizing Committee within the CoqPL-track
Kenji Maillard Inria Nantes & University of Chile Committee Member in Program Committee within the CoqPL-track
Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the VMCAI-track
Petar Maksimović Imperial College London, UK Committee Member in Program Committee within the CPP-track
Louis Mandel IBM Research Committee Member in Program Committee within the LAFI-track
William Mansky University of Illinois at Chicago United States Committee Member in Program Committee within the CPP-track
Luc Maranget Inria Paris France Committee Member in Program Committee within the POPL Research Papers-track
Roland Meyer TU Braunschweig Committee Member in Program Committee within the POPL Research Papers-track
Dale Miller INRIA Saclay and LIX France Steering Committee Member in Steering Committee within the CPP-track
Antoine Miné Sorbonne Université France Committee Member in Program Committee within the VMCAI-track
Torben Mogensen DIKU, University of Copenhagen Denmark Co-chair in Organizing Committee within the PEPM-track
David Monniaux CNRS, VERIMAG France Committee Member in Program Committee within the POPL Research Papers-track
José Morales IMDEA Software Institute Co-chair in Programme Chairs within the PADL-track Co-chair in Programme Committee within the PADL-track
J. Garrett Morris University of Kansas, USA United States Committee Member in Program Committee within the PEPM-track
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Steering Committee Member in Steering Committee within the CPP-track
Carlos Mão de Ferro Lasige / Faculty of Sciences, Universidade de Lisboa Portugal Student Volunteer Co-Chair in Organizing Committee for POPL 2021
Anders Mörtberg Department of Mathematics, Stockholm University Sweden Committee Member in Program Committee within the CPP-track
Kedar Namjoshi Nokia Bell Labs United States Committee Member in Program Committee within the POPL Research Papers-track
Jorge A. Navas SRI International United States Committee Member in Program Committee within the VMCAI-track
Antonina Nepeivoda Program Systems Institute of RAS, Russia Russia Committee Member in Program Committee within the PEPM-track
Robert Ness Gamalon Committee Member in Program Committee within the LAFI-track
Henrik Nilsson University of Nottingham, UK Committee Member in Programme Committee within the PADL-track
Tobias Nipkow Technische Universität München Steering Committee Member in Steering Committee within the CPP-track
Dominic Orchard University of Kent, UK United Kingdom Co-chair in Programme Chairs within the PADL-track Co-chair in Programme Committee within the PADL-track
Sam Owre SRI International United States Committee Member in Program Committee within the CPP-track
Oded Padon Stanford University, USA Committee Member in Program Committee within the VMCAI-track
Karl Palmskog KTH Royal Institute of Technology Sweden Committee Member in Program Committee within the CPP-track
Pavel Panchekha University of Utah United States Artifact Evaluation Co-Chair in Organizing Committee for POPL 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Program Committee within the VMCAI-track
Andreas Pavlogiannis Aarhus University Denmark Committee Member in Program Committee within the POPL Research Papers-track
Frank Pfenning Carnegie Mellon University, USA Committee Member in Program Committee within the POPL Research Papers-track
Ruzica Piskac Yale University, USA Workshops Co-Chair in Organizing Committee for POPL 2021
Adam Pocock Oracle Labs United States Committee Member in Program Committee within the LAFI-track
Andreas Podelski University of Freiburg, Germany Germany General Chair in Organizing Committee for POPL 2021
Nadia Polikarpova University of California, San Diego United States Committee Member in Program Committee within the POPL Research Papers-track
Enrico Pontelli New Mexico State University Committee Member in Programme Committee within the PADL-track
Andrei Popescu University of Sheffield United Kingdom Co-chair in Program Committee within the CPP-track PC Co-Chair in Organization Committee within the CPP-track
Damien Pous CNRS Committee Member in Program Committee within the CPP-track
Azalea Raad Imperial College London United Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2021 Committee Member in Program Committee within the VMCAI-track
Gabriel Radanne Inria France Committee Member in Program Committee within the PEPM-track
Arjun Radhakrishna Microsoft Committee Member in Program Committee within the POPL Research Papers-track
Tahina Ramananandro Microsoft Research, n.n. United States Committee Member in Program Committee within the CPP-track
Aseem Rastogi Microsoft Research India 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 VMCAI-track
Sriram Sankaranarayanan University of Colorado, Boulder United States Committee Member in Program Committee within the POPL Research Papers-track
Alan Schmitt Inria France Committee Member in Program Committee within the POPL Research Papers-track
Taro Sekiyama National Institute of Informatics Japan Committee Member in Program Committee within the POPL Research Papers-track
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the VMCAI-track
Natarajan Shankar SRI International, USA Committee Member in Program Committee within the CPP-track
Zhong Shao Yale University United States Steering Committee Chair in Steering Committee within the CPP-track Committee Member in Program Committee within the POPL Research Papers-track
Rahul Sharma Microsoft Research India Committee Member in Program Committee within the POPL Research Papers-track
Sharon Shoham Tel Aviv university Israel Conference Co-Chair in Organizing Committee within the VMCAI-track
Alexandra Silva University College London United Kingdom Accessibility Chair in Organizing Committee for POPL 2021
Rishabh Singh Google Brain United States Committee Member in Program Committee within the POPL Research Papers-track
KC Sivaramakrishnan IIT Madras India Committee Member in Programme Committee within the PADL-track
Ana Sokolova University of Salzburg Austria Committee Member in Program Committee within the POPL Research Papers-track
Matthieu Sozeau Inria France Committee Member in Program Committee within the POPL Research Papers-track
Kathrin Stark Princeton University, USA United States Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the CoqPL-track
Eijiro Sumii Tohoku University Committee Member in Program Committee within the PEPM-track
Alexander J. Summers The University of British Columbia Canada Committee Member in Program Committee within the VMCAI-track
Paul Tarau University of North Texas United States Committee Member in Programme Committee within the PADL-track
Hanneli Tavante McGill University Student Volunteer Co-Chair in Organizing Committee for POPL 2021
René Thiemann University of Innsbruck Committee Member in Program Committee within the CPP-track
Amin Timany Aarhus University Denmark Web Chair in Organizing Committee for POPL 2021 Committee Member in Program Committee within the CPP-track Co-chair in Organizing Committee within the CoqPL-track
Jean-Baptiste Tristan Boston College United States Committee Member in Organizing Committee within the LAFI-track
Josef Urban Czech Technical University in Prague Czech Republic Committee Member in Program Committee within the CPP-track
Viktor Vafeiadis MPI-SWS, Germany Committee Member in Program Committee within the POPL Research Papers-track
David Van Horn University of Maryland, USA United States Committee Member in Program Committee within the POPL Research Papers-track
Niki Vazou IMDEA Software Institute Committee Member in Program Committee within the PEPM-track Committee Member in Program Committee within the VMCAI-track
Eelco Visser Delft University of Technology Netherlands Committee Member in Program Committee within the PEPM-track
Yakir Vizel Technion—Israel Institute of Technology Israel Conference Co-Chair in Organizing Committee within the VMCAI-track
Christoph Weidenbach MPI-INF Germany Committee Member in Program Committee within the CPP-track
Michael Whalen Amazon Web Services and the University of Minnesota United States Committee Member in Program Committee within the VMCAI-track
Freek Wiedijk Radboud University Nijmegen Netherlands Committee Member in Program Committee within the CPP-track
Jan Wielemaker Committee Member in Programme Committee within the PADL-track
James R. Wilcox University of Washington United States Committee Member in Program Committee within the VMCAI-track
Ningning Xie Microsoft Research, USA China Committee Member in Programme Committee within the PADL-track
Jeremy Yallop University of Cambridge United Kingdom Committee Member in Program Committee within the PEPM-track
Nobuko Yoshida Imperial College London Committee Member in Program Committee within the POPL Research Papers-track
Yannick Zakowski University of Pennsylvania Committee Member in Program Committee within the CPP-track
Santiago Zanella-Béguelin Microsoft Research, Cambridge United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center Committee Member in Programme Committee within the PADL-track
Lenore Zuck UIC United States Committee Member in Program Committee within the VMCAI-track
Damien Zufferey MPI-SWS Committee Member in Program Committee within the POPL Research Papers-track
Floris van Doorn University of Pittsburgh United States Committee Member in Program Committee within the CPP-track
Johannes Åman Pohjola CSIRO's Data61/University of New South Wales Australia Committee Member in Program Committee within the CPP-track

POPL 2021 Contributors

Results (183)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums