POPL 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (253)

Martin Abadi Google Committee Member in Program Committee within the LAFI-track
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
Amal Ahmed Northeastern University, USA United States Committee Member in Program Committee within the PriSC-track
Aws Albarghouthi University of Wisconsin-Madison, USA Committee Member in Program Committee within the VMCAI-track
Guillaume Allais University of St Andrews 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
Andrew Appel Princeton Committee Member in Program Committee within the PriSC-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
Stephanie Balzer Carnegie Mellon University, USA United States Co-chair in Organizing Committee within the PLMW-track
Mark Batty University of Kent United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Heiko Becker MPI-SWS Germany Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Sidi Mohamed Beillahi IRIF - Université de Paris France Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 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
Martin Bodin Imperial College London United Kingdom Committee Member in Selection Committee within the POPL Student Research Competition-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
Fraser Brown Stanford University, USA Committee Member in Program Committee within the PriSC-track
Pavol Cerny TU Wien Austria Committee Member in Program Committee within the POPL Research Papers-track
Tej Chajed Massachusetts Institute of Technology, USA United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Stefan Ciobaca Alexandru Ioan Cuza University of Iasi Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 Facebook London 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
Emanuele D'Osualdo MPI-SWS Germany Committee Member in Selection Committee within the POPL Student Research Competition-track
Hoang-Hai Dang MPI-SWS Germany Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Germán Andrés Delbianco Nomadic Labs France Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Delphine Demange Univ Rennes, Inria, CNRS, IRISA France Committee Member in Program Committee within the PriSC-track
Dominique Devriese Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the CoqPL-track Committee Member in Steering Committee within the PriSC-track
Rayna Dimitrova CISPA Helmholtz Center for Information Security Committee Member in Program Committee within the VMCAI-track
Pierre Donat-Bouillud Czech Technical University Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Stefania Dumbrava ENSIIE Paris-Évry France Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Sandra Dylus Germany Committee Member in Programme Committee within the PADL-track
Esra Erdem Sabanci University, Turkey 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
Bernd Finkbeiner Stanford University & CISPA Helmholtz Center for Information Security Germany Invited Speaker in Invited Speakers within the VMCAI-track
Nick Fitzgerald Committee Member in Program Committee within the PriSC-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
Cameron Freer Massachusetts Institute of Technology United States Committee Member in Steering Committee within the LAFI-track
Aymeric Fromherz Carnegie Mellon University Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Marco Gaboardi Boston University United States Committee Member in Program Committee within the PriSC-track 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 Steering Committee within the PriSC-track 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
Klaus Gleissenthall University of California, San Diego Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-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
Andrew D. Gordon Microsoft Research and University of Edinburgh United Kingdom Committee Member in Steering Committee within the LAFI-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
Marco Guarnieri IMDEA Software Institute Spain Committee Member in Program Committee within the PriSC-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
William T. Hallahan Yale University Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Troels Henriksen University of Copenhagen, Denmark Denmark Artifact Evaluation Co-Chair in Organizing Committee within the VMCAI-track
Michael Hicks University of Maryland United States Committee Member in Steering Committee within the PriSC-track
Jan Hoffmann Carnegie Mellon University United States Workshops Co-Chair in Organizing Committee for POPL 2021 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
Steven Holtzen University of California, Los Angeles United States Committee Member in Program Committee within the LAFI-track
Cătălin Hriţcu MPI for Security and Privacy 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 Committee Member in Steering Committee within the PriSC-track
Justin Hsu University of Wisconsin-Madison, USA United States Co-chair in Organizing Committee within the PLMW-track
Chung-Kil Hur Seoul National University, South Korea Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the PriSC-track
Anastasiia Izycheva Technical University of Munich Germany Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Jaehwang Jung KAIST, South Korea Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ohad Kammar University of Edinburgh United Kingdom Committee Member in Steering Committee within the LAFI-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 Committee Member in Invited Speakers within the VMCAI-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 Co-chair in Selection Committee within the POPL Student Research Competition-track
Théo Laurent INRIA Paris Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Stella Lau MIT Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Xavier Leroy Collège de France France Committee Member in Program Committee within the PriSC-track
Nicholas V. Lewchenko University of Colorado Boulder United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
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
Yao Li University of Pennsylvania United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Andreas Lochbihler Digital Asset GmbH Switzerland Committee Member in Program Committee within the CPP-track
Steven Lyubomirsky University of Washington, USA United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Carol Mak University of Oxford Committee Member in Program Committee within the LAFI-track
Louis Mandel IBM Research, USA 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
Guido Martínez CIFASIS-CONICET, Argentina Argentina Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Aastha Mehta Committee Member in Program Committee within the PriSC-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
Raphaël Monat Sorbonne Université — LIP6 France Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Charlie Murphy Princeton University United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Steering Committee Member in Steering Committee within the CPP-track
Anders Mörtberg Department of Mathematics, Stockholm University Sweden Committee Member in Program Committee within the CPP-track
Santosh Nagarakatte Rutgers University, USA Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-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
Benjamin Barslev Nielsen Aarhus University Denmark Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Zoe Paraskevopoulou Princeton University United States Committee Member in Program Committee within the PriSC-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
Jennifer Paykin Galois, Inc. United States Committee Member in Program Committee within the PriSC-track
Hila Peleg University of California, San Diego United States Committee Member in Selection Committee within the POPL Student Research Competition-track
Yuanfeng Peng Google Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
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
Jonathan Protzenko Microsoft Research, Redmond United States Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
George Pîrlea National University of Singapore, Singapore Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Azalea Raad Imperial College London United Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2021 Co-chair in Selection Committee within the POPL Student Research Competition-track Co-chair in Organizing Committee within the PLMW-track 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 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
Thomas Reps University of Wisconsin-Madison, USA Committee Member in Selection Committee within the POPL Student Research Competition-track
Tamara Rezk Inria, France Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
Lionel Rieg Verimag Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Xavier Rival INRIA/CNRS/ENS Paris France Committee Member in Program Committee within the VMCAI-track
Andreas Rossberg Dfinity Stiftung Germany Committee Member in Program Committee within the PriSC-track
Sriram Sankaranarayanan University of Colorado, Boulder United States Committee Member in Program Committee within the POPL Research Papers-track
Gabriel Scherer INRIA Saclay France Co-chair in Organizing Committee within the PLMW-track Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
David Schmidt Kansas State University United States Invited Speaker in Invited Speakers within the VMCAI-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 Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the PriSC-track Committee Member in Program Committee within the VMCAI-track
Natarajan Shankar SRI International, USA Committee Member in Program Committee within the CPP-track
Chung-chieh Shan Indiana University, USA Committee Member in Steering Committee within the LAFI-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
Shweta Shinde Committee Member in Program Committee within the PriSC-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
Kartik Singhal University of Chicago United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Rishabh Singh Google Brain United States Committee Member in Program Committee within the POPL Research Papers-track
Jeffrey Mark Siskind School of Electrical and Computer Engineering, Purdue University United States Committee Member in Steering Committee within the LAFI-track
KC Sivaramakrishnan IIT Madras India Committee Member in Programme Committee within the PADL-track
Gus Henry Smith University of Washington Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Caleb Stanford University of Pennsylvania United States Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Deian Stefan University of California at San Diego, USA Committee Member in Steering Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
Bernhard Steffen TU Dortmund Germany Invited Speaker in Invited Speakers within the VMCAI-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
Alix Trieu Aarhus University Denmark Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Pierre Vial Inria Paris-Saclay Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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
Dimitrios Vytiniotis DeepMind United Kingdom Committee Member in Program Committee within the LAFI-track
Peixin Wang Shanghai Jiao Tong University Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Conrad Watt University of Cambridge, UK Committee Member in Program Committee within the PriSC-track
Christoph Weidenbach MPI-INF Germany Committee Member in Program Committee within the CPP-track
Aaron Weiss Northeastern University United States Student Volunteer Co-Chair in Organizing Committee for POPL 2021
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
Sebastian Wolff TU Braunschweig Germany Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ningning Xie The University of Hong Kong 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 Inria France Committee Member in Program Committee within the CPP-track Invited Speaker in Invited speaker within the CoqPL-track
Santiago Zanella-Béguelin Microsoft Research, Cambridge United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Zhenya Zhang National Institute of Informatics Artifact Evaluator in Artifact Evaluation Committee within the POPL Artifact Evaluation-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 (253)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums