POPL 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (848)

Rodin Aarssen CWI, Netherlands Netherlands Author of High-Fidelity Metaprogramming with Separator Syntax Trees within the PEPM 2020-track in PEPM 2020
Martín Abadi Google Author of A Simple Differentiable Programming Language within the Research Papers-track in POPL 2020
Carmine Abate Inria Paris Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Parosh Aziz Abdulla Uppsala University, Sweden Sweden Author of Parameterized Verification under TSO is PSPACE-Complete within the Research Papers-track in POPL 2020
Andreas Abel Gothenburg University Sweden Committee Member in Program Committee within the PEPM-track
Umut Acar Carnegie Mellon University Author of Disentanglement in Nested-Parallel Programs within the Research Papers-track in POPL 2020
Amal Ahmed Northeastern University, USA United States Session Chair of Gradual Criteria (part of WGT) Author of Foreign Function Typing: Semantic Type Soundness for FFIs within the WGT-track in WGT 2020 Author of Graduality and Parametricity: Together Again for the First Time within the Research Papers-track in POPL 2020 Committee Member in Organizers within the POPL W@POPL Dinner-track Committee Member in Program Committee within the WGT-track
Benedikt Ahrens University of Birmingham, United Kingdom Author of Reduction Monads and Their Signatures within the Research Papers-track in POPL 2020
Murad Akhundov University of Toronto Author of Expediting Verification of Assertions in Loops by Isolation within the Student Research Competition-track in POPL 2020
Jonathan Aldrich Carnegie Mellon University United States Author of Gradual Program Analysis within the WGT-track in WGT 2020 Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track in WGT 2020 Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track in POPL 2020
Thomas Alexander IBM T.J. Watson Research Center, New York, USA Author of Tuning up entanglement through the cloud using Qiskit-OpenPulse within the PLanQC-track in PLanQC 2020
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
Deyaaeldeen Almahallawi Indiana University United States Author of Space-Efficient Monotonic References within the WGT-track in WGT 2020
Uri Alon Technion Israel Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Johannes Altmanninger TU Wien Author of Frying the Egg, Roasting The Chicken: Unit Deletions in DRAT Proofs within the CPP 2020-track in CPP 2020
Rajeev Alur University of Pennsylvania United States Keynote Speaker of Model Checking for Safe Autonomy within the VMCAI 2020-track in VMCAI 2020 Invited Speaker in Invited Speakers within the VMCAI-track
Peter Amidon University of California, San Diego Author of A Spectrum of Safety for Foreign Function Interfaces within the Student Research Competition-track in POPL 2020
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
Sean Anderson Portland State University Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track in PriSC 2020
Pablo Andres-Martinez University of Edinburgh United Kingdom Author of Automated distribution of quantum circuits via hypergraph partitioning within the PLanQC-track in PLanQC 2020
Danil Annenkov Concordium Blockchain Research Center, Aarhus University Denmark Author of ConCert: A Smart Contract Certification Framework in Coq within the CPP 2020-track in CPP 2020
Timos Antonopoulos Yale University United States PC Member in Program Committee within the VMCAI-track
Shengwei An Purdue University Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track in POPL 2020
Andrew Appel Princeton Session Chair of Verified & Secure Compilation (part of POPL Research Papers) 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
Molham Aref Relational.ai Author of Invited Talk: Relational Artificial Intelligence within the PADL 2020-track in PADL 2020 Invited Speaker of Panel: Experience and Direction within the PADL 2020-track in PADL 2020
Michael Arntzenius University of Birmingham, UK Author of Seminaïve Evaluation for a Higher-Order Functional Language within the Research Papers-track in POPL 2020
Federico Aschieri TU Wien Author of Par means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs within the Research Papers-track in POPL 2020
Aslan Askarov Aarhus University Author of Reconciling progress-insensitive noninterference and declassification within the Principles of Secure Compilation 2020-track in PriSC 2020 Committee Member in Program Committee within the PriSC-track
David Aspinall University of Edinburgh Author of Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL within the CPP 2020-track in CPP 2020
Mohamed Faouzi Atig Uppsala University, Sweden Sweden Author of Parameterized Verification under TSO is PSPACE-Complete within the Research Papers-track in POPL 2020
Mauricio Ayala-Rincon University of Brasília Brazil Committee Member in Program Committee within the CPP-track
Sharon Ayalde Facebook Committee Member in Organizers within the POPL W@POPL Dinner-track
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Session Chair of Semantics & Type Theory (part of POPL Research Papers) Session Chair of Probabilistic Reasoning and Verification (part of POPL Research Papers) Author of Deriving Instances with Dependent Types within the CoqPL-track in CoqPL 2020 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 Session Chair of Keynote Talk 2 (part of PEPM) Session Chair of Opening & Keynote Talk 1 (part of PEPM) PC Chair of Opening within the PEPM 2020-track in PEPM 2020 Author of Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages within the CPP 2020-track in CPP 2020 Co-chair in PC Chairs within the PEPM-track Co-chair in Program Committee within the PEPM-track
Johannes Bader Facebook United States Author of Gradual Program Analysis within the WGT-track in WGT 2020 Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track in WGT 2020
Alexander Bagnall Ohio University Author of Coinductive Trees for Exact Inference of Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020
Patrick Bahr IT University of Copenhagen Denmark Committee Member in Program Committee within the PEPM-track
Alexander Bakst Galois, Inc Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Michael Ballantyne PLT @ Northeastern University United States Author of Dependent Type Systems as Macros within the Research Papers-track in POPL 2020
Stephanie Balzer Carnegie Mellon University, USA United States Session Chair of Morning 1 (part of PLMW) Committee Member in Organizers within the POPL W@POPL Dinner-track Committee Member in Organizing Committee within the POPL Mentoring Breakfasts-track Organizer in Organizing Committee within the PLMW-track
Anindya Banerjee IMDEA Software Institute Author of Coinductive Trees for Exact Inference of Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020
Subarno Banerjee University of Michigan United States Author of Safe Provenance Based Garbage Collection for C within the Student Research Competition-track in POPL 2020
Suguman Bansal Rice University, USA United States Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track in POPL 2020
Jialu Bao University of Wisconsin - Madison Author of A logic for verifying conditional independence within the Student Research Competition-track in POPL 2020
Davide Barbarossa Université Paris 13 Author of Taylor Subsumes Scott, Berry, Kahn and Plotkin within the Research Papers-track in POPL 2020
Sebastien Bardin CEA LIST France Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track in PLanQC 2020 Author of Qbricks: formal verification in quantum computing within the PLanQC-track in PLanQC 2020
Aurèle Barrière Univ Rennes, IRISA Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track in CoqPL 2020
Gilles Barthe MPI for Security and Privacy (MPI-SP) and IMDEA Software Institute Germany Author of A Probabilistic Separation Logic within the Research Papers-track in POPL 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020 Author of Relational Proofs for Quantum Programs within the Research Papers-track in POPL 2020
Osbert Bastani University of Pennsylvania United States Committee Member in Program Committee within the POPL Research Papers-track
Kinjal Basu Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020 Author of AQuA: ASP-based Visual Question Answering within the PADL 2020-track in PADL 2020
Andrej Bauer University of Ljubljana Slovenia Committee Member in Program Committee within the POPL Research Papers-track
Johan Bay Aarhus University Author of Reconciling progress-insensitive noninterference and declassification within the Principles of Secure Compilation 2020-track in PriSC 2020
Ryan Beckett Microsoft Research Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track in POPL 2020
Jesper Bengtson IT University of Copenhagen Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track in POPL 2020
Nick Benton Facebook London United Kingdom Committee Member in Program Committee within the WGT-track
Josh Berdine Facebook Author of SLEdge: Bounded Model Checking in Separation Logic within the ADSL 2020-track in ADSL 2020 Committee Member in Program Committee within the ADSL-track
Yves Bertot INRIA France Session Chair of Invited Talk (part of CoqPL) Session Chair of Proof engineering and user interaction (part of CPP) Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track in CoqPL 2020
Frédéric Besson Committee Member in Program Committee within the PriSC-track
Dirk Beyer LMU Munich Germany Session Chair of Papers 3 (part of VMCAI) Session Chair of Invited 1 (part of VMCAI) Session Chair of Panel Session (part of VMCAI) Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track in VMCAI 2020 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
Dariusz Biernacki University of Wrocław Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track in POPL 2020
David Binder University of Tübingen Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track in POPL 2020
Lars Birkedal Aarhus University Program Chair in Organizing Committee for POPL 2020 Session Chair of Automatic Differentiation / Kleene Algebra (part of POPL Research Papers) Session Chair of Welcome + SIGPLAN Award Ceremony (part of POPL Research Papers) Session Chair of Invited Talk (part of POPL Research Papers) Author of Mechanized Reasoning about a Capability Machine within the Principles of Secure Compilation 2020-track in PriSC 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 United States Session Chair of Papers 5 (part of VMCAI) Author of Solving LIA* Using Approximations within the VMCAI 2020-track in VMCAI 2020 Invited Speaker of Invited Talk: Logical Engines for Cloud Configurations within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020 PC Member in Program Committee within the VMCAI-track
Jasmin Blanchette Vrije Universiteit Amsterdam Netherlands Session Chair of Invited talk (part of CPP) Author of PC Chairs' report within the CPP 2020-track in CPP 2020 Program Co-Chair in Program Committee within the CPP-track
Roberto Blanco Inria Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Eduardo Blanco Author of Interactive Text Graph Mining with a Prolog-based Dialog Engine within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Austin J. Blatt Puppet Labs Author of Executable Formal Semantics for the POSIX Shell within the Research Papers-track in POPL 2020
Clement Blaudeau Ecole Polytechnique France Author of A Verified Packrat Parser Interpreter for Parsing Expression Grammars within the CPP 2020-track in CPP 2020
Sandrine Blazy Univ Rennes- IRISA France Session Chair of Verification in Proof Assistants (part of POPL Research Papers) Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track in CoqPL 2020 Author of A CompCert Compiler that Preserves Cryptographic Constant-time within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the PriSC-track
Martin Blicha Università della Svizzera italiana Switzerland Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track in VMCAI 2020
François Bobot CEA Author of Qbricks: formal verification in quantum computing within the PLanQC-track in PLanQC 2020
Rastislav Bodik University of Washington United States Author of Visualization by Example within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track
Filippo Bonchi University of Pisa Committee Member in Program Committee within the POPL Research Papers-track
James Bornholt University of Texas at Austin United States Author of Fixing Code That Explodes Under Symbolic Evaluation within the VMCAI 2020-track in VMCAI 2020
Jay Bosamiya Carnegie Mellon University Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track in PriSC 2020
Ahmed Bouajjani IRIF, Université Paris Diderot France Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track in VMCAI 2020
Simon Boulier Inria Author of Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq within the Research Papers-track in POPL 2020
Timothy Bourke Inria / École normale supérieure Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track in POPL 2020
William J. Bowman University of British Columbia Canada Author of Panel within the PLMW 2020-track in PLMW 2020 Author of Dependent Type Systems as Macros within the Research Papers-track in POPL 2020 Panelist in Panelists within the PLMW-track
Alex Brik Session Chair of Answer Set Programming Applications and Competitive programming experience (part of PADL) Author of Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
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
Chad Brown Czech Technical University in Prague Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track in CPP 2020
Christopher Brown University of St. Andrews, UK United Kingdom Committee Member in Program Committee within the PADL-track
Aloïs Brunel Deepomatic France Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track in LAFI 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track in POPL 2020
Roberto Bruni University of Pisa Italy Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track in POPL 2020
Lélio Brun ENS/Inria France Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track in POPL 2020
Maurice Bruynooghe Katholieke Universiteit Leuven Belgium Author of Improving Parity Game Solvers with Justifications within the VMCAI 2020-track in VMCAI 2020
Ahto Buldas Tallinn University of Technology Author of Verified Security of BLT Signature Scheme within the CPP 2020-track in CPP 2020
Matteo Busi Università di Pisa - Dipartimento di Informatica Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
David Butler Alan Turing Institute Author of Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL within the CPP 2020-track in CPP 2020
Kevin Buzzard Imperial College London Author of Formalising perfectoid spaces within the CPP 2020-track in CPP 2020
William E. Byrd University of Alabama at Birmingham, USA United States Committee Member in Program Committee within the PADL-track
Anthony Canino Author of [T1] Building Program Reasoning Tools using LLVM and Z3 within the TutorialFest-track in POPL 2020
Michael Carbin Massachusetts Institute of Technology United States Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020 Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track in POPL 2020
Jacques Carette McMaster University Canada Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track in PEPM 2020
Luis Carvalho Fac. Ciências e Tecnologias, Universidade Nova de Lisboa Author of Software Evolution with a Typeful Version Control System within the Student Research Competition-track in POPL 2020
Giuseppe Castagna CNRS - Université de Paris, France France Session Chair of Programming features (part of WGT) 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 Author of Verifying concurrent Go code in Coq with Goose within the CoqPL-track in CoqPL 2020 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
Stephen Chang Northeastern University Author of Dependent Type Systems as Macros within the Research Papers-track in POPL 2020
Sheung Chi Chan Author of Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming within the PADL 2020-track in PADL 2020
James Chapman IOHK Committee Member in Program Committee within the PADL-track
Christopĥe Chareton CEA, LIST, France Author of Qbricks: formal verification in quantum computing within the PLanQC-track in PLanQC 2020
Arthur Charguéraud Inria France Committee Member in Program Committee within the POPL Research Papers-track
Krishnendu Chatterjee IST Austria Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track in POPL 2020
Sudipta Chattopadhyay Singapore University of Technology and Design Singapore Author of Systematic Classification of Attackers via Bounded Model Checking within the VMCAI 2020-track in VMCAI 2020
Marsha Chechik University of Toronto Canada Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020 Author of Variability-aware Datalog within the PADL 2020-track in PADL 2020
James Cheney University of Edinburgh, UK United States Session Chair of Small Languages and Implementation (part of PADL) Author of Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming within the PADL 2020-track in PADL 2020
Fucheng Cheng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Dong Chen Department of Computing Science, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Xiaohong Chen University of Illinois at Urbana-Champaign United States Author of Invited talk: Matching Logic: The Foundation of the K Framework within the CPP 2020-track in CPP 2020
Alvin Cheung University of California, Berkeley Author of Visualization by Example within the Research Papers-track in POPL 2020
Marc Chevalier ENS, CNRS, PSL University, INRIA France Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track in VMCAI 2020
Chris Chhak Portland State University Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track in PriSC 2020
David Chisnall University of Cambridge Committee Member in Program Committee within the PriSC-track
Adam Chlipala Massachusetts Institute of Technology United States Session Chair of Verified cryptography (part of CPP) Author of Invited talk: Proof Assistants at the Hardware-Software Interface within the CPP 2020-track in CPP 2020
Stephen Chong Harvard University United States Committee Member in Program Committee within the PriSC-track
Fred Chong University of Chicago United States Invited Speaker of Invited Talk: Resource-Efficient Quantum Computing by Breaking Abstractions within the PLanQC-track in PLanQC 2020
Minki Cho Seoul National University Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track in POPL 2020
Benjamin W Chung Northeastern University Video Chair in Organizing Committee for POPL 2020
Cristina Cifuentes Oracle Labs Australia Session Chair of New outlooks on secure compilation (part of PriSC) Author of What is a Secure Programming Language? within the Research Papers-track in POPL 2020 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
Stefan Ciobaca Alexandru Ioan Cuza University of Iasi Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Pierre Clairambault CNRS & ENS Lyon France Author of Full Abstraction for the Quantum Lambda-Calculus within the Research Papers-track in POPL 2020
Martin Clochard ETH Zürich Author of Deductive Verification with Ghost Monitors within the Research Papers-track in POPL 2020
Jesper Cockx TU Delft Netherlands 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
Johan Commelin Universität Freiburg Author of Formalising perfectoid spaces within the CPP 2020-track in CPP 2020
Tino Cortesi Steering Committee Member in Steering Committee within the VMCAI-track
David Costanzo Yale University Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Nathanaël Courant INRIA France Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track in VMCAI 2020
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
Marco Cusumano-Towner MIT-CSAIL Author of Monte Carlo Semantic Differencing of Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020 Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020 Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track in POPL 2020
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
Fredrik Dahlqvist University College London Author of Semantics of Higher-Order Probabilistic Programs with Conditioning within the Research Papers-track in POPL 2020
Ugo Dal Lago University of Bologna, Italy / Inria, France Italy Committee Member in Program Committee within the POPL Research Papers-track
Hoang-Hai Dang MPI-SWS Author of RustBelt Meets Relaxed Memory within the Research Papers-track in POPL 2020 Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track in POPL 2020
Tommy Dang Texas Tech University Author of VRASP: A Virtual Reality Environment for Learning Answer Set Programming within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Norman Danner Wesleyan University Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track in POPL 2020
Olivier Danvy Yale-NUS College, Singapore Singapore Committee Member in Program Committee within the PEPM-track
David Darais University of Vermont United States Author of A Language for Probabilistically Oblivious Computation within the Research Papers-track in POPL 2020
Adnan Darwiche UCLA Author of Invited Talk: Symbolic Reasoning About Machine Learning Systems within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Swaraj Dash University of Oxford Author of A Monad for Point Processes within the LAFI (né PPS)-track in LAFI 2020
Marc De Visme ENS Lyon Author of Full Abstraction for the Quantum Lambda-Calculus within the Research Papers-track in POPL 2020
Pierpaolo Degano Università di Pisa - Dipartimento di Informatica Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
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
Marc Denecker Katholieke Universiteit Leuven Belgium Author of Improving Parity Game Solvers with Justifications within the VMCAI 2020-track in VMCAI 2020
Xi Deng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Yuxin Deng East China Normal University Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020 Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track in POPL 2020
Mingtang Deng Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Haowei Deng University of Science and Technology of China Author of Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices within the PLanQC-track in PLanQC 2020
Dominique Devriese Vrije Universiteit Brussel Belgium Session Chair of Type Systems (part of POPL Research Papers) Session Chair of Types and Effects (part of POPL Research Papers) Author of Fully Abstract from Static to Gradual within the WGT-track in WGT 2020 Presenter of PriSC Introduction within the Principles of Secure Compilation 2020-track in PriSC 2020 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 Author of Automated Program Verification using Abductive Reasoning within the PLMW 2020-track in PLMW 2020 Author of Visualization by Example within the Research Papers-track in POPL 2020 Invited Speaker in Invited speakers 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
Christos Dimoulas PLT @ Northwestern University United States Author of Does Blame Shifting Work? within the Research Papers-track in POPL 2020
Elizabeth Dinella University of Pennsylvania Author of [T1] Building Program Reasoning Tools using LLVM and Z3 within the TutorialFest-track in POPL 2020
Christian Doczkal Université Côte d'Azur Author of Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq within the CPP 2020-track in CPP 2020
Alastair Donaldson Imperial College London United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Derek Dreyer MPI-SWS Germany Author of How to Write Papers So People Can Read Them within the PLMW 2020-track in PLMW 2020 Author of [T4] Proving Semantic Type Soundness in Iris within the TutorialFest-track in POPL 2020 Author of RustBelt Meets Relaxed Memory within the Research Papers-track in POPL 2020 Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020 Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track in POPL 2020 Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track in POPL 2020 Invited Speaker in Invited speakers within the PLMW-track
Cezara Drăgoi INRIA, ENS, CNRS France Committee Member in Program Committee within the POPL Research Papers-track
Andrej Dudenhefner Saarland University Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020
Stefania Dumbrava ENSIIE Paris-Évry France Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Eugene Dumitrescu Oak Ridge National Laboratory Author of Extending Modern C++ for Heterogeneous Quantum-Classical Computing within the PLanQC-track in PLanQC 2020
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
Maxime Dénès Inria Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track in CoqPL 2020 Author of Session with the Coq Development Team within the CoqPL-track in CoqPL 2020
Alejandro Díaz-Caro ICC (UBA-CONICET) & UNQ Argentina Author of Runtime Analysis of Quantum Programs: A Formal Approach within the PLanQC-track in PLanQC 2020
Tomás Díaz IMFD Chile Author of A Mechanized Formalization of GraphQL within the CPP 2020-track in CPP 2020
Gabriel Ebner Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the PADL-track
Mnacho Echenim Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track in ADSL 2020
Daniel Egger IBM Research, Zurich, Switzerland Author of Tuning up entanglement through the cloud using Qiskit-OpenPulse within the PLanQC-track in PLanQC 2020
Gabriel Eiseman Georgia Institute of Technology Author of Rewriting Pure Multiply-Recursive Functions within the Student Research Competition-track in POPL 2020
Richard A. Eisenberg Bryn Mawr College, USA United States Author of Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc within the Research Papers-track in POPL 2020 Author of Kind Inference for Datatypes within the Research Papers-track in POPL 2020
Martin Elsman University of Copenhagen, Denmark Denmark Author of Panel: Memory and real-time programming in practice within the PADL 2020-track in PADL 2020 Author of On the Effects of Integrating Region-based Memory Managemen and Generational Garbage Collection in ML within the PADL 2020-track in PADL 2020
Constantin Enea IRIF, University Paris Diderot & CNRS France Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track in VMCAI 2020 PC Member in Program Committee within the VMCAI-track
Esra Erdem Sabanci University, Turkey Committee Member in Program Committee within the PADL-track
Sebastian Erdweg JGU Mainz Germany Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-track in VMCAI 2020
Johannes Eriksson Author of A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Erik Ernst Google Inc. Denmark Committee Member in Program Committee within the WGT-track
Martin Erwig Oregon State University United States Author of Explanations for Dynamic Programming within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Samuel Estep Liberty University Author of Gradual Program Analysis within the WGT-track in WGT 2020
Azadeh Farzan University of Toronto Canada Author of Reductions for Safety Proofs within the Research Papers-track in POPL 2020
Grigory Fedyukovich Florida State University United States Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track in VMCAI 2020
Yotam Feldman Tel Aviv University Israel Author of Complexity and Information in Invariant Inference within the Research Papers-track in POPL 2020
Andreas Fellner AIT - Austrian Institute of Technology Austria Author of Language Inclusion for Finite Prime Event Structures within the VMCAI 2020-track in VMCAI 2020
Xinyu Feng Nanjing University China Keynote Speaker of Reasoning about Progress of Concurrent Objects within the PEPM 2020-track in PEPM 2020
Yuan Feng Centre for Quantum Software and Information, University of Technology Sydney, Australia Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Yu Feng University of California, Santa Barbara China Author of Visualization by Example within the Research Papers-track in POPL 2020
Jerome Feret INRIA Paris France Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track in VMCAI 2020
Alan Fern Author of Explanations for Dynamic Programming within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Pietro Ferrara Università Ca' Foscari, Venezia, Italy Italy Author of BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results within the VMCAI 2020-track in VMCAI 2020
Johannes K. Fichte TU Dresden Germany Author of Exploiting Database Systems and Treewidth for Counting within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Jean-Christophe Filliatre CNRS, Paris France Committee Member in Program Committee within the CPP-track
Robby Findler Northwestern University, USA United States Author of Does Blame Shifting Work? within the Research Papers-track in POPL 2020 Panelist in Panel within the POPL mark 15 Year Retrospective Panel-track
Bernd Finkbeiner Saarland University Germany Author of How to Win First-Order Safety Games within the VMCAI 2020-track in VMCAI 2020
Denis Firsov Guardtime AS Estonia Author of Verified Security of BLT Signature Scheme within the CPP 2020-track in CPP 2020
Mathias Fleury MPI-INF Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Spencer P. Florence Northwestern University, USA Author of Towards Fully Abstract Compilation for Esterel within the Student Research Competition-track in POPL 2020
Matthew Fluet Rochester Institute of Technology United States Author of Disentanglement in Nested-Parallel Programs within the Research Papers-track in POPL 2020
Kenny Foner Galois Author of How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond within the PLMW 2020-track in PLMW 2020 Author of Panel within the PLMW 2020-track in PLMW 2020 Panelist in Panelists within the PLMW-track Invited Speaker in Invited speakers within the PLMW-track
Arnaud Fontaine ANSSI Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track in CoqPL 2020
Yannick Forster Saarland University Germany Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020 Author of Verified Programming of Turing Machines in Coq within the CPP 2020-track in CPP 2020 Author of Coq à la Carte - A Practical Approach to Modular Syntax with Binders within the CPP 2020-track in CPP 2020 Author of Undecidability of Higher-Order Unification Formalised in Coq within the CPP 2020-track in CPP 2020 Author of The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space within the Research Papers-track in POPL 2020 Author of Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq within the Research Papers-track in POPL 2020
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 Keynote Speaker of Network Verification: Past, Present, and Future within the PEPM 2020-track in PEPM 2020 Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track in POPL 2020 Author of [T7] Programming and Reasoning with Kleene Algebra with Tests within the TutorialFest-track in POPL 2020 Organizer in Organizers within the POPL Ally Skills Session-track
Cédric Fournet Microsoft Research Committee Member in Program Committee within the POPL Research Papers-track
Juliana Franco Microsoft Research, Cambridge United Kingdom Author of Panel within the PLMW 2020-track in PLMW 2020 Panelist in Panelists within the PLMW-track
Cameron Freer Massachusetts Institute of Technology United States Author of Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track in POPL 2020 Committee Member in Steering Committee within the LAFI-track
Aymeric Fromherz Carnegie Mellon University Author of Steel: scaling up memory reasoning for F* within the ADSL 2020-track in ADSL 2020
Frank Fu Session Chair of Invited Talks, Pulses, Errors and Categories (part of PLanQC)
Hongfei Fu Shanghai Jiao Tong University Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track in POPL 2020
Xiang Fu Institute for Quantum Information & State Key Laboratory of High Performance Computing, College of Computer, National University of Defense Technology, Changsha, China China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Zhoulai Fu IT University of Copenhagen, Denmark Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track in POPL 2020
Marco Gaboardi Boston University United States Author of Research as a collaborative effort within the PLMW 2020-track in PLMW 2020 Invited Speaker in Invited speakers within the PLMW-track
Letterio Galletta IMT School for Advanced Studies Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
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
Isabel Garcia-Contreras IMDEA Software Institute Spain Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track in POPL 2020
Ronald Garcia University of British Columbia Author of Gradual Typing as if Types Mattered within the WGT-track in WGT 2020 Committee Member in Program Committee within the WGT-track
Philippa Gardner Imperial College London United Kingdom Speaker of Interactive Knowledge Shares within the HASE 2020-track in HASE 2020
Tal Garfinkel Stanford University Committee Member in Program Committee within the PriSC-track
Deepak Garg Max Planck Institute for Software Systems Germany Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track in POPL 2020 Committee Member in Steering Committee within the PriSC-track
Austin Garrett MIT Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020
Jack Garzella University of Utah United States Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track in VMCAI 2020
Adria Gascon Alan Turing Institute Author of Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL within the CPP 2020-track in CPP 2020
Martin Gebser University of Klagenfurt, Austria Austria Committee Member in Program Committee within the PADL-track
Francesco A. Genco IHPST, Université Paris 1 Author of Par means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs within the Research Papers-track in POPL 2020
Aina Linn Georges Aarhus University Author of Mechanized Reasoning about a Capability Machine within the Principles of Secure Compilation 2020-track in PriSC 2020
Alex Gerdes University of Gothenburg, Sweden Sweden Committee Member in Program Committee within the PADL-track
Neil Ghani University of Strathclyde Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track in CPP 2020
Roberto Giacobazzi University of Verona and IMDEA Software Institute Italy Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track in POPL 2020
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in Program Committee within the PEPM-track
Jürgen Giesl RWTH Aachen University Germany Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track in POPL 2020
Andrew N. Glaudell University of Maryland Author of Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation within the PLanQC-track in PLanQC 2020
Klaus Gleissenthall University of California, San Diego Committee Member in Program Committee within the PriSC-track
Klaus v. Gleissenthall University of California at San Diego, USA Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track in PriSC 2020
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee within the PEPM-track
Shilpi Goel Centaur Technology, Inc. Author of Verifying x86 Instruction Implementations within the CPP 2020-track in CPP 2020
Anitha Gollamudi Harvard University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Hannah Gommerstadt Vassar College Author of Panel within the PLMW 2020-track in PLMW 2020 Panelist in Panelists within the PLMW-track
Andrew D. Gordon Microsoft Research and University of Edinburgh United Kingdom Committee Member in Steering Committee within the LAFI-track
Colin Gordon Drexel University United States Committee Member in Program Committee within the POPL Research Papers-track
Roberta Gori University of Pisa Italy Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track in POPL 2020
Nikos Gorogiannis Facebook and Middlesex University London United Kingdom 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 Author of Gradual Algebraic Data Types within the WGT-track in WGT 2020 Author of Executable Formal Semantics for the POSIX Shell within the Research Papers-track in POPL 2020
Benjamin Gregoire INRIA Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020 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 Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track in CPP 2020 Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-track
Lindsay Groves Victoria University of Wellington Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track in POPL 2020
Torsten Grust University of Tübingen Germany Committee Member in Program Committee within the PEPM-track
Marco Guarnieri IMDEA Software Institute Spain Author of Exorcising Spectres with Secure Compilers within the Principles of Secure Compilation 2020-track in PriSC 2020
Arjun Guha University of Massachusetts Amherst Committee Member in Program Committee within the POPL Research Papers-track
Zheng Guo University of California, San Diego United States Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020
Gopal Gupta Author of Whitebox Induction of Default Rules Using High-Utility Itemset Mining within the PADL 2020-track in PADL 2020 Author of Opening within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020 Author of AQuA: ASP-based Visual Question Answering within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Aarti Gupta Princeton University United States Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track in VMCAI 2020 Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track in POPL 2020
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
Dilian Gurov KTH Royal Institute of Technology Sweden Author of Practical Abstractions for Automated Verification of Shared-Memory Concurrency within the VMCAI 2020-track in VMCAI 2020
Ronghui Gu Columbia University Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Jennifer Hackett University of Nottingham, UK United Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Thanh Hai Nguyen Author of On Repairing Web Services Workflows within the PADL 2020-track in PADL 2020
Ákos Hajdu Budapest University of Technology and Economics Hungary Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Niels Hallenberg Author of Panel: Memory and real-time programming in practice within the PADL 2020-track in PADL 2020 Author of On the Effects of Integrating Region-based Memory Managemen and Generational Garbage Collection in ML within the PADL 2020-track in PADL 2020
Martin Adam Thomas Handley University of Nottingham Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track in POPL 2020
Jesse Michael Han University of Pittsburgh Author of A Formal Proof of the Independence of the Continuum Hypothesis within the CPP 2020-track in CPP 2020
Marcel Hark RWTH Aachen University, Germany Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track in POPL 2020 Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Daniel Hausmann Friedrich-Alexander-Universität Erlangen-Nürnberg Germany Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track in VMCAI 2020
Markus Hecher Author of Exploiting Database Systems and Treewidth for Counting within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Bettina Heim Microsoft Invited Speaker of Invited Talk: Q# - Going Beyond Quantum Circuits within the PLanQC-track in PLanQC 2020 Committee Member in Program Committee within the PLanQC-track
Edith Heiter Saarland University Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020
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) Spain Committee Member in Program Committee within the PADL-track
Christian Herrera fortiss GmbH Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Chris Heunen University of Edinburgh United Kingdom Author of Automated distribution of quantum circuits via hypergraph partitioning within the PLanQC-track in PLanQC 2020
Shaobo He University of Utah United States Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track in VMCAI 2020
Paul He University of Pennsylvania United States Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track in CPP 2020 Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020
Michael Hicks University of Maryland United States Session Chair of Quantum-Classical Communication (part of PLanQC) Author of Tracking Errors through Types in Quantum Programs within the PLanQC-track in PLanQC 2020 Author of Verified translation between low-level quantum languages within the PLanQC-track in PLanQC 2020 Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track in PLanQC 2020 Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track in PLanQC 2020 Author of A Language for Probabilistically Oblivious Computation within the Research Papers-track in POPL 2020 Organizer in Organizing Committee within the PLanQC-track Moderator in Panel within the POPL mark 15 Year Retrospective Panel-track Committee Member in Steering Committee within the PriSC-track
Kesha Hietala University of Maryland Author of Tracking Errors through Types in Quantum Programs within the PLanQC-track in PLanQC 2020 Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track in PLanQC 2020 Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track in PLanQC 2020
André Hirschowitz Université Côte d'Azur Author of Reduction Monads and Their Signatures within the Research Papers-track in POPL 2020
Andrew Hirsch Max Planck Institute for Software Systems Germany Author of Panel within the PLMW 2020-track in PLMW 2020 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Panelist in Panelists within the PLMW-track
Aquinas Hobor National University of Singapore Author of A Functional Proof Pearl: Inverting the Ackermann Hierarchy within the CPP 2020-track in CPP 2020
Jan Hoffmann Carnegie Mellon University United States Workshops Co-Chair in Organizing Committee for POPL 2020 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
Lukas Holik Brno University of Technology Committee Member in Program Committee within the ADSL-track
Zechen Hou East China Normal University Author of Symbolic Bisimulation for Open and Parameterized System within the PEPM 2020-track in PEPM 2020
Cătălin Hriţcu Inria Paris France Session Chair of Invited talk (part of CPP) Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of PC Chairs' report within the CPP 2020-track in CPP 2020 Author of The Next 700 Relational Program Logics within the Research Papers-track in POPL 2020 Program Co-Chair in Program Committee within the CPP-track Chair in Steering Committee within the PriSC-track
Justin Hsu University of Wisconsin-Madison, USA United States Session Chair of Afternoon 1 (part of PLMW) Author of [T6] Verifying Probabilistic Properties with Couplings within the TutorialFest-track in POPL 2020 Author of A Probabilistic Separation Logic within the Research Papers-track in POPL 2020 Author of Relational Proofs for Quantum Programs within the Research Papers-track in POPL 2020 Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track in POPL 2020 Committee Member in Organizing Committee within the POPL Mentoring Breakfasts-track Organizer in Organizing Committee within the PLMW-track Committee Member in Program Committee within the LAFI-track
Guangyao Huang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Yipeng Huang Princeton University United States Committee Member in Program Committee within the PLanQC-track
Anqi Huang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
John Hughes Chalmers University of Technology, Sweden Sweden Session Chair of Memory and Real-Time in Functional Programming (part of PADL) Committee Member in Program Committee within the PADL-track
Marieke Huisman University of Twente Netherlands Author of Practical Abstractions for Automated Verification of Shared-Memory Concurrency within the VMCAI 2020-track in VMCAI 2020
Shih-Han Hung University of Maryland Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track in PLanQC 2020 Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track in PLanQC 2020
Warren Hunt University of Texas Committee Member in Program Committee within the CPP-track
Chung-Kil Hur Seoul National University Korea, South Session Chair of Program Logics (part of POPL Research Papers) Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track in CPP 2020 Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020 Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track
Rémi Hutin IRISA / ENS Rennes France Author of A CompCert Compiler that Preserves Cryptographic Constant-time within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020
Graham Hutton University of Nottingham, UK United Kingdom Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track in POPL 2020
Chunchao Hu School of Information Engineering, Zhengzhou University, Zhengzhou, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Zhenjiang Hu Peking University China Session Chair of Opening & Keynote Talk 1 (part of PEPM) PC Chair of Opening within the PEPM 2020-track in PEPM 2020 Co-chair in PC Chairs within the PEPM-track Co-chair in Program Committee within the PEPM-track
Jason Z.S. Hu McGill University Author of Undecidability of D<: and Its Decidable Fragments within the Research Papers-track in POPL 2020
Antti Hyvärinen Università della Svizzera Italiana Switzerland Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track in VMCAI 2020
Atsushi Igarashi Kyoto University, Japan Japan Session Chair of Sessions 3 & 4 (part of PEPM) Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the WGT-track in WGT 2020 Invited Speaker of Dependently-Typed Multi-Stage Programming Revisited (invited talk) within the PEPM 2020-track in PEPM 2020 Author of Gradual Typing for Extensibility by Rows within the WGT-track in WGT 2020 Committee Member in Program Committee within the WGT-track
Neil Immerman University of Massachusetts, Amherst Author of Complexity and Information in Invariant Inference within the Research Papers-track in POPL 2020
Fabian Immler Carnegie Mellon University Author of The Poincaré-Bendixson Theorem in Isabelle/HOL within the CPP 2020-track in CPP 2020
Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track in ADSL 2020 Committee Member in Program Committee within the ADSL-track Co-chair in Organizing Committee within the ADSL-track
Oren Ish-Shalom Tel Aviv University, Israel Israel Author of Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation within the VMCAI 2020-track in VMCAI 2020 Author of Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction within the VMCAI 2020-track in VMCAI 2020
Takuya Ishizawa Kyoto University Japan Author of Generalized Property-Directed Reachability for Hybrid Systems within the VMCAI 2020-track in VMCAI 2020
Shachar Itzhaky Technion, Israel Israel Author of Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation within the VMCAI 2020-track in VMCAI 2020 Author of Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction within the VMCAI 2020-track in VMCAI 2020
Hideya Iwasaki University of Electro-Communications, Japan Committee Member in Program Committee within the PEPM-track
Harrison J Goldstein University of Pennsylvania Author of Combinatorial Testing for Algebraic Data Types within the Student Research Competition-track in POPL 2020
Guilhem Jaber LS2N, Université de Nantes France Author of SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References within the Research Papers-track in POPL 2020 Committee Member in Selection Committee within the POPL Student Research Competition-track
Julian Jabs University of Tübingen Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track in POPL 2020
Swen Jacobs CISPA Helmholtz Center for Information Security Germany Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track in VMCAI 2020
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020
Koen Jacobs KU Leuven Author of Fully Abstract from Static to Gradual within the WGT-track in WGT 2020
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
Michael James University of California, San Diego United States Author of Synthesis from Partial Refinement Types within the Student Research Competition-track in POPL 2020 Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020
Dustin Jamner Northeastern University, USA Author of Graduality and Parametricity: Together Again for the First Time within the Research Papers-track in POPL 2020
David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University France Author of Panel: Memory and real-time programming in practice within the PADL 2020-track in PADL 2020 Author of A Timed IO Monad within the PADL 2020-track in PADL 2020
Ali Javadi-Abhari IBM T.J. Watson Research Center, New York, USA Author of Tuning up entanglement through the cloud using Qiskit-OpenPulse within the PLanQC-track in PLanQC 2020
Ranjit Jhala University of California, San Diego United States Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020
Hanru Jiang Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
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
Lei Jin School of Information Engineering, Zhengzhou University, Zhengzhou, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Mark Jones Portland State University Author of Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc within the Research Papers-track in POPL 2020
Martin Jonáš Fondazione Bruno Kessler Italy Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Jacques-Henri Jourdan CNRS, LRI, Université Paris-Sud France Author of RustBelt Meets Relaxed Memory within the Research Papers-track in POPL 2020 Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track in POPL 2020
Ralf Jung MPI-SWS Germany Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020 Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track in POPL 2020
Kwanghee Jung Author of VRASP: A Virtual Reality Environment for Learning Answer Set Programming within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Kristoffer Just Arndal Andersen Aarhus University Denmark Technical Support in Organizing Committee for POPL 2020
David Justo University of California, San Diego United States Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020
M. Frans Kaashoek Massachusetts Institute of Technology, USA Author of Verifying concurrent Go code in Coq with Goose within the CoqPL-track in CoqPL 2020
Bishoksan Kafle The university of Melbourne Australia Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Jan-Oliver Kaiser MPI-SWS Author of RustBelt Meets Relaxed Memory within the Research Papers-track in POPL 2020
Ilia Kaisin National Research University Higher School of Economics, JetBrains Research Russia Author of Mechanization of Data Race Freedom guarantee proofs for Weakestmo memory model within the Student Research Competition-track in POPL 2020
Cezary Kaliszyk University of Innsbruck Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track in CPP 2020
Yukiyoshi Kameyama University of Tsukuba, Japan Japan Author of Module Generation without Regret within the PEPM 2020-track in PEPM 2020
Benjamin Lucien Kaminski RWTH Aachen University, Germany Germany Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track in POPL 2020
Ohad Kammar University of Edinburgh United Kingdom Session Chair of Probabilistic Programming (part of POPL Research Papers) Session Chair of Sessions 1 & 2 (part of PEPM) Invited Speaker of Frex: Free extensions for normalisation by evaluation (invited talk) within the PEPM 2020-track in PEPM 2020 Co-chair in Program Committee within the LAFI-track Committee Member in Program Committee within the POPL Research Papers-track
Hrutvik Kanabar University of Kent Author of Verified efficient libraries for CakeML within the Student Research Competition-track in POPL 2020
Naoki Kanazawa IBM Research, Tokyo, Japan Author of Tuning up entanglement through the cloud using Qiskit-OpenPulse within the PLanQC-track in PLanQC 2020
Jeehoon Kang KAIST South Korea Artifact Evaluation Co-Chair in Organizing Committee for POPL 2020 Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track in POPL 2020 Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track in POPL 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tobias Kappé University College London Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track in POPL 2020
Jerzy Karczmarczuk France Committee Member in Program Committee within the LAFI-track
Jonas Kastberg Hinrichsen IT University of Copenhagen Denmark Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track in POPL 2020
Jens Katelaan Author of Strong-Separation Logic within the ADSL 2020-track in ADSL 2020 Author of Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth within the ADSL 2020-track in ADSL 2020
Joost-Pieter Katoen RWTH Aachen University Germany Author of Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification within the Research Papers-track in POPL 2020
Alex Kavvos Aarhus University Denmark Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track in POPL 2020
Sven Keidel JGU Mainz Germany Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-track in VMCAI 2020
Chantal Keller LRI, Université Paris-Sud France Author of SMTCoq: Safe and efficient automation in Coq (Keynote) within the CoqPL-track in CoqPL 2020 Invited Speaker in Invited speakers within the CoqPL-track
Martin Kellogg University of Washington, Seattle United States Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Marie Kerjean Committee Member in Program Committee within the LAFI-track
Kristian Kersting TU Darmstadt Germany Committee Member in Program Committee within the PADL-track
Deokhwan Kim CSAIL, MIT Author of Synthesizing Replacement Classes within the Research Papers-track in POPL 2020
Jinwoo Kim University of Wisconsin-Madison Author of Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems within the Student Research Competition-track in POPL 2020
Jung-Eun Kim Yale University Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Yoonseung Kim Seoul National University (South Korea) Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Dongjoo Kim Seoul National University Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track in POPL 2020
Yonghyun Kim Seoul National University, South Korea Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track in POPL 2020
Hong-Seok Kim Chair of Working Sessions I within the HASE 2020-track in HASE 2020 Committee Member in Organizing Committee within the HASE-track
Zachary Kincaid Princeton University United States Workshops Co-Chair in Organizing Committee for POPL 2020 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
Alexis King Northwestern University Author of Does Blame Shifting Work? within the Research Papers-track in POPL 2020
Dominik Kirst Saarland University Germany Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 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 Session Chair of Logical Engines and Applications (part of PADL) Author of Closing within the PADL 2020-track in PADL 2020 Chair in Program Chairs within the PADL-track
Sung Kook Kim University of California, Davis Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track in POPL 2020
Andre Kornell Tulane University Author of Quantum CPOs within the PLanQC-track in PLanQC 2020
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 Institute of Information Science, Academia Sinica, Taiwan Web Chair in Organizing Committee for POPL 2020 Committee Member in Program Committee within the PADL-track
Dexter Kozen Cornell University United States Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track in POPL 2020 Author of [T7] Programming and Reasoning with Kleene Algebra with Tests within the TutorialFest-track in POPL 2020 Author of Semantics of Higher-Order Probabilistic Programs with Conditioning within the Research Papers-track in POPL 2020
Robbert Krebbers Delft University of Technology Netherlands Session Chair of Contributed Talks & Coq Developers (part of CoqPL) Session Chair of Invited Talk (part of CoqPL) Session Chair of Morning 2 (part of PLMW) Author of Relational reasoning using concurrent separation logic within the ADSL 2020-track in ADSL 2020 Author of Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages within the CPP 2020-track in CPP 2020 Author of [T4] Proving Semantic Type Soundness in Iris within the TutorialFest-track in POPL 2020 Author of Actris: Session-Type Based Reasoning in Separation Logic within the Research Papers-track in POPL 2020 Committee Member in Organizing Committee within the POPL Mentoring Breakfasts-track 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
Neel Krishnaswami Computer Laboratory, University of Cambridge Author of Seminaïve Evaluation for a Higher-Order Functional Language within the Research Papers-track in POPL 2020
Paul Krogmeier University of Illinois at Urbana-Champaign Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track in POPL 2020
Andre Kuhlenschmidt Indiana University United States Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track in WGT 2020
Ramana Kumar DeepMind United Kingdom Committee Member in Program Committee within the PADL-track
Prashant Kumar Author of Explanations for Dynamic Programming within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Fabian Kunze Saarland University Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020 Author of Verified Programming of Turing Machines in Coq within the CPP 2020-track in CPP 2020 Author of The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space within the Research Papers-track in POPL 2020
Lindsey Kuper University of California, Santa Cruz Author of Making Progress Under Uncertainty in SMT Solving, Research, and Life within the PLMW 2020-track in PLMW 2020 Invited Speaker in Invited speakers 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
Marta Kwiatkowska University of Oxford Keynote Speaker of Safety and Robustness for Deep Learning with Provable Guarantees within the VMCAI 2020-track in VMCAI 2020 Invited Speaker in Invited Speakers within the VMCAI-track
Robert Künnemann CISPA, Saarland University Author of Universal Composability is Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Rami Gökhan Kıcı University of California at San Diego, USA Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track in PriSC 2020
Dongho LEE LRI / CEA LIST, Univ Paris Saclay Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track in PLanQC 2020
Brian LaChance Tufts University Author of Towards efficient, executable abstract machines within the Student Research Competition-track in POPL 2020
Risto Laanoja Guardtime AS Author of Verified Security of BLT Signature Scheme within the CPP 2020-track in CPP 2020
Ambroise Lafont Inria, France Author of Reduction Monads and Their Signatures within the Research Papers-track in POPL 2020
Ori Lahav Tel Aviv University Student Research Competition Co-Chair in Organizing Committee for POPL 2020 Session Chair of Papers 8 (part of VMCAI) Session Chair of Automated verification and SAT solving (part of CPP) 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
Ruben Lapauw Katholieke Universiteit Leuven Belgium Author of Improving Parity Game Solvers with Justifications within the VMCAI 2020-track in VMCAI 2020
Vincent Laporte Inria Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track in CoqPL 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020
Dominique Larchey-Wendling CNRS, LORIA France Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020 Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the ADSL-track
Ken Friis Larsen DIKU, University of Copenhagen Denmark Author of Hermes: Implementing Cryptography without Side-channels within the Principles of Secure Compilation 2020-track in PriSC 2020
Ben Laurie Google Research Chair of Working Sessions II within the HASE 2020-track in HASE 2020 Chair of Working Sessions I within the HASE 2020-track in HASE 2020 Committee Member in Organizing Committee within the HASE-track
Lukas Lazarek Northwestern University Author of Does Blame Shifting Work? within the Research Papers-track in POPL 2020
Wonyeol Lee KAIST South Korea Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track in POPL 2020 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Rodolphe Lepigre MPI-SWS Germany Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020
Sorin Lerner University of California, San Diego Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track in CPP 2020
Xavier Leroy Collège de France France Author of Theorem provers are a P.L. researcher's best friend within the PLMW 2020-track in PLMW 2020 Invited Speaker in Invited speakers within the PLMW-track Panelist in Panel within the POPL mark 15 Year Retrospective Panel-track
Mohsen Lesani University of California, Riverside Session Chair of Synthesis (part of POPL Research Papers) Session Chair of Synthesis (part of POPL Research Papers) Committee Member in Program Committee within the POPL Research Papers-track
Thomas Letan ANSSI Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track in CoqPL 2020 Author of FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track in CPP 2020
Michael Leuschel University of Düsseldorf Committee Member in Program Committee within the PADL-track
Maxwell Levatich Yale United States Author of Solving LIA* Using Approximations within the VMCAI 2020-track in VMCAI 2020
Quang Loc Le Teesside University United Kingdom Committee Member in Program Committee within the ADSL-track
Robert Y. Lewis Vrije Universiteit Amsterdam Netherlands Session Chair of Formalized mathematics 1 (part of CPP)
Alexander K. Lew Massachusetts Institute of Technology, USA United States Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020 Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track in POPL 2020 Chair in Organizer within the POPL LGBTQ Lunch-track
Ondřej Lhoták University of Waterloo Canada Author of Undecidability of D<: and Its Decidable Fragments within the Research Papers-track in POPL 2020
Hongjin Liang Nanjing University, China China Committee Member in Program Committee within the CPP-track
Kevin Liao Max Planck Institute for Security and Privacy Author of A Probabilistic Separation Logic within the Research Papers-track in POPL 2020
Dan Licata Wesleyan University United States Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track in POPL 2020
Benjamin Lim Carnegie Mellon University Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track in PriSC 2020
Bert Lindenhovius Tulane University Author of Quantum CPOs within the PLanQC-track in PLanQC 2020
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 Alessandra Lisi University of Bari Italy Committee Member in Program Committee within the PADL-track
Tadeusz Litak FAU Erlangen-Nuremberg, INF 8 Germany Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track in VMCAI 2020 Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track in POPL 2020
Mengqi Liu Yale University Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Wanwei Liu National University of Defense Technology Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Chang Liu Citadel Securities Author of A Language for Probabilistically Oblivious Computation within the Research Papers-track in POPL 2020
Y. Annie Liu Stony Brook University United States Session Chair of Reasoning and Efficient Implementation (part of PADL) Session Chair of Invited Experience and Direction Session (Continued) (part of PADL) Author of Closing within the PADL 2020-track in PADL 2020 Chair in Program Chairs within the PADL-track
Quanxi Li University of Science and Technology of China China Author of Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices within the PLanQC-track in PLanQC 2020
Pavel Lougovski Oak Ridge National Laboratory Author of Extending Modern C++ for Heterogeneous Quantum-Classical Computing within the PLanQC-track in PLanQC 2020
Kuang-Chen Lu Indiana University Bloomington United States Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track in WGT 2020
Brooks MacLachlan McMaster University Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track in PEPM 2020
Julian Mackay Victoria University of Wellington Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track in POPL 2020
Dougal Maclaurin Co-chair in Program Committee within the LAFI-track
Eric Madelaine INRIA Author of Symbolic Bisimulation for Open and Parameterized System within the PEPM 2020-track in PEPM 2020
P. Madhusudan University of Illinois at Urbana-Champaign United States Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track in POPL 2020
Marco Maggesi Università di Firenze Author of Reduction Monads and Their Signatures within the Research Papers-track in POPL 2020
Ratul Mahajan University of Washington, Intentionet Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track in POPL 2020
Assia Mahboubi INRIA France Committee Member in Program Committee within the CPP-track Co-chair in Organizing Committee within the CoqPL-track
Kenji Maillard Inria Nantes & University of Chile Author of The Next 700 Relational Program Logics within the Research Papers-track in POPL 2020
Carol Mak University of Oxford Author of A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation within the LAFI (né PPS)-track in LAFI 2020
Gregory Malecha BedRock Systems United States Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020
Stefan Malewski University of Santiago de Chile Author of Gradual Algebraic Data Types within the WGT-track in WGT 2020
Sharad Malik Princeton University United States Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track in VMCAI 2020
Roman Manevich Mellanox Technologies Israel Author of Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation within the VMCAI 2020-track in VMCAI 2020
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
Vikash Mansinghka MIT Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020
Vikash Mansinghka MIT Author of Monte Carlo Semantic Differencing of Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020 Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track in POPL 2020 Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track in POPL 2020
Alessio Mansutti CNRS, LSV, ENS Paris-Saclay Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Giulio Manzonetto Université Paris 13 France Author of Taylor Subsumes Scott, Berry, Kahn and Plotkin within the Research Papers-track in POPL 2020
Claude Marché Inria Saclay & Université Paris-Saclay Author of Deductive Verification with Ghost Monitors within the Research Papers-track in POPL 2020
Matteo Marescotti Università della Svizzera Italiana Switzerland Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track in VMCAI 2020
Patrick Massot Université Paris Sud Author of Formalising perfectoid spaces within the CPP 2020-track in CPP 2020
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 Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track in POPL 2020 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tom Mattinson University of Oxford Author of Density Functions of Statistical Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020
Luke Maurer Galois, Inc Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Damiano Mazza CNRS France Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track in LAFI 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track in POPL 2020
Alexander McCaskey Oak Ridge National Laboratory Author of Extending Modern C++ for Heterogeneous Quantum-Classical Computing within the PLanQC-track in PLanQC 2020
David C. McKay IBM T.J. Watson Research Center, New York, USA Author of Tuning up entanglement through the cloud using Qiskit-OpenPulse within the PLanQC-track in PLanQC 2020
James McKinna University of Edinburgh Author of Blame tracking at higher fidelity within the WGT-track in WGT 2020
Tyler McMullen Fastly United States Keynote Speaker of Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing within the Principles of Secure Compilation 2020-track in PriSC 2020
Jonathan Mendelson University of Pennsylvania Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track in POPL 2020
Denis Merigoux INRIA France Author of Steel: scaling up memory reasoning for F* within the ADSL 2020-track in ADSL 2020
Eric Mertens Galois, Inc. Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Roland Meyer TU Braunschweig Author of Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation within the Research Papers-track in POPL 2020
Zeina Migeed University of California, Los Angeles Author of What is Decidable about Gradual Types? within the Research Papers-track in POPL 2020
Tiffany Mintz Oak Ridge National Laboratory Author of Extending Modern C++ for Heterogeneous Quantum-Classical Computing within the PLanQC-track in PLanQC 2020
Sasa Misailovic University of Illinois at Urbana-Champaign United States Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track in POPL 2020
Michael Mislove Tulane Local Chair in Organizing Committee for POPL 2020 Author of Quantum CPOs within the PLanQC-track in PLanQC 2020
Torben Mogensen DIKU, University of Copenhagen Author of Hermes: Implementing Cryptography without Side-channels within the Principles of Secure Compilation 2020-track in PriSC 2020
Anshuman Mohan National University of Singapore Singapore Author of A Functional Proof Pearl: Inverting the Ackermann Hierarchy within the CPP 2020-track in CPP 2020
David Monniaux CNRS, VERIMAG France PC Member in Program Committee within the VMCAI-track
Shirley Moore Oak Ridge National Laboratory Author of Extending Modern C++ for Heterogeneous Quantum-Classical Computing within the PLanQC-track in PLanQC 2020
Scott Moore Galois, Inc Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Edward Morehouse Wesleyan University Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track in POPL 2020
J. Garrett Morris University of Kansas, USA United States Author of Blame tracking at higher fidelity within the WGT-track in WGT 2020 Author of Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc within the Research Papers-track in POPL 2020
Madhavan Mukund Chennai Mathematical Institute India Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track in VMCAI 2020
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
Adithya Murali University of Illinois at Urbana-Champaign Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track in POPL 2020
Andrzej Murawski University of Oxford United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Jeffrey Murphy Author of RTMLton: An SML Runtime for Real-Time Systems within the PADL 2020-track in PADL 2020 Author of Panel: Memory and real-time programming in practice within the PADL 2020-track in PADL 2020
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
Anders Mörtberg Department of Mathematics, Stockholm University Sweden Author of Cubical Synthetic Homotopy Theory within the CPP 2020-track in CPP 2020
Jan Tobias Mühlberg imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
Christian Müller Technical University of Munich Germany Author of How to Win First-Order Safety Games within the VMCAI 2020-track in VMCAI 2020
Santosh Nagarakatte Rutgers University, USA United States Committee Member in Steering Committee within the PriSC-track
Mayur Naik University of Pennsylvania Author of Invited Talk: Learning Interpretable Rules from Structured Data within the PADL 2020-track in PADL 2020 Invited Speaker of Panel: Experience and Direction within the PADL 2020-track in PADL 2020 Author of [T1] Building Program Reasoning Tools using LLVM and Z3 within the TutorialFest-track in POPL 2020 Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track in POPL 2020
Keisuke Nakano Tohoku University Japan Committee Member in Program Committee within the PEPM-track
Egor Namakonov JetBrains Research, St Petersburg University Author of Correctness of compilation of OCaml memory model to Power within the Student Research Competition-track in POPL 2020
Kedar Namjoshi Bell Labs, Nokia United States Session Chair of Papers 2 (part of VMCAI) Author of Witnessing Secure Compilation within the VMCAI 2020-track in VMCAI 2020 Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track in POPL 2020 PC Member in Program Committee within the VMCAI-track
Aleksandar Nanevski IMDEA Software Institute Spain Committee Member in Program Committee within the ADSL-track
Raja Natarajan Tata Institute of Fundamental Research Mumbai Author of A Constructive Formalization of the Weak Perfect Graph Theorem within the CPP 2020-track in CPP 2020
Gil Neiger Intel Corporation United States Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track in POPL 2020
Max New Northeastern University Author of Graduality and Parametricity: Together Again for the First Time within the Research Papers-track in POPL 2020
Vinh The Nguyen Texas Tech University United States Author of VRASP: A Virtual Reality Environment for Learning Answer Set Programming within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Jakob Botsch Nielsen Concordium Blockchain Research Center, Aarhus University Author of ConCert: A Smart Contract Certification Framework in Coq within the CPP 2020-track in CPP 2020
Vivek Nigam Federal University of Paraiba / fortiss Germany Committee Member in Program Committee within the CPP-track
Tobias Nipkow Technische Universität München Session Chair of Formalized mathematics 2 (part of CPP) Author of Proof Pearl: Braun Trees within the CPP 2020-track in CPP 2020
Yannic Noller Humboldt-Universität zu Berlin Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Job Noorman imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
Fredrik Nordvall Forsberg University of Strathclyde Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track in CPP 2020
Peter O'Hearn Facebook Speaker of Interactive Knowledge Shares within the HASE 2020-track in HASE 2020 Author of Incorrectness Logic within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the ADSL-track
Fritz Obermeyer Invited Speaker of Invited talk: Nonstandard Interpretation in Pyro within the LAFI (né PPS)-track in LAFI 2020
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Author of Kind Inference for Datatypes within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the PEPM-track
Luca Olivieri JuliaSoft SRL Italy Author of BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results within the VMCAI 2020-track in VMCAI 2020
Federico Olmedo University of Chile & IMFD Chile Author of Runtime Analysis of Quantum Programs: A Formal Approach within the PLanQC-track in PLanQC 2020 Author of A Mechanized Formalization of GraphQL within the CPP 2020-track in CPP 2020
C.-H. Luke Ong University of Oxford United Kingdom Author of Density Functions of Statistical Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020 Author of A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation within the LAFI (né PPS)-track in LAFI 2020
Wytse Oortwijn ETH Zürich Switzerland Author of Practical Abstractions for Automated Verification of Shared-Memory Concurrency within the VMCAI 2020-track in VMCAI 2020
Klaus Ostermann University of Tübingen, Germany Germany Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track in POPL 2020
Roy Overbeek Vrije Universiteit Amsterdam Netherlands Author of Formalizing Determinacy of Concurrent Revisions within the CPP 2020-track in CPP 2020
Scott Owens University of Kent, UK United Kingdom Panelist in Panel within the POPL mark 15 Year Retrospective Panel-track
Saswat Padhi University of California, Los Angeles United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Michele Pagani IRIF - Université de Paris France Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the LAFI (né PPS)-track in LAFI 2020 Author of Backpropagation in the Simply Typed Lambda-calculus with Linear Negation within the Research Papers-track in POPL 2020
Jens Palsberg University of California, Los Angeles Session Chair of Welcome + SIGPLAN Award Ceremony (part of POPL Research Papers) Author of What is Decidable about Gradual Types? within the Research Papers-track in POPL 2020 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
Bryan Parno Carnegie Mellon University United States Author of WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing within the Principles of Secure Compilation 2020-track in PriSC 2020
Masoumeh Parsa Author of A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Gaurav Parthasarathy ETH Zurich Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020
Pardis Pashakhanloo University of Pennsylvania United States Author of [T1] Building Program Reasoning Tools using LLVM and Z3 within the TutorialFest-track in POPL 2020
Andrei Paskevich LRI, Université Paris-Sud & CNRS Author of Deductive Verification with Ghost Monitors within the Research Papers-track in POPL 2020
Grant Passmore Imandra Inc. Author of Invited Talk: An Introduction to the Imandra Automated Reasoning System within the PADL 2020-track in PADL 2020 Invited Speaker of Panel: Experience and Direction within the PADL 2020-track in PADL 2020
Marco Patrignani Stanford University & CISPA United States Session Chair of Compartmentalization, memory safety, and isolation (part of PriSC) Author of Memory Safety Preservation for WebAssembly within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Universal Composability is Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Exorcising Spectres with Secure Compilers within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Daniel Patterson Northeastern University United States Author of Foreign Function Typing: Semantic Type Soundness for FFIs within the WGT-track in WGT 2020 Committee Member in Program Committee within the PriSC-track
Andreas Pavlogiannis Aarhus University Author of Fast, Sound, and Effectively Complete Dynamic Race Prediction within the Research Papers-track in POPL 2020
Dusko Pavlovic University of Hawaii United States Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track in POPL 2020
Jennifer Paykin Galois, Inc. United States Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020 Invited Speaker of Invited Talk: Quantum Computing for Programming Languages Researchers within the PLanQC-track in PLanQC 2020 Committee Member in Program Committee within the PLanQC-track
Barak A. Pearlmutter Maynooth University Ireland Committee Member in Program Committee within the LAFI-track
Nicolas Peltier Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track in ADSL 2020
Álvaro García Perez IMDEA Software Institute Committee Member in Program Committee within the PEPM-track
Valentin Perrelle CEA, LIST, France Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track in PLanQC 2020 Author of Qbricks: formal verification in quantum computing within the PLanQC-track in PLanQC 2020
Dmitry Petrashko Stripe Committee Member in Program Committee within the WGT-track
David Pichardie Univ Rennes, ENS Rennes, IRISA France Author of Towards Formally Verified Just-in-Time compilation within the CoqPL-track in CoqPL 2020 Author of A CompCert Compiler that Preserves Cryptographic Constant-time within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020
Brigitte Pientka McGill University General Chair in Organizing Committee for POPL 2020 Session Chair of Datalog, OO + Functional Programming (part of POPL Research Papers) Session Chair of Welcome + SIGPLAN Award Ceremony (part of POPL Research Papers) Session Chair of Invited Talk (part of POPL Research Papers) Session Chair of Invited Talk (part of POPL Research Papers) General Chair of Opening within the PLMW 2020-track in PLMW 2020 Committee Member in Organizers within the POPL W@POPL Dinner-track Panelist in Panel within the POPL mark 15 Year Retrospective Panel-track
Benjamin C. Pierce University of Pennsylvania United States Session Chair of Mechanized metatheory (part of CPP) Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the CPP-track Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-track Panelist in Panel within the POPL mark 15 Year Retrospective Panel-track
Frank Piessens KU Leuven Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
Maciej Piróg University of Wrocław Poland Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track in POPL 2020
Ruzica Piskac Yale University, USA United States Session Chair of Papers 4 (part of VMCAI) Author of Solving LIA* Using Approximations within the VMCAI 2020-track in VMCAI 2020 Industrial Relations Co-Chair in Steering Committee within the VMCAI-track
Gordon Plotkin Google Author of A Simple Differentiable Programming Language within the Research Papers-track in POPL 2020
Andreas Podelski University of Freiburg, Germany Germany Session Chair of Papers 6 (part of VMCAI) Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track in VMCAI 2020 PC Member in Program Committee within the VMCAI-track Steering Committee Chair in Steering Committee within the VMCAI-track
Piotr Polesiuk University of Wrocław Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track in POPL 2020
Nadia Polikarpova University of California, San Diego United States Author of Programs Synthesis with Separation Logic within the ADSL 2020-track in ADSL 2020 Author of [T3] Synthesizing Programs from Types within the TutorialFest-track in POPL 2020 Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020 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 New Mexico State University United States Committee Member in Program Committee within the PADL-track
Enrico Pontelli New Mexico State University Author of On Repairing Web Services Workflows within the PADL 2020-track in PADL 2020
Sorawee Porncharoenwase University of Washington United States Author of Fixing Code That Explodes Under Symbolic Evaluation within the VMCAI 2020-track in VMCAI 2020
Alex Potanin Victoria University of Wellington New Zealand Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track in POPL 2020
Kostiantyn Potomkin Committee Member in Artifact-Evaluation Committee within the VMCAI-track
François Pottier Inria, France France Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track in POPL 2020
Damien Pous CNRS, ENS Lyon Author of Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq within the CPP 2020-track in CPP 2020
Marc Pouzet École normale supérieure France Author of Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset within the Research Papers-track in POPL 2020
Sarah Powers Oak Ridge National Laboratory Author of Extending Modern C++ for Heterogeneous Quantum-Classical Computing within the PLanQC-track in PLanQC 2020
Jonathan Protzenko Microsoft Research, Redmond United States Session Chair of Compartmentalization, memory safety, and isolation (part of PriSC) Chair of Working Sessions I within the HASE 2020-track in HASE 2020 Committee Member in Organizing Committee within the HASE-track Committee Member in Program Committee within the PriSC-track Committee Member in Steering Committee within the PriSC-track
Loïc Pujet Gallinette Project-Team, Inria Author of Cubical Synthetic Homotopy Theory within the CPP 2020-track in CPP 2020
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
Pierre-Marie Pédrot INRIA Author of The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects within the Research Papers-track in POPL 2020
Shaz Qadeer Facebook United States PC Member in Program Committee within the VMCAI-track
Xiaogang Qiang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Azalea Raad MPI-SWS, Germany United Kingdom Session Chair of Program Logics (part of POPL Research Papers) Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track in POPL 2020 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
Mukund Raghothaman University of Southern California Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track in POPL 2020
Vincent Rahli University of Birmingham Committee Member in Program Committee within the CPP-track
Tom Rainforth Department of Statistics, University of Oxford Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track in LAFI 2020
Zvonimir Rakamaric University of Utah United States Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track in VMCAI 2020
Tahina Ramananandro Microsoft Research, n.n. United States Author of Short Talk: Everparse within the Principles of Secure Compilation 2020-track in PriSC 2020
Robert Rand University of Maryland United States Session Chair of Introduction and Invited Talks (part of PLanQC) Author of Tracking Errors through Types in Quantum Programs within the PLanQC-track in PLanQC 2020 Author of Verified translation between low-level quantum languages within the PLanQC-track in PLanQC 2020 Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track in PLanQC 2020 Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track in PLanQC 2020 Author of [T2] Verified Quantum Computing within the TutorialFest-track in POPL 2020 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
Marianna Rapoport University of Waterloo Canada Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020
Christoph Rauch FAU Erlangen-Nürnberg, Lehrstuhl 8 Germany Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track in VMCAI 2020
Benoit Razet Galois, Inc Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Adrian Rebola Pardo TU Wien Author of Frying the Egg, Roasting The Chicken: Unit Deletions in DRAT Proofs within the CPP 2020-track in CPP 2020
Tamara Rezk Inria France Committee Member in Steering Committee within the PriSC-track
Rojin Rezvan Sharif University Author of Parameterized Verification under TSO is PSPACE-Complete within the Research Papers-track in POPL 2020
Francesco Ricca University of Calabria, Italy Italy Committee Member in Program Committee within the PADL-track
Lionel Rieg Verimag Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Manuel Rigger ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Martin Rinard MIT United States Author of Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track in POPL 2020 Author of Synthesizing Replacement Classes within the Research Papers-track in POPL 2020
Noam Rinetzky Tel Aviv University Israel Author of Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation within the VMCAI 2020-track in VMCAI 2020 Author of Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction within the VMCAI 2020-track in VMCAI 2020 Committee Member in Program Committee within the POPL Research Papers-track
Talia Ringer University of Washington United States Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track in CPP 2020 Organizing Chair in Organizing Committee within the POPL mark 15 Year Retrospective Panel-track
Xavier Rival INRIA/CNRS/ENS Paris France Session Chair of Abstract Interpretation (part of POPL Research Papers) Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track
Exequiel Rivas Inria Paris Author of The Next 700 Relational Program Logics within the Research Papers-track in POPL 2020
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 Author of Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation within the PLanQC-track in PLanQC 2020 Committee Member in Program Committee within the PLanQC-track
Grigore Rosu University of Illinois at Urbana-Champaign United States Author of Invited talk: Matching Logic: The Foundation of the K Framework within the CPP 2020-track in CPP 2020
Eric Rothstein-Morris Singapore University of Technology and Design Singapore Author of Systematic Classification of Attackers via Bounded Model Checking within the VMCAI 2020-track in VMCAI 2020
Marc Roth Saarland University and MMCI and Merton College, Oxford University Author of The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space within the Research Papers-track in POPL 2020
Arjen Rouvoet Delft University of Technology Netherlands Author of Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages within the CPP 2020-track in CPP 2020
Sukyoung Ryu KAIST, South Korea Korea, South Committee Member in Program Committee within the POPL Research Papers-track
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Author of FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track in CPP 2020
Marek S. Baranowski University of Utah United States Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track in VMCAI 2020
Yaniv Sa'ar Nokia Bell Labs, Kfar Saba, Israel Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track in POPL 2020
Feras Saad Massachusetts Institute of Technology United States Author of Optimal Approximate Sampling From Discrete Probability Distributions within the Research Papers-track in POPL 2020
Mooly Sagiv Tel Aviv University Israel Author of Complexity and Information in Invariant Inference within the Research Papers-track in POPL 2020
Konstantinos (Kostis) Sagonas Uppsala University, Sweden Sweden Session Chair of Invited Experience and Direction Session (part of PADL) Session Chair of Invited Experience and Direction Session (Continued) (part of PADL) Author of [T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models within the TutorialFest-track in POPL 2020
Mouhammad Sakr Saarland University Germany Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track in VMCAI 2020
Malavika Samak CSAIL, MIT United States Author of Synthesizing Replacement Classes within the Research Papers-track in POPL 2020
Roopsha Samanta Purdue University Session Chair of Complexity / Decision Procedures (part of POPL Research Papers) Session Chair of Synthesis and Decision Procedures (part of POPL Research Papers) Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track
Michael Sammler MPI-SWS Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track in POPL 2020
Roland Samuelson Georgia Institute of Technology Author of Internal Type-Theoretic Complexity Analysis within the Student Research Competition-track in POPL 2020
Alex Sanchez-Stern University of California, San Diego United States Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track in CPP 2020
João Saraiva University of Minho, Portugal Committee Member in Program Committee within the PEPM-track
Susmit Sarkar University of St. Andrews Session Chair of Concurrency / Memory (part of POPL Research Papers) Session Chair of Concurrent Programming & Session Types (part of POPL Research Papers) Committee Member in Program Committee within the POPL Research Papers-track
Isao Sasano Shibaura Institute of Technology Japan Author of An approach to generating text-based IDEs with syntax completion from syntax specification within the PEPM 2020-track in PEPM 2020
Annabel Satin P.C.K. Treasurer & Conference Manager in Organizing Committee for POPL 2020
Yuhi Sato University of Tsukuba Author of Module Generation without Regret within the PEPM 2020-track in PEPM 2020
Christian Schilling IST Austria Austria Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Bernhard Scholz University of Sydney, Australia Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track in POPL 2020
Tom Schrijvers KU Leuven Author of PλωNK: Functional Probabilistic NetKAT within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the PEPM-track
Daniel Schwartz-Narbonne Amazon, n.n. PC Member in Program Committee within the VMCAI-track
Helmut Seidl Technische Universität München Germany Author of How to Win First-Order Safety Games within the VMCAI 2020-track in VMCAI 2020
Martina Seidl Johannes Kepler University Linz, Austria PC Member in Program Committee within the VMCAI-track
Taro Sekiyama National Institute of Informatics Japan Author of Panel within the PLMW 2020-track in PLMW 2020 Author of Gradual Typing for Extensibility by Rows within the WGT-track in WGT 2020 Panelist in Panelists within the PLMW-track
Peter Selinger Dalhousie University Invited Speaker of Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper within the PLanQC-track in PLanQC 2020
Antoine Sere Ecole Polytechnique France Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track in VMCAI 2020
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Committee Member in Program Committee within the CPP-track
Thomas Sewell Chalmers University of Technology, Sweden Sweden Author of Proof Pearl: Braun Trees within the CPP 2020-track in CPP 2020
Peter Sewell University of Cambridge Speaker of Interactive Knowledge Shares within the HASE 2020-track in HASE 2020 Organizing Committee in Organizing Committee within the POPL mark 15 Year Retrospective Panel-track Panelist in Panel within the POPL mark 15 Year Retrospective Panel-track
Ramy Shahin Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020 Author of Variability-aware Datalog within the PADL 2020-track in PADL 2020
Farhad Shakerin Author of Whitebox Induction of Default Rules Using High-Utility Itemset Mining within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020 Author of AQuA: ASP-based Visual Question Answering within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Natarajan Shankar SRI International, USA United States Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track in VMCAI 2020 Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track in VMCAI 2020 Author of A Verified Packrat Parser Interpreter for Parsing Expression Grammars within the CPP 2020-track in CPP 2020
Chung-chieh Shan Indiana University, USA Committee Member in Steering Committee within the LAFI-track
Zhong Shao Yale University United States Session Chair of Concurrency and linearity (part of CPP) Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Natasha Sharygina USI Lugano, Switzerland Switzerland Session Chair of Papers 1 (part of VMCAI) Author of A Cooperative Parallelization Approach for Property-Directed k-Induction within the VMCAI 2020-track in VMCAI 2020 PC Member in Program Committee within the VMCAI-track
Gautham Shenoy R Chennai Mathematical Institute India Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track in VMCAI 2020
Benjamin Sherman Massachusetts Institute of Technology, USA United States Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020 Author of Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages within the Research Papers-track in POPL 2020
Bhargav Shivkumar Author of RTMLton: An SML Runtime for Real-Time Systems within the PADL 2020-track in PADL 2020 Author of Panel: Memory and real-time programming in practice within the PADL 2020-track in PADL 2020
Sharon Shoham Tel Aviv university Israel Author of Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction within the VMCAI 2020-track in VMCAI 2020 Author of Solving LIA* Using Approximations within the VMCAI 2020-track in VMCAI 2020 Author of Complexity and Information in Invariant Inference within the Research Papers-track in POPL 2020
Filip Sieczkowski University of Wrocław Poland Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track in POPL 2020
Jeremy G. Siek Indiana University, USA United States Session Chair of Gradual Typing / Language Design (part of POPL Research Papers) Session Chair of Coercions (part of WGT) Author of Space-Efficient Monotonic References within the WGT-track in WGT 2020 Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track in WGT 2020 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
Jesse Sigal University of Edinburgh United Kingdom Author of Denotational Semantics for Differentiable Programming with Manifolds within the LAFI (né PPS)-track in LAFI 2020
Mihaela Sighireanu IRIF, Université Paris Diderot, France 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 Accessibility Chair in Organizing Committee for POPL 2020 Session Chair of Semantics of Probabilistic & Quantum Programming (part of POPL Research Papers) Session Chair of Probabilistic Programming (part of POPL Research Papers) Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track in POPL 2020 Author of [T7] Programming and Reasoning with Kleene Algebra with Tests within the TutorialFest-track in POPL 2020 Committee Member in Organizers within the POPL W@POPL Dinner-track Committee Member in Selection Committee within the POPL Student Research Competition-track Organizer in Organizers within the POPL Ally Skills Session-track Committee Member in Program Committee within the POPL Research Papers-track
Kartik Singhal University of Chicago United States Author of Verified translation between low-level quantum languages within the PLanQC-track in PLanQC 2020 Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track in PLanQC 2020 Author of Quantum Hoare Types within the Student Research Competition-track in POPL 2020
Abhishek Kr Singh Tata Institute of Fundamental Research Mumbai India Author of A Constructive Formalization of the Weak Perfect Graph Theorem within the CPP 2020-track in CPP 2020
Rishabh Singh Google Brain United States Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track in POPL 2020
Satnam Singh Google Research United States Chair of Working Sessions II within the HASE 2020-track in HASE 2020 Committee Member in Organizing Committee within the HASE-track
Jeffrey Siskind School of Electrical and Computer Engineering, Purdue University Committee Member in Steering Committee within the LAFI-track
Ingo Skupin University of Tübingen Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track in POPL 2020
Anna Slobodova Centaur Technology, Inc. Author of Verifying x86 Instruction Implementations within the CPP 2020-track in CPP 2020
Spencer Smith McMaster University, Computing and Software Department Canada Author of GOOL: A Generic Object-Oriented Language within the PEPM 2020-track in PEPM 2020
Calvin Smith University of Wisconsin - Madison United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Steffen Smolka Cornell University Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track in POPL 2020
Gert Smolka Saarland University Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020
Michael Soegtrop Intel Committee Member in Program Committee within the CoqPL-track
Armando Solar-Lezama Massachusetts Institute of Technology United States Committee Member in Program Committee within the POPL Research Papers-track
Youngju Song Seoul National University Author of CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification within the Research Papers-track in POPL 2020 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tran Cao Son Author of On Repairing Web Services Workflows within the PADL 2020-track in PADL 2020
Matthew Sotoudeh University of California, Davis Author of Bounded Model Checking of Deep Neural Network Controllers within the Student Research Competition-track in POPL 2020
Matthieu Sozeau Inria France Author of Session with the Coq Development Team within the CoqPL-track in CoqPL 2020 Author of A Tutorial on Equations within the CoqPL-track in CoqPL 2020 Author of Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq within the Research Papers-track in POPL 2020
Simon Spies Saarland University Germany Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020 Author of Undecidability of Higher-Order Unification Formalised in Coq within the CPP 2020-track in CPP 2020
Martin Spießl LMU Munich Germany Committee Member in Artifact-Evaluation Committee within the VMCAI-track
Bas Spitters Concordium Blockchain Research Center, Aarhus University Author of ConCert: A Smart Contract Certification Framework in Coq within the CPP 2020-track in CPP 2020
Fausto Spoto U. Verona Italy Author of BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results within the VMCAI 2020-track in VMCAI 2020
Kathrin Stark Saarland University, Germany Germany Session Chair of Decidability and complexity (part of CPP) Author of Autosubst 2: Mechanising binders in Coq (Keynote) within the CoqPL-track in CoqPL 2020 Author of Coq à la Carte - A Practical Approach to Modular Syntax with Binders within the CPP 2020-track in CPP 2020 Committee Member in Program Committee within the CPP-track Invited Speaker in Invited speakers within the CoqPL-track
Sam Staton University of Oxford Author of A Monad for Point Processes within the LAFI (né PPS)-track in LAFI 2020 Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (né PPS)-track in LAFI 2020
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
Dario Stein University of Oxford Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (né PPS)-track in LAFI 2020
Gordon Stewart Ohio University Author of Coinductive Trees for Exact Inference of Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2020
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
Kohei Suenaga Graduate School of Informatics, Kyoto University Japan Author of Generalized Property-Directed Reachability for Hybrid Systems within the VMCAI 2020-track in VMCAI 2020
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
Rob Sumners Centaur Technology, Inc. Author of Verifying x86 Instruction Implementations within the CPP 2020-track in CPP 2020
Samanvitha Sundar Northwestern University Author of Does Blame Shifting Work? within the Research Papers-track in POPL 2020
Joshua Sunshine Carnegie Mellon University Author of Gradual Program Analysis within the WGT-track in WGT 2020 Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track in WGT 2020
Jun Sun Singapore Management University, Singapore Singapore Author of Systematic Classification of Attackers via Bounded Model Checking within the VMCAI 2020-track in VMCAI 2020
S.P. Suresh Chennai Mathematical Institute India Author of Formalizing and Checking Multilevel Consistency within the VMCAI 2020-track in VMCAI 2020
Zhendong Su ETH Zurich Switzerland Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track in POPL 2020
Xing Su College of Meteorology and Oceanography, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Nikhil Swamy Microsoft Research United States Session Chair of Program verification (part of CPP) 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
Ian Sweet University of Maryland Author of A Language for Probabilistically Oblivious Computation within the Research Papers-track in POPL 2020
Sol Swords Centaur Technology, Inc. Author of Verifying x86 Instruction Implementations within the CPP 2020-track in CPP 2020
Lucas M. Tabajara Rice University United States Author of Witnessing Secure Compilation within the VMCAI 2020-track in VMCAI 2020
Nicolas Tabareau Inria France Author of The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects within the Research Papers-track in POPL 2020 Author of Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the CPP-track
Tomoya Tabuchi Kyoto University Japan Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the WGT-track in WGT 2020
Walid Taha Session Chair of Sessions 1 & 2 (part of PEPM) Invited Speaker of Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) within the PEPM 2020-track in PEPM 2020 Committee Member in Program Committee within the PEPM-track
Éric Tanter University of Chile Chile Author of Gradual Typing as if Types Mattered within the WGT-track in WGT 2020 Author of Gradual Algebraic Data Types within the WGT-track in WGT 2020 Author of Gradual Program Analysis within the WGT-track in WGT 2020 Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track in WGT 2020 Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of A Mechanized Formalization of GraphQL within the CPP 2020-track in CPP 2020 Committee Member in Program Committee within the WGT-track Committee Member in Program Committee within the CoqPL-track
Yong Kiam Tan Carnegie Mellon University, USA Singapore Author of The Poincaré-Bendixson Theorem in Isabelle/HOL within the CPP 2020-track in CPP 2020
Paul Tarau University of North Texas United States Author of Interactive Text Graph Mining with a Prolog-based Dialog Engine within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Thorsten Tarrach Austrian Institute of Technology Austria Author of Language Inclusion for Finite Prime Event Structures within the VMCAI 2020-track in VMCAI 2020
Joseph Tassarotti Boston College Session Chair of Contributed Talks & Coq Developers (part of CoqPL) Author of Verifying concurrent Go code in Coq with Goose within the CoqPL-track in CoqPL 2020 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 McGill University Student Volunteer Co-Chair in Organizing Committee for POPL 2020 Student Volunteer Co-Chair in Student Volunteers Committee within the POPL Student Volunteers-track
Jacob M. Taylor University of Maryland Author of Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation within the PLanQC-track in PLanQC 2020
Yee Whye Teh University of Oxford Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track in LAFI 2020
K. Tuncay Tekle Stony Brook University United States Committee Member in Program Committee within the PADL-track
Aditya V. Thakur University of California, Davis United States Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track in POPL 2020
Jérémy Thibault Inria Paris Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Peter Thiemann University of Freiburg, Germany Session Chair of Dynamic Program Analysis (part of POPL Research Papers) Session Chair of Type Systems (part of POPL Research Papers) Author of Label-Dependent Session Types within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track
Patrick Thier Author of Exploiting Database Systems and Treewidth for Counting within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Michael Kirkedal Thomsen DIKU, University of Copenhagen Author of Hermes: Implementing Cryptography without Side-channels within the Principles of Secure Compilation 2020-track in PriSC 2020
Amin Timany imec-Distrinet KU-Leuven Belgium Web Chair in Organizing Committee for POPL 2020 Session Chair of Language Design (part of POPL Research Papers) Session Chair of Contributed Talks (part of CoqPL) Author of Fully Abstract from Static to Gradual within the WGT-track in WGT 2020 Author of [T4] Proving Semantic Type Soundness in Iris within the TutorialFest-track in POPL 2020 Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track in POPL 2020
Sam Tobin-Hochstadt Indiana University United States Committee Member in Program Committee within the WGT-track
Andrew Tolmach Portland State University Author of Flexible Tag-based Policies for Compartmentalized C within the Principles of Secure Compilation 2020-track in PriSC 2020 Committee Member in Program Committee within the CoqPL-track
David Tolpin PUB+ Israel Author of Probabilistic Programming around Gaussian Processes within the LAFI (né PPS)-track in LAFI 2020 Committee Member in Program Committee within the LAFI-track
Yi Tong Stony Brook University Publicity Chair in Publicity Chair within the PADL-track
Emina Torlak University of Washington United States Author of Fixing Code That Explodes Under Symbolic Evaluation within the VMCAI 2020-track in VMCAI 2020
Matías Toro University of Chile Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Linh Tran National University of Singapore Author of A Functional Proof Pearl: Inverting the Ackermann Hierarchy within the CPP 2020-track in CPP 2020
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
Alix Trieu Aarhus University Denmark Author of Mechanized Reasoning about a Capability Machine within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track in POPL 2020
Ahto Truu Guardtime AS Author of Verified Security of BLT Signature Scheme within the CPP 2020-track in CPP 2020
Yuya Tsuda Kyoto University Japan Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the WGT-track in WGT 2020
Mark Tullsen Galois, Inc Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
Milo Turner PLT @ Northeastern University United States Author of Dependent Type Systems as Macros within the Research Papers-track in POPL 2020
Hiroshi Unno University of Tsukuba Japan Committee Member in Program Committee within the POPL Research Papers-track
Dominique Unruh University of Tartu Session Chair of Formal Methods (part of PLanQC) Committee Member in Program Committee within the PLanQC-track
Josef Urban Czech Technical University in Prague Czech Republic Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track in CPP 2020
Caterina Urban INRIA & École Normale Supérieure France PC Member in Program Committee within the VMCAI-track
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the CoqPL-track
Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay France Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track in PLanQC 2020 Author of Qbricks: formal verification in quantum computing within the PLanQC-track in PLanQC 2020 Committee Member in Program Committee within the PLanQC-track
Jo Van Bulck imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track in PriSC 2020
Antoine Van Muylder Inria Paris and Paris 7 Author of The Next 700 Relational Program Logics within the Research Papers-track in POPL 2020
Alexander Vandenbroucke KU Leuven, Belgium Belgium Author of PλωNK: Functional Probabilistic NetKAT within the Research Papers-track in POPL 2020
Anthony Vandikas University of Toronto Author of Reductions for Safety Proofs within the Research Papers-track in POPL 2020
Moshe Vardi Rice University Keynote Speaker of The Siren Song of Temporal Synthesis within the VMCAI 2020-track in VMCAI 2020 Invited Speaker in Invited Speakers within the VMCAI-track
Vasco T. Vasconcelos University of Lisbon, Portugal Author of Label-Dependent Session Types within the Research Papers-track in POPL 2020
Marco Vassena CISPA Helmholtz Center for Information Security Germany Session Chair of Foundations and timing channels (part of PriSC) Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track in PriSC 2020 Author of Memory Safety Preservation for WebAssembly within the Principles of Secure Compilation 2020-track in PriSC 2020 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 Session Chair of SRC Presentations (part of POPL Student Research Competition) Session Chair of Analysis, verification, blame (part of WGT) Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track in 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
Martin Vechev ETH Zürich Author of Can Programming Languages Research impact Deep Learning 2.0? within the Research Papers-track in POPL 2020
Niccolò Veltri Tallinn University of Technology Author of Formalizing π-calculus in Guarded Cubical Agda within the CPP 2020-track in CPP 2020
Arnaud J. Venet Facebook Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track in POPL 2020
Andrea Vezzosi IT University Copenhagen Author of Formalizing π-calculus in Guarded Cubical Agda within the CPP 2020-track in CPP 2020
Muralidaran Vijayaraghavan SiFive Speaker of Interactive Knowledge Shares within the HASE 2020-track in HASE 2020
Eelco Visser Delft University of Technology Netherlands Author of Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages within the CPP 2020-track in CPP 2020
Mahesh Viswanathan University of Illinois at Urbana-Champaign Author of Deciding Memory Safety for Single-Pass Heap-Manipulating Programs within the Research Papers-track in POPL 2020
Philip Wadler University of Edinburgh, UK United Kingdom Author of Blame tracking at higher fidelity within the WGT-track in WGT 2020 Author of Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types within the PADL 2020-track in PADL 2020 Invited Speaker of Panel: Experience and Direction within the PADL 2020-track in PADL 2020
Riad S. Wahby Stanford University, USA Author of Universal Composability is Secure Compilation within the Principles of Secure Compilation 2020-track in PriSC 2020
David Walker Princeton University United States Industrial Relations Co-Chair in Organizing Committee for POPL 2020 Author of Abstract Interpretation of Distributed Network Control Planes within the Research Papers-track in POPL 2020
Eric Walkingshaw Oregon State University United States Committee Member in Program Committee within the WGT-track
Toby Walsh TU Berlin, UNSW Sydney and Data61 Germany Committee Member in Program Committee within the PADL-track
Andrea Walther Humboldt-Universität zu Berlin Germany Committee Member in Program Committee within the LAFI-track
Zhongye Wang Shanghai Jiao Tong University Author of Reentrancy? Yes. Reentrancy bug? No. within the Student Research Competition-track in POPL 2020
Qingxiang Wang University of Innsbruck Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track in CPP 2020
Peixin Wang Shanghai Jiao Tong University Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track in POPL 2020
Di Wang Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Shuai Wang Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Chenglong Wang University of Washington, USA Author of Visualization by Example within the Research Papers-track in POPL 2020
Yuepeng Wang University of Texas at Austin Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ziteng Wang University of California, San Diego Author of Test-based Solution Filtering for Program Synthesis within the Student Research Competition-track in POPL 2020 Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020
David Warren Stony Brook University Session Chair of Invited Experience and Direction Session (part of PADL) Session Chair of Invited Experience and Direction Session (Continued) (part of PADL)
Takahisa Watanabe University of Tsukuba, Japan Author of Module Generation without Regret within the PEPM 2020-track in PEPM 2020
Heike Wehrheim Paderborn University Germany PC Member in Program Committee within the VMCAI-track
Dominik Wehr Saarland University, Universiteit van Amsterdam Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020
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
Georg Weissenbacher Technische Universität Wien Austria Author of Language Inclusion for Finite Prime Event Structures within the VMCAI 2020-track in VMCAI 2020
Richard Wei Apple Inc. United States Committee Member in Program Committee within the LAFI-track
Sam Westrick Carnegie Mellon University United States Author of Disentanglement in Nested-Parallel Programs within the Research Papers-track in POPL 2020
Michael Whalen Amazon Web Services and the University of Minnesota United States Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track in VMCAI 2020
John Wickerson Imperial College London United Kingdom Author of Persistency Semantics of the Intel-x86 Architecture within the Research Papers-track in POPL 2020
Jan Wielemaker Free University Amsterdam Netherlands Committee Member in Program Committee within the PADL-track
Thomas Wies New York University Session Chair of Reasoning about Program Complexity/Efficiency (part of POPL Research Papers) Session Chair of Papers 7 (part of VMCAI) Author of Local Reasoning for Global Graph Properties within the ADSL 2020-track in ADSL 2020 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
Dominik Winterer ETH Zürich Switzerland Author of Validating SMT Solvers via Test Fusion within the Student Research Competition-track in POPL 2020
Théo Winterhalter Inria — LS2N Author of Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq within the Research Papers-track in POPL 2020
Jenna Wise Carnegie Mellon University United States Author of Gradual Program Analysis within the WGT-track in WGT 2020 Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track in WGT 2020 Author of Gradual Verification of Recursive Heap Data Structures within the Student Research Competition-track in POPL 2020
Sebastian Wolff TU Braunschweig Germany Author of Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation within the Research Papers-track in POPL 2020
Michael Wolman McGill University Canada Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (né PPS)-track in LAFI 2020
Stefan Woltran Author of Exploiting Database Systems and Treewidth for Counting within the PADL 2020-track in PADL 2020 Author of Panel: Reasoning for machine learning at large within the PADL 2020-track in PADL 2020
Maximilian Wuttke Saarland University Author of A Coq Library of Undecidable Problems within the CoqPL-track in CoqPL 2020 Author of Verified Programming of Turing Machines in Coq within the CPP 2020-track in CPP 2020
Hua Wu Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Xiaodi Wu University of Maryland, College Park United States Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track in PLanQC 2020 Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track in PLanQC 2020 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
Junjie Wu Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Li-yao Xia University of Pennsylvania Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020
Ningning Xie The University of Hong Kong China Author of Kind Inference for Datatypes within the Research Papers-track in POPL 2020
Wanli Xing Author of VRASP: A Virtual Reality Environment for Learning Answer Set Programming within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Yingfei Xiong Peking University China Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track in POPL 2020
Chuangjie Xu Ludwig-Maximilians-Universität München Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track in CPP 2020
Le Xu School of Information Engineering, Zhengzhou University, Zhengzhou, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Ping Xu Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Ming Xu East China Normal University Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track in POPL 2020
Jeffrey Xu UCLA Author of Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Rohan Yadav Carnegie Mellon University Author of Disentanglement in Nested-Parallel Programs within the Research Papers-track in POPL 2020
Eran Yahav Technion Israel Committee Member in Program Committee within the POPL Research Papers-track
Jeremy Yallop University of Cambridge, UK Session Chair of Sessions 3 & 4 (part of PEPM)
Akihisa Yamada National Institute of Informatics Japan Committee Member in Program Committee within the CPP-track
Weikun Yang Princeton University United States Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track in VMCAI 2020
Hongseok Yang KAIST South Korea Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track in LAFI 2020 Author of Probabilistic Programming within the Research Papers-track in POPL 2020 Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track in POPL 2020
Yihang Yang School of Information Engineering, Zhengzhou University, Zhengzhou, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
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 Author of Relational Proofs for Quantum Programs within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the PLanQC-track
Man-Ki Yoon Yale University Author of Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation within the Research Papers-track in POPL 2020
Irene Yoon University of Pennsylvania United States Author of Through the Interaction Forest: Modeling Concurrency in Coq with Interaction Trees within the Student Research Competition-track in POPL 2020
Nobuko Yoshida Imperial College London Session Chair of Afternoon 2 (part of PLMW) Committee Member in Organizing Committee within the POPL Mentoring Breakfasts-track Organizer in Organizing Committee within the PLMW-track Committee Member in Program Committee within the PEPM-track
Nengkun Yu University of Technology Sydney, Australia Author of Relational Proofs for Quantum Programs within the Research Papers-track in POPL 2020
Hangyeol Yu KAIST Author of Towards Verified Stochastic Variational Inference for Probabilistic Programs within the Research Papers-track in POPL 2020
Jintao Yu State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Yannick Zakowski University of Pennsylvania Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track in CPP 2020 Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020
Jakub Zalewski University of Edinburgh Author of Blame tracking at higher fidelity within the WGT-track in WGT 2020
Francesco Zappa Nardelli Inria France Committee Member in Program Committee within the WGT-track
Steve Zdancewic University of Pennsylvania United States Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track in CPP 2020 Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track in POPL 2020 Committee Member in Program Committee within the POPL Research Papers-track
Nickolai Zeldovich Massachusetts Institute of Technology, USA Author of Verifying concurrent Go code in Coq with Goose within the CoqPL-track in CoqPL 2020
Will Zeng Unitary Fund United States Session Chair of NISQ (part of PLanQC) Committee Member in Program Committee within the PLanQC-track
Muhan Zeng Peking University Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track in POPL 2020
Jinrong Zhang Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track in PLanQC 2020
Yuanlin Zhang Author of VRASP: A Virtual Reality Environment for Learning Answer Set Programming within the PADL 2020-track in PADL 2020 Author of Panel: Programming with logic for the masses within the PADL 2020-track in PADL 2020
Lu Zhang Peking University China Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track in POPL 2020
Yu Zhang University of Science and Technology of China Author of Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices within the PLanQC-track in PLanQC 2020
Hongce Zhang Princeton University United States Author of Synthesizing Environment Invariants for Modular Hardware Verification within the VMCAI 2020-track in VMCAI 2020
David Zhao The University of Sydney Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track in POPL 2020
Li Zhou Max Planck Institute for Security and Privacy/Tsinghua University Author of Relational Proofs for Quantum Programs within the Research Papers-track in POPL 2020
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center Session Chair of Answer Set Programming Systems (part of PADL) Author of Competitive Programming with PiCat within the PADL 2020-track in PADL 2020
Yuan Zhou University of Oxford Author of Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support within the LAFI (né PPS)-track in LAFI 2020
Jiaxiao Zhou University of California, San Diego Author of Program Synthesis by Type-Guided Abstraction Refinement within the Research Papers-track in POPL 2020
Lukasz Ziarek SUNY Buffalo, USA United States Author of RTMLton: An SML Runtime for Real-Time Systems within the PADL 2020-track in PADL 2020 Author of Panel: Memory and real-time programming in practice within the PADL 2020-track in PADL 2020
Beta Ziliani FAMAF, UNC and CONICET Argentina Committee Member in Program Committee within the POPL Research Papers-track
Martin Zimmermann University of Liverpool United Kingdom Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track in VMCAI 2020
Ben Zinberg MIT Author of MetaPPL: Inference Algorithms as First-Class Generative Models within the LAFI (né PPS)-track in LAFI 2020 Author of Gen and MetaGen within the LAFI (né PPS)-track in LAFI 2020
Matthias Zinner FAU Erlangen-Nürnberg Germany Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track in VMCAI 2020
Daming Zou Peking University Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track in POPL 2020
Lenore Zuck UIC United States Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track in VMCAI 2020 PC Member in Program Committee within the VMCAI-track Treasurer & Conference Manager in Steering Committee within the VMCAI-track
Damien Zufferey MPI-SWS Session Chair of Invited 2 (part of VMCAI) Session Chair of Invited 3 (part of VMCAI) PC Chair in Program Committee within the VMCAI-track PC Chair in Organizing Committee within the VMCAI-track
Florian Zuleger TU Vienna Austria Author of Strong-Separation Logic within the ADSL 2020-track in ADSL 2020 Author of Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth within the ADSL 2020-track in ADSL 2020 Committee Member in Program Committee within the ADSL-track
Roberto Zunino University of Trento Italy Committee Member in Program Committee within the CPP-track
Pedro da Costa Abreu Junior Purdue University Author of Shrinking Coq's Trusted Code Base by Transpiling to a Minimal Type Theory within the Student Research Competition-track in POPL 2020
Sarah de Haas Google Research Organizer of Peer Skillshare within the HASE 2020-track in HASE 2020 Organizer in Organizing Committee within the HASE-track
Paulo Emílio de Vilhena Inria France Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track in POPL 2020
Floris van Doorn University of Pittsburgh United States Session Chair of Homotopy Type Theory and PC chairs' report (part of CPP) Author of A Formal Proof of the Independence of the Continuum Hypothesis within the CPP 2020-track in CPP 2020 Committee Member in Program Committee within the CPP-track
Tijs van der Storm CWI & University of Groningen, Netherlands Netherlands Author of High-Fidelity Metaprogramming with Separator Syntax Trees within the PEPM 2020-track in PEPM 2020
The mathlib Community Author of The Lean mathematical library within the CPP 2020-track in CPP 2020

POPL 2020 Contributors

Results (848)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums