POPL 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (114)

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
Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan Committee Member in Program Committee within the CPP-track
Nada Amin Harvard University United States Committee Member in Program Committee within the POPL Research Papers-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
Mohamed Faouzi Atig Uppsala University, Sweden Committee Member in Program Committee within the POPL Research Papers-track
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Committee Member in Program Committee within the CPP-track
Mark Batty University of Kent United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Josh Berdine Facebook Committee Member in Program Committee within the POPL Research Papers-track
Lennart Beringer Princeton University United States Conference Co-Chair in Organization Committee within the CPP-track
Annette Bieniusa Technische Universität Kaiserslautern Germany Committee Member in Program Committee within the POPL Research Papers-track
Nikolaj Bjørner Microsoft Research Steering Committee Member in Steering Committee within the CPP-track
Jasmin Blanchette Vrije Universiteit Amsterdam Netherlands Steering Committee Member in Steering Committee within the CPP-track
Ahmed Bouajjani IRIF, Université Paris Diderot France Committee Member in Program Committee within the POPL Research Papers-track
William J. Bowman University of British Columbia Canada Committee Member in Program Committee within the POPL Research Papers-track
Joachim Breitner DFINITY Foundation Germany Committee Member in Program Committee within the CPP-track
Pavol Cerny TU Wien Austria Committee Member in Program Committee within the POPL Research Papers-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
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
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
Brijesh Dongol University of Surrey Committee Member in Program Committee within the CPP-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
Amy Felty University of Ottawa Canada Steering Committee Member in Steering Committee within the CPP-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
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
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
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
Jeehoon Kang KAIST South Korea Committee Member in Program Committee within the POPL Research Papers-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
Naoki Kobayashi University of Tokyo, 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
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
Andreas Lochbihler Digital Asset GmbH Switzerland Committee Member in Program Committee within the CPP-track
Assia Mahboubi INRIA France Steering Committee Member in Steering Committee within the CPP-track
Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Committee Member in Program Committee within the POPL Research Papers-track
Petar Maksimović Imperial College London, UK Committee Member in Program Committee within the CPP-track
Carole Mann R.S.L Registration in Organizing Committee for POPL 2021
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
David Monniaux CNRS, VERIMAG France Committee Member in Program Committee within the POPL Research Papers-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
Tobias Nipkow Technische Universität München Steering Committee Member in Steering Committee within the CPP-track
Sam Owre SRI International United States Committee Member in Program Committee within the CPP-track
Karl Palmskog KTH Royal Institute of Technology Sweden Committee Member in Program Committee within the CPP-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
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
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 MPI-SWS, Germany United Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2021
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
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
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
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 Saarland University, Germany Germany Committee Member in Program Committee within the CPP-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
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
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
Freek Wiedijk Radboud University Nijmegen Netherlands Committee Member in Program Committee within the CPP-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
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 (114)

Tracks

Co-hosted Conferences