POPL 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (499)

Andreas Abel Gothenburg University Author of [T5] Correct-by-Construction Programming in Agda within the TutorialFest-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Erika Abraham RWTH Aachen University Germany Committee Member in Program Committee within the PADL-track
Luca Aceto Reykjavik University Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track in POPL 2019
Antonis Achilleos Reykjavik University Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track in POPL 2019
Sara Achour MIT United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Michael D. Adams University of Utah United States Committee Member in Program Committee within the POPL Research Papers-track
Alejandro Aguirre IMDEA Software Institute, Spain Author of Formal verification of higher-order probabilistic programs within the Research Papers-track in POPL 2019
Danel Ahman University of Ljubljana Slovenia Committee Member in Program Committee within the POPL Research Papers-track
Amal Ahmed Northeastern University, USA United States Author of Gradual Type Theory within the Research Papers-track in POPL 2019 Committee Member in Organizing Committee within the PriSC-track
Aws Albarghouthi University of Wisconsin-Madison Author of Trace Abstraction Modulo Probability within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Elvira Albert Committee Member in Program Committee within the PEPM-track
Karim Ali University of Alberta Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track in POPL 2019
Miltiadis Allamanis Microsoft Research, Cambridge United Kingdom Committee Member in Program Committee within the VMCAI-track
Uri Alon Technion Israel Author of code2vec: Learning Distributed Representations of Code within the Research Papers-track in POPL 2019
María Alpuente U.P. Valencia Spain Committee Member in Program Committee within the PEPM-track
Thorsten Altenkirch University of Nottingham Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track in POPL 2019
Rajeev Alur University of Pennsylvania United States Author of Modular Quantitative Monitoring within the Research Papers-track in POPL 2019
Nada Amin University of Cambridge United Kingdom Committee Member in Program Committee within the Off the Beaten Track-track
Oana-Fabiana Andreescu Internet of Trust Author of Inferring frame conditions with static correlation analysis within the Research Papers-track in POPL 2019
June Andronick Data61,CSIRO (formerly NICTA) and UNSW Australia Committee Member in Program Committee within the POPL Research Papers-track
Timos Antonopoulos Yale University Committee Member in Program Committee within the VMCAI-track
Alasdair Armstrong Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Aslan Askarov Author of Modular Security Guarantees for Low-Level Languages with Stack Traversal within the PriSC 2019-track in PriSC 2019
Robert Atkey University of Strathclyde General Co-Chair in Organizing Committee within the Off the Beaten Track-track Committee Member in Program Committee within the POPL Research Papers-track
Mauricio Ayala-Rincon University of Brasília Brazil Committee Member in Program Committee within the CPP-track
Arthur Azevedo de Amorim Carnegie Mellon University, USA United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Domagoj Babic Google, Inc. United States Committee Member in Program Committee within the VMCAI-track
Casper Bach Poulsen Delft University of Technology Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Kyungmin Bae Pohang University of Science and Technology (POSTECH) South Korea Author of Bounded Model Checking of Signal Temporal Logic Properties Using Syntactic Separation within the Research Papers-track in POPL 2019
Alexander Bakst Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track in POPL 2019
Paolo Baldan Author of Fixpoint Games on Continuous Lattices within the Research Papers-track in POPL 2019
Marcello Balduccini Saint Joseph's University, USA Committee Member in Program Committee within the PADL-track
Stephanie Balzer Carnegie Mellon University, USA United States Author of [T6] Session-Typed Concurrent Programming within the TutorialFest-track in POPL 2019 Committee Member in Program Committee within the BEAT-track
Gilles Barthe IMDEA Software Institute Spain Author of Formal verification of higher-order probabilistic programs within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the PriSC-track
Antranig Basman Committee Member in Program Committee within the Off the Beaten Track-track
Kevin Batz RWTH Aachen University Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track in POPL 2019
Thomas Bauereiss University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Christoph Baumann KTH Author of Confidentiality-Preserving Refinement within the PriSC 2019-track in PriSC 2019
Atılım Güneş Baydin Department of Engineering Science, University of Oxford Committee Member in Program Committee within the LAFI-track
Josh Berdine Facebook Committee Member in Program Committee within the VMCAI-track
Lars Bergstrom Mozilla Research Committee Member in Program Committee within the PADL-track
Jean-Philippe Bernardy University of Gothenburg Committee Member in Program Committee within the POPL Research Papers-track
Pramod Bhatotia University of Edinburgh Committee Member in Program Committee within the PriSC-track
Gavin Bierman Oracle Labs United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Dariusz Biernacki University of Wrocław Author of Abstracting Algebraic Effects within the Research Papers-track in POPL 2019
Lars Birkedal Aarhus University Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track in POPL 2019 Author of StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the PriSC-track
Aleš Bizjak Aarhus University Denmark Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jasmin Christian Blanchette Vrije Universiteit Amsterdam Netherlands Author of Bindings as Bounded Natural Functors within the Research Papers-track in POPL 2019
Laura Bocchi University of Kent United Kingdom Committee Member in Program Committee within the BEAT-track
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track in POPL 2019
Rastislav Bodik University of Washington United States Committee Member in Steering Committee for POPL 2019
Martin Bodin Imperial College London United Kingdom Author of Skeletal Semantics and their Interpretations within the Research Papers-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Filippo Bonchi University of Pisa Author of Diagrammatic Algebra: From Linear to Concurrent Systems within the Research Papers-track in POPL 2019
Ahmed Bouajjani IRIF, Université Paris Diderot France Committee Member in Program Committee within the VMCAI-track
Ana Bove Chalmers University of Technology, Sweden Committee Member in Program Committee within the CPP-track
Jonathan Bowen London South Bank University Author of (Un)Encrypted Computing and Indistinguishability Obfuscation within the PriSC 2019-track in PriSC 2019
William J. Bowman University of British Columbia Canada Committee Member in Program Committee within the PriSC-track
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Program Committee within the PADL-track
Jason Breck University of Wisconsin - Madison Author of Closed Forms for Numerical Loops within the Research Papers-track in POPL 2019 Author of Refinement of Path Expressions for Static Analysis within the Research Papers-track in POPL 2019
Peter Breuer Hecusys LLC Author of (Un)Encrypted Computing and Indistinguishability Obfuscation within the PriSC 2019-track in PriSC 2019
Matteo Busi Università di Pisa - Dipartimento di Informatica Author of Translation Validation for Security Properties within the PriSC 2019-track in PriSC 2019
ILARIA CASTELLANI INRIA Sophia Antipolis, France France Committee Member in Organizing Committee within the OPCT-track
Brian Campbell University of Edinburgh Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM) Spain Committee Member in Program Committee within the PADL-track
Giuseppe Castagna CNRS, France / University of Paris Diderot, France Italy Author of Gradual Typing: A New Perspective within the Research Papers-track in POPL 2019 Committee Member in Steering Committee for POPL 2019
Simon Castelan Imperial College London, UK Author of Two sides of the same coin: Session Types and Game Semantics within the Research Papers-track in POPL 2019
David Castro Imperial College London United Kingdom Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track in POPL 2019
Sunjay Cauligi UCSD Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track in POPL 2019
Evan Cavallo Carnegie Mellon University Author of Higher Inductive Types in Cubical Computational Type Theory within the Research Papers-track in POPL 2019
Soham Chakraborty Max Planck Institute for Software Systems Author of Grounding Thin-Air Reads with Event Structures within the Research Papers-track in POPL 2019
Krishnendu Chatterjee IST Austria Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track in POPL 2019
Swarat Chaudhuri Rice University Committee Member in Program Committee within the POPL Research Papers-track
Taolue Chen Birkbeck, University of London Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track in POPL 2019
Liqian Chen National University of Defense Technology China Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track in POPL 2019
Zilin Chen UNSW, Australia Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019
David Chisnall University of Cambridge Committee Member in Program Committee within the PriSC-track
Amit Chopra Lancaster University, UK Author of [T2] Engineering Distributed Systems via Protocols and Commitments within the TutorialFest-track in POPL 2019
Ravi Chugh University of Chicago Author of Live Functional Programming with Typed Holes within the Research Papers-track in POPL 2019
Luke Church Chair in Program Committee within the Off the Beaten Track-track
Pierre Clairambault CNRS & ENS Lyon France Author of Game Semantics for Quantum Programming within the Research Papers-track in POPL 2019
Jesper Cockx Chalmers \| University of Gothenburg Sweden Author of [T5] Correct-by-Construction Programming in Agda within the TutorialFest-track in POPL 2019 Author of Definitional Proof-Irrelevance without K within the Research Papers-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
William Cook University of Texas at Austin Committee Member in Program Committee within the PEPM-track
Stefania Costantini Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila Committee Member in Program Committee within the PADL-track
Patrick Cousot Author of A$^2$I: Abstract$^2$ Interpretation within the Research Papers-track in POPL 2019
Patrick M. Cousot Committee Member in Program Committee within the VMCAI-track
Karl Crary Carnegie Mellon University Author of Fully Abstract Module Compilation within the Research Papers-track in POPL 2019
Ryan Culpepper Czech Technical University Czech Republic Committee Member in Program Committee within the LAFI-track
Marco Cusumano-Towner MIT-CSAIL Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track in POPL 2019
John Cyphert University of Wisconsin - Madison Author of Closed Forms for Numerical Loops within the Research Papers-track in POPL 2019 Author of Refinement of Path Expressions for Static Analysis within the Research Papers-track in POPL 2019
Ugo Dal Lago University of Bologna, Italy / Inria, France Italy Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track in POPL 2019 Author of [T7] Higher-Order Probabilistic Programming within the TutorialFest-track in POPL 2019
Mads Dam KTH Author of Confidentiality-Preserving Refinement within the PriSC 2019-track in PriSC 2019
Nils Anders Danielsson University of Gothenburg, Chalmers University of Technology Committee Member in Program Committee within the POPL Research Papers-track
Olivier Danvy Yale-NUS College, Singapore Singapore Committee Member in Program Committee within the CoqPL-track
Ornela Dardha University of Glasgow United Kingdom Committee Member in Program Committee within the PADL-track
Ankush Das Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Brooks Davis SRI International Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Marc De Visme ENS Lyon Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track in POPL 2019 Author of Game Semantics for Quantum Programming within the Research Papers-track in POPL 2019
Pierpaolo Degano Author of Translation Validation for Security Properties within the PriSC 2019-track in PriSC 2019
Benjamin Delaware Purdue University Artifact Evaluation Co-Chair in Organizing Committee for POPL 2019 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the POPL Research Papers-track
Dominique Devriese Vrije Universiteit Brussel, Belgium Belgium Author of StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities within the Research Papers-track in POPL 2019 Committee Member in Organizing Committee within the PriSC-track PC co-chair in Program Committee within the PriSC-track Committee Member in Selection Committee within the POPL Student Research Competition-track
Matthew Di Meglio Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019
Daniel Dietsch University of Freiburg Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Craig Disselkoen University of California San Diego Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track in PriSC 2019
Dino Distefano Facebook London Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019
Marko Doko MPI-SWS, Germany Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019
Dana Drachsler Cohen ETH Zurich Switzerland Committee Member in Program Committee within the PEPM-track
Samuel Drews University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Cezara Drăgoi INRIA, ENS, CNRS France Committee Member in Program Committee within the VMCAI-track
Andrej Dudenhefner Technical University Dortmund Author of Principality and Approximation under Dimensional Bound within the Research Papers-track in POPL 2019
Joshua Dunfield Queen's University, Kingston, Ontario Canada Author of Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types within the Research Papers-track in POPL 2019
Aaron Dutle Committee Member in Program Committee within the CPP-track
David Kristjanson Duvenaud University of Toronto Committee Member in Program Committee within the LAFI-track
Sara Décova Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track in POPL 2019
Harley D. Eades III Augusta University United States Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track in POPL 2019
Michael Emmi SRI International United States Author of Weak-Consistency Specification via Visibility Relaxation within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Constantin Enea Université Paris Diderot France Author of Weak-Consistency Specification via Visibility Relaxation within the Research Papers-track in POPL 2019 Co-chair in Organizing Committee within the VMCAI-track Program Co-Chair in Program Committee within the VMCAI-track
Esra Erdem Sabanci University, Turkey Committee Member in Program Committee within the PADL-track
Martin Erwig Oregon State University United States Committee Member in Program Committee within the POPL Research Papers-track Steering Committee Member in Steering Committee within the PEPM-track
Javier Esparza Committee Member in Program Committee within the VMCAI-track
Gregory Essertel Purdue University Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Wolfgang Faber Alpen-Adria-Universität, Austria Committee Member in Program Committee within the PADL-track
Jerome Feret INRIA Paris France Committee Member in Program Committee within the VMCAI-track
Robby Findler Northwestern University, USA United States Author of A Calculus for Esterel within the Research Papers-track in POPL 2019
Spencer P. Florence Northwestern University, USA Author of A Calculus for Esterel within the Research Papers-track in POPL 2019
Shaked Flur University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Nate Foster Cornell University United States Committee Member in Program Committee within the POPL Research Papers-track
Cédric Fournet Microsoft Research Committee Member in Program Committee within the PriSC-track
Simon Fowler The University of Edinburgh United Kingdom Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track in POPL 2019
Adrian Francalanza University of Malta Malta Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the BEAT-track
Jon French University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Aymeric Fromherz Carnegie Mellon University Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track in POPL 2019
Marco Gaboardi University at Buffalo, SUNY United States Author of Formal verification of higher-order probabilistic programs within the Research Papers-track in POPL 2019 Workshops Co-Chair in Organizing Committee for POPL 2019 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
John P. Gallagher Roskilde University Committee Member in Program Committee within the PEPM-track
Letterio Galletta IMT School for Advanced Studies Author of Translation Validation for Security Properties within the PriSC 2019-track in PriSC 2019
Ronald Garcia University of British Columbia Author of Type-Driven Gradual Security with References within the Research Papers-track in POPL 2019
Philippa Gardner Imperial College London Author of Skeletal Semantics and their Interpretations within the Research Papers-track in POPL 2019 Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track in POPL 2019
Tal Garfinkel Stanford University Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track in PriSC 2019
Deepak Garg Max Planck Institute for Software Systems Germany Author of Formal verification of higher-order probabilistic programs within the Research Papers-track in POPL 2019 Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track in POPL 2019 Committee Member in Organizing Committee within the PriSC-track PC co-chair in Program Committee within the PriSC-track
Jacques Garrigue Nagoya University Japan Committee Member in Program Committee within the POPL Research Papers-track
Marco Gavanelli Universita di Ferrara Italy Committee Member in Program Committee within the PADL-track
Martin Gebser University of Potsdam, Germany Committee Member in Program Committee within the PADL-track
Timon Gehr Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track in POPL 2019
Alex Gerdes University of Gothenburg, Sweden Sweden Committee Member in Program Committee within the PADL-track
Lorenzo Gheri Middlesex University London Author of Bindings as Bounded Natural Functors within the Research Papers-track in POPL 2019
Khalil Ghorbal Committee Member in Program Committee within the VMCAI-track
Roberto Giacobazzi University of Verona and IMDEA Software Institute Italy Author of A$^2$I: Abstract$^2$ Interpretation within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the PEPM-track Committee Member in Program Committee within the VMCAI-track
Nick Giannarakis Princeton University Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track in POPL 2019
Paola Giannini Universita' del Piemonte Orientale Italy Committee Member in Program Committee within the BEAT-track
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in Steering Committee for POPL 2019
Gaetan Gilbert Author of Definitional Proof-Irrelevance without K within the Research Papers-track in POPL 2019
Klaus v. Gleissenthall University of California at San Diego, USA Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track in POPL 2019
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee within the PEPM-track
Sophia Gold Tezos Committee Member in Program Committee within the LAFI-track
Victor B. F. Gomes University of Cambridge, UK Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Andrew D. Gordon Microsoft Research and University of Edinburgh United Kingdom Author of Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic within the Research Papers-track in POPL 2019 Committee Member in Steering Committee for POPL 2019
Maria I. Gorinova The University of Edinburgh Author of Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic within the Research Papers-track in POPL 2019
Nikos Gorogiannis Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track in POPL 2019 Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019
Marc Gourjon Hamburg University of Technology and NXP Semiconductors Germany GmbH Author of Towards Secure Compilation of Power Side-Channel Countermeasures within the PriSC 2019-track in PriSC 2019
Daniel Gratzer Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track in POPL 2019
Kathryn E. Gray University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Michael Greenberg Pomona College Publicity Chair in Organizing Committee for POPL 2019 General Co-Chair in Organizing Committee within the Off the Beaten Track-track Committee Member in Program Committee within the POPL Research Papers-track
Alberto Griggio Fondazione Bruno Kessler Italy Committee Member in Program Committee within the VMCAI-track
Radu Grigore University of Kent United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Dan Grossman University of Washington United States Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track in POPL 2019
Roberto Guanciale KTH Author of Confidentiality-Preserving Refinement within the PriSC 2019-track in PriSC 2019
Khilan Gudka University of Cambridge Author of Protecting C++ applications using CHERI within the PriSC 2019-track in PriSC 2019
Ronghui Gu Columbia University, USA United States Committee Member in Program Committee within the CoqPL-track
Jurriaan Hage Utrecht University Committee Member in Program Committee within the PADL-track
Matthew Hague Royal Holloway, University of London Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track in POPL 2019
Kevin Hamlen University of Texas at Dallas, USA Committee Member in Program Committee within the PADL-track
Matthew Hammer University of Colorado, Boulder United States Author of Live Functional Programming with Typed Holes within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the Off the Beaten Track-track Committee Member in Program Committee within the POPL Research Papers-track
Mark Harman Facebook and University College London United Kingdom Keynote Speaker of Automated Fault-Finding and Fixing at Facebook within the Research Papers-track in POPL 2019
Robert Harper Author of A Separation Logic for Concurrent Randomized Programs within the Research Papers-track in POPL 2019 Author of Higher Inductive Types in Cubical Computational Type Theory within the Research Papers-track in POPL 2019
Ichiro Hasuo National Institute of Informatics, Japan Japan Committee Member in Program Committee within the POPL Research Papers-track
Chris Hawblitzel Microsoft Research Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the CPP-track
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) Denmark Committee Member in Steering Committee for POPL 2019 General Chair in Organizing Committee for POPL 2019 Steering Committee Member in Steering Committee within the PEPM-track
Hugo Herbelin Committee Member in Program Committee within the POPL Research Papers-track
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Program Co-Chair in Program Committee within the PEPM-track
Michael Hicks University of Maryland, College Park United States Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track in POPL 2019 Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019 Chair in Steering Committee for POPL 2019 Committee Member in Selection Committee within the POPL Student Research Competition-track
Kesha Hietala University of Maryland Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019
Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry France Author of Familial monads and structural operational semantics within the Research Papers-track in POPL 2019
Aquinas Hobor Committee Member in Program Committee within the CPP-track
Jan Hoffmann Carnegie Mellon University United States Author of Type-Guided Worst-Case Input Generation within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Joshua Holland University of Southampton Author of Diagrammatic Algebra: From Linear to Concurrent Systems within the Research Papers-track in POPL 2019
Steven Holtzen University of California, Los Angeles United States Committee Member in Program Committee within the LAFI-track
Jaemin Hong KAIST, South Korea South Korea Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track in POPL 2019
Farzin Houshmand University of California, Riverside United States Author of Hamsaz: Replication Coordination Analysis and Synthesis within the Research Papers-track in POPL 2019
Cătălin Hriţcu Inria Paris Artifact Evaluation Co-Chair in Organizing Committee for POPL 2019 Committee Member in Organizing Committee within the PriSC-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Justin Hsu University of Wisconsin-Madison, USA United States Author of Formal verification of higher-order probabilistic programs within the Research Papers-track in POPL 2019 Author of Trace Abstraction Modulo Probability within the Research Papers-track in POPL 2019 Organizer in Organizing Committee within the PLMW-track Committee Member in Program Committee within the POPL Research Papers-track
Shih-Han Hung University of Maryland Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019
Chung-Kil Hur Seoul National University Korea, South Committee Member in Program Committee within the PriSC-track
Raymond Hu Imperial College London Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track in POPL 2019
Zhenjiang Hu National Institute of Informatics Japan Committee Member in Program Committee within the POPL Research Papers-track
Johannes Hölzl Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the CPP-track
Atsushi Igarashi Kyoto University, Japan Japan Author of Dynamic Type Inference for Gradual Hindley–Milner Typing within the Research Papers-track in POPL 2019 Program Co-Chair in Program Committee within the PEPM-track
Jeevana Priya Inala MIT United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Anna Ingolfsdottir Reykjavik University Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track in POPL 2019
Suresh Jagannathan Purdue University Committee Member in Program Committee within the POPL Research Papers-track
Alan Jeffrey Mozilla Research United States Committee Member in Program Committee within the PriSC-track Committee Member in Program Committee within the POPL Research Papers-track
Thomas P. Jensen INRIA Rennes Author of Skeletal Semantics and their Interpretations within the Research Papers-track in POPL 2019 Author of Inferring frame conditions with static correlation analysis within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the PEPM-track
Ranjit Jhala University of California, San Diego United States Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track in POPL 2019 Committee Member in Steering Committee for POPL 2019
Tao Ji National University of Defense Technology China Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track in POPL 2019
Patricia Johann Appalachian State University Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track
Moa Johansson Chalmers University of Technology Sweden PC co-chair in Organizing Committee within the PADL-track
Matthew Johnson Google Brain Committee Member in Program Committee within the LAFI-track
Sung-Shik Jongmans Open University of the Netherlands Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the BEAT-track
José Julio Alferes NOVA LINCS -- Universidade Nova de Lisboa Portugal PC co-chair in Organizing Committee within the PADL-track
Amir Kafshdar Goharshady IST Austria Austria Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track in POPL 2019
Benjamin Lucien Kaminski RWTH Aachen University; University College London Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track in POPL 2019
Ohad Kammar University of Oxford United Kingdom Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track in POPL 2019 Co-chair in Program Committee within the LAFI-track
Jeehoon Kang Seoul National University Korea, South Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ambrus Kaposi University of Nottingham Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track in POPL 2019
Joost-Pieter Katoen RWTH Aachen University Germany Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track in POPL 2019
G. A. Kavvos Wesleyan University Author of Modalities, Cohesion, and Information Flow within the Research Papers-track in POPL 2019
Chantal Keller LRI, Université Paris-Sud France Committee Member in Program Committee within the CPP-track
Gabriele Keller Data61,CSIRO (formerly NICTA) and UNSW Australia Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019 Committee Member in Program Committee within the PriSC-track
Stephen Kell University of Kent Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Zachary Kincaid Princeton University United States Author of Closed Forms for Numerical Loops within the Research Papers-track in POPL 2019 Author of Refinement of Path Expressions for Static Analysis within the Research Papers-track in POPL 2019 Workshops Co-Chair in Organizing Committee for POPL 2019 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
Gerwin Klein UNSW, Australia Committee Member in Program Committee within the CPP-track
Barbara Koenig University of Duisburg-Essen Author of Fixpoint Games on Continuous Lattices within the Research Papers-track in POPL 2019
Wen Kokke University of Edinburgh United Kingdom Author of Better Late Than Never: A Fully Abstract Semantics for Classical Processes within the Research Papers-track in POPL 2019
Ekaterina Komendantskaya Heriot-Watt University, UK Committee Member in Program Committee within the PADL-track
András Kovács Eötvös Loránd University Author of Constructing Quotient Inductive-Inductive Types within the Research Papers-track in POPL 2019
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Japan Taiwan Website Chair in Organizing Committee for POPL 2019 Steering Committee Member in Steering Committee within the PEPM-track
Robbert Krebbers Delft University of Technology Netherlands Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track Co-chair in Organizing Committee within the CoqPL-track
Jan Kretinsky Committee Member in Program Committee within the VMCAI-track
Neelakantan R. Krishnaswami Computer Laboratory, University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019 Author of Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types within the Research Papers-track in POPL 2019
Ramana Kumar DeepMind United Kingdom Committee Member in Program Committee within the PADL-track
K Narayan Kumar Chennai Mathematical Institute India Committee Member in Program Committee within the VMCAI-track
Viktor Kuncak EPFL, Switzerland Committee Member in Program Committee within the PEPM-track
Rami Gökhan Kıcı University of California at San Diego, USA Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track in POPL 2019
Elizabeth Labrada University of Chile Author of Gradual Parametricity, Revisited within the Research Papers-track in POPL 2019
Ori Lahav Tel Aviv University Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track in POPL 2019 Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019 Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the VMCAI-track
Leonidas Lampropoulos University of Pennsylvania Greece Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track in POPL 2019
Victor Lanvin ENS Cachan, France France Author of Gradual Typing: A New Perspective within the Research Papers-track in POPL 2019
Julia Lawall Inria/LIP6 Committee Member in Program Committee within the PEPM-track
Jia Lee Pohang University of Science and Technology (POSTECH) Author of Bounded Model Checking of Signal Temporal Logic Properties Using Syntactic Separation within the Research Papers-track in POPL 2019
Karoliina Lehtinen University of Kiel and University of Liverpool Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track in POPL 2019
Nicola Leone University of Calabria, Italy Committee Member in Program Committee within the PADL-track
Mohsen Lesani University of California, Riverside Author of Hamsaz: Replication Coordination Analysis and Synthesis within the Research Papers-track in POPL 2019
Stéphane Lescuyer Prove & Run Author of Inferring frame conditions with static correlation analysis within the Research Papers-track in POPL 2019
Michael Leuschel University of Düsseldorf Committee Member in Program Committee within the PEPM-track
Omer Levy University of Washington, USA Author of code2vec: Learning Distributed Representations of Code within the Research Papers-track in POPL 2019
Percy Liang Stanford University Author of FrAngel: Component-Based Synthesis with Control Structures within the Research Papers-track in POPL 2019
Hongjin Liang Nanjing University, China China Committee Member in Program Committee within the POPL Research Papers-track
Dan Licata Wesleyan University United States Author of Gradual Type Theory within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the CPP-track
Vilem-Benjamin Liepelt University of Kent, UK United Kingdom Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track in POPL 2019
Sam Lindley University of Edinburgh, UK United Kingdom Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track in POPL 2019
Anthony Widjaja Lin Oxford University United Kingdom Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the VMCAI-track
Y. Annie Liu Stony Brook University United States Committee Member in Program Committee within the PEPM-track
P. Madhusudan University of Illinois at Urbana-Champaign United States Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Assia Mahboubi INRIA France Program Co-Chair in Program Committee within the CPP-track
Kenji Maillard Inria Paris and ENS Paris Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Geoffrey Mainland Drexel University, USA Committee Member in Program Committee within the PADL-track
Claire Maiza Verimag, France Author of Fast and exact analysis for LRU caches within the Research Papers-track in POPL 2019
Rupak Majumdar MPI-SWS, Germany Committee Member in Steering Committee for POPL 2019
Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia United Kingdom Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track in POPL 2019
Konstantinos Mamouras University of Pennsylvania Author of Modular Quantitative Monitoring within the Research Papers-track in POPL 2019
Carole Mann R.S.L Registration in Organizing Committee for POPL 2019
Vikash Mansingkha MIT Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track in POPL 2019
William Mansky University of Illinois at Chicago United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the CoqPL-track
Xiaoguang Mao National University of Defense Technology Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track in POPL 2019
Jean Everson Martina UFSC - Universidade Federal de Santa Catarina Brazil Committee Member in Program Committee within the CPP-track
Ruben Martins Carnegie Mellon University Portugal Committee Member in Program Committee within the VMCAI-track
Christoph Matheja Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track in POPL 2019
Umang Mathur University of Illinois at Urbana-Champaign United States Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track in POPL 2019
Kazutaka Matsuda Tohoku University, Japan Japan Committee Member in Program Committee within the PEPM-track
Damiano Mazza CNRS France Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track in POPL 2019
James McKinna Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track in POPL 2019
Hernan Melgratti University of Buenos Aires, Argentina Committee Member in Program Committee within the BEAT-track
Mellies CNRS and University Paris Diderot Author of Categorical combinatorics of scheduling and synchronization in game semantics within the Research Papers-track in POPL 2019
Kayvan Memarian University of Cambridge Iran Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Roland Meyer Author of Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis within the Research Papers-track in POPL 2019
Jan Midtgaard University of Southern Denmark Denmark Committee Member in Program Committee within the PEPM-track
Christina Mika-Michalski University of Duisburg-Essen Author of Fixpoint Games on Continuous Lattices within the Research Papers-track in POPL 2019
Heather Miller Carnegie Mellon University Committee Member in Program Committee within the POPL Research Papers-track
Yusuke Miyazaki Kyoto University Japan Author of Dynamic Type Inference for Gradual Hindley–Milner Typing within the Research Papers-track in POPL 2019
David Monniaux CNRS, VERIMAG France Author of Fast and exact analysis for LRU caches within the Research Papers-track in POPL 2019
Benoît Montagu Prove & Run Author of Inferring frame conditions with static correlation analysis within the Research Papers-track in POPL 2019
Fabrizio Montesi University of Southern Denmark Denmark Author of Better Late Than Never: A Fully Abstract Semantics for Classical Processes within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the BEAT-track
J. Garrett Morris University of Kansas, USA United States Author of Exceptional Asynchronous Session Types: Session Types without Tiers within the Research Papers-track in POPL 2019 Author of Abstracting Extensible Data Types; Or, Rows By Any Other Name within the Research Papers-track in POPL 2019
Mohammad Mousavi University of Leicester, UK United Kingdom Committee Member in Organizing Committee within the OPCT-track
Prashanth Mundkur SRI International Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Toby Murray University of Melbourne, Australia Australia Committee Member in Program Committee within the CPP-track
Andrew Myers Cornell University United States Author of Abstraction-Safe Effect Handlers via Tunneling within the Research Papers-track in POPL 2019 Committee Member in Steering Committee for POPL 2019
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Program Co-Chair in Program Committee within the CPP-track
Carlos Mão de Ferro LASIGE, Faculty of Sciences, University of Lisbon Portugal Student Volunteer Co-Captain in Organizing Committee for POPL 2019
Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark Author of Bisimulation as path type for guarded recursive types within the Research Papers-track in POPL 2019
Santosh Nagarakatte Rutgers University, USA United States Committee Member in Program Committee within the PriSC-track
Mayur Naik University of Pennsylvania Committee Member in Program Committee within the POPL Research Papers-track
Keiko Nakata SAP Innovation Center Potsdam Germany Committee Member in Program Committee within the PEPM-track
Kedar Namjoshi Nokia Bell Labs Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track in PriSC 2019 Committee Member in Program Committee within the VMCAI-track invited speaker in Invited Speakers within the VMCAI-track
Praveen Narayanan Indiana University, USA Committee Member in Program Committee within the LAFI-track
David Naumann Stevens Institute of Technology Committee Member in Program Committee within the PriSC-track Committee Member in Program Committee within the POPL Research Papers-track
Hamed Nemati CISPA Author of Confidentiality-Preserving Refinement within the PriSC 2019-track in PriSC 2019
Ryan R. Newton Indiana University United States Committee Member in Program Committee within the POPL Research Papers-track
Max S. New Northeastern University Author of Gradual Type Theory within the Research Papers-track in POPL 2019
Nicholas Ng Imperial College London United Kingdom Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track in POPL 2019
Dejan Nickovic Austrian Institute of Technology Committee Member in Program Committee within the VMCAI-track
Thomas Noll RWTH Aachen University Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track in POPL 2019
Aditya Nori invited speaker in Invited Speakers within the VMCAI-track
Robert M. Norton University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Liam O'Connor University of New South Wales Australia Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019
Peter W. O'Hearn Facebook and University College London Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track in POPL 2019
Peter O'Hearn Facebook Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Emilia Oikarinen University of Helsinki Finland Committee Member in Program Committee within the PADL-track
Nastaran Okati Ferdowsi University of Mashhad Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track in POPL 2019
Cyrus Omar University of Chicago United States Author of Live Functional Programming with Typed Holes within the Research Papers-track in POPL 2019
Dominic Orchard University of Kent, UK United Kingdom Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the BEAT-track
Scott Owens University of Kent, UK United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Munindar P. Singh North Carolina State University Author of [T2] Engineering Distributed Systems via Protocols and Commitments within the TutorialFest-track in POPL 2019
Tommaso Padoan University of Padova Author of Fixpoint Games on Continuous Lattices within the Research Papers-track in POPL 2019
Luca Padovani University of Turin, Italy Italy Committee Member in Program Committee within the BEAT-track
Karl Palmskog University of Texas at Austin United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jens Palsberg University of California, Los Angeles (UCLA) Committee Member in Program Committee within the PEPM-track Committee Member in Program Committee within the VMCAI-track
James Parker University of Maryland Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track in POPL 2019
Matthew Parkinson Microsoft Research, UK United Kingdom Committee Member in Program Committee within the POPL Research Papers-track
Gyunghee Park KAIST, Oracle Labs Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track in POPL 2019
Bryan Parno Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track in POPL 2019
Marco Patrignani Saarland University & CISPA United States Committee Member in Organizing Committee within the PriSC-track Committee Member in Program Committee within the PriSC-track
Daniel Patterson Northeastern University United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Andreas Pavlogiannis EPFL, Switzerland Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track in POPL 2019
Mathias Payer Purdue University United States Committee Member in Program Committee within the PriSC-track
Jennifer Paykin University of Pennsylvania United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mathias Vorreiter Pedersen Aarhus University Author of Modular Security Guarantees for Low-Level Languages with Stack Traversal within the PriSC 2019-track in PriSC 2019
Marco Peressotti University of Southern Denmark Denmark Author of Better Late Than Never: A Fully Abstract Semantics for Classical Processes within the Research Papers-track in POPL 2019
Jorge A. Perez University of Groningen, The Netherlands Netherlands Co-chair in Program Committee within the BEAT-track Committee Member in Organizing Committee within the BEAT-track
Tomas Petricek Alan Turing Institute United Kingdom Committee Member in Program Committee within the Off the Beaten Track-track
Tommaso Petrucciani DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France Italy Author of Gradual Typing: A New Perspective within the Research Papers-track in POPL 2019
Alberto Pettorossi U. Roma Tor Vergata Committee Member in Program Committee within the PEPM-track
Frank Pfenning Carnegie Mellon University, USA Committee Member in Program Committee within the PEPM-track
Anna Philippou University of Cyprus Committee Member in Program Committee within the BEAT-track
Robin Piedeleu University of Oxford Author of Diagrammatic Algebra: From Linear to Concurrent Systems within the Research Papers-track in POPL 2019
Brigitte Pientka McGill University Keynote Speaker of Mechanized Metatheory - The Next Chapter within the Research Papers-track in POPL 2019 Committee Member in Steering Committee for POPL 2019
Benjamin C. Pierce University of Pennsylvania United States Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track in POPL 2019
Frank Piessens KU Leuven Committee Member in Program Committee within the PriSC-track
Maciej Piróg University of Wrocław Poland Author of Abstracting Algebraic Effects within the Research Papers-track in POPL 2019
Ruzica Piskac Yale University, USA Co-chair in Organizing Committee within the VMCAI-track Program Co-Chair in Program Committee within the VMCAI-track
André Platzer Carnegie Mellon University United States Author of [T4] Programming Cyber-Physical Systems With Logic within the TutorialFest-track in POPL 2019 Committee Member in Program Committee within the CPP-track
Andreas Podelski University of Freiburg, Germany Germany Committee Member in Program Committee within the POPL Research Papers-track
Anton Podkopaev JetBrains Resereach Russia Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track in POPL 2019
Piotr Polesiuk University of Wrocław Author of Abstracting Algebraic Effects within the Research Papers-track in POPL 2019
Nadia Polikarpova University of California, San Diego United States Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-track in POPL 2019
Axel Polleres Vienna University of Economincs and Business, Austria Committee Member in Program Committee within the PADL-track
Enrico Pontelli New Mexico State University Committee Member in Program Committee within the PADL-track
Andrei Popescu Middlesex University, London United Kingdom Author of Bindings as Bounded Natural Functors within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the CPP-track
Natalie Popescu University of California San Diego Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track in POPL 2019
Jonathan Protzenko Microsoft Research, Redmond United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Christopher Pulte University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Sylvie Putot École Polytechnique Committee Member in Program Committee within the VMCAI-track invited speaker in Invited Speakers within the VMCAI-track
Markus Püschel ETH Zürich Switzerland Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track in POPL 2019
Azalea Raad MPI-SWS, Germany United Kingdom Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019
Tom Rainforth Department of Statistics, University of Oxford Committee Member in Program Committee within the LAFI-track
Vineet Rajani MPI-SWS Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track in POPL 2019
Robert Rand University of Pennsylvania United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Francesco Ranzato University of Padova Italy Author of A$^2$I: Abstract$^2$ Interpretation within the Research Papers-track in POPL 2019
Aseem Rastogi Microsoft Research India Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track in POPL 2019
Antonio Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS Portugal Committee Member in Organizing Committee within the OPCT-track Co-chair in Program Committee within the BEAT-track Committee Member in Organizing Committee within the BEAT-track
Jakob Rehof Technical University Dortmund Author of Principality and Approximation under Dimensional Bound within the Research Papers-track in POPL 2019
Christoph Reichenbach Lund University Committee Member in Program Committee within the PEPM-track
Alastair Reid Arm Ltd United Kingdom Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Jan Reineke Saarland University Germany Author of Fast and exact analysis for LRU caches within the Research Papers-track in POPL 2019
Giselle Reis Carnegie Mellon University Committee Member in Program Committee within the CPP-track
John Renner UCSD Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track in POPL 2019
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. United States Author of Closed Forms for Numerical Loops within the Research Papers-track in POPL 2019 Author of Refinement of Path Expressions for Static Analysis within the Research Papers-track in POPL 2019
Tamara Rezk Inria France Committee Member in Program Committee within the PriSC-track
Alexander Richardson University of Cambridge, UK Author of Protecting C++ applications using CHERI within the PriSC 2019-track in PriSC 2019 Author of Secure Linking in the CheriBSD Operating System within the PriSC 2019-track in PriSC 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Martin Rinard Massachusetts Institute of Technology United States Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the PEPM-track
Talia Ringer University of Washington United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the CoqPL-track
Christine Rizkallah University of New South Wales Australia Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Ricardo Rocha University of Porto, Portugal Portugal Committee Member in Program Committee within the PADL-track
Tiark Rompf Purdue University United States Steering Committee Member in Steering Committee within the PEPM-track
Lovro Rožić MPI-SWS, Germany Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019
Philipp Ruemmer Uppsala University Sweden Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track in POPL 2019
Claudio Russo Microsoft Research Committee Member in Program Committee within the POPL Research Papers-track
Alejandro Russo Chalmers University of Technology, Sweden Argentina Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track in POPL 2019
Sukyoung Ryu KAIST, South Korea Korea, South Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track in POPL 2019
Feras Saad Massachusetts Institute of Technology United States Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track in POPL 2019
Konstantinos (Kostis) Sagonas Uppsala University Sweden Committee Member in Program Committee within the PEPM-track
Gabriela Sampaio Imperial College London, UK Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track in POPL 2019
Alex Sanchez-Stern University of California, San Diego United States Student Volunteer Co-Captain in Organizing Committee for POPL 2019
José Fragoso Santos Imperial College London Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track in POPL 2019
Isao Sasano Shibaura Institute of Technology Japan Committee Member in Program Committee within the PEPM-track
Annabel Satin P.C.K. Conference Coordinator in Organizing Committee for POPL 2019 Treasurer in Organizing Committee for POPL 2019
Tetsuya Sato University at Buffalo, SUNY, USA United States Author of Formal verification of higher-order probabilistic programs within the Research Papers-track in POPL 2019
Alceste Scalas Imperial College London United Kingdom Author of Less is More: Multiparty Session Types Revisited within the Research Papers-track in POPL 2019
Ulrich Schaechtle Massachusetts Institute of Technology, USA Author of Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling within the Research Papers-track in POPL 2019
Konstantin Schekotihin Committee Member in Program Committee within the PADL-track
Gabriel Scherer INRIA Saclay France Committee Member in Program Committee within the PriSC-track Committee Member in Program Committee within the POPL Research Papers-track
Alan Schmitt Inria Author of Skeletal Semantics and their Interpretations within the Research Papers-track in POPL 2019
Ulrik Schultz University of Southern Denmark Steering Committee Member in Steering Committee within the PEPM-track
Daniel Schwartz-Narbonne Amazon, n.n. Committee Member in Program Committee within the VMCAI-track
Martina Seidl Committee Member in Program Committee within the VMCAI-track
Taro Sekiyama IBM Research, Japan Japan Author of Dynamic Type Inference for Gradual Hindley–Milner Typing within the Research Papers-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Peter Selinger Dalhaousie University Committee Member in Program Committee within the POPL Research Papers-track
Ilya Sergey Yale-NUS College Singapore Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track in POPL 2019 Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the PEPM-track Co-chair in Organizing Committee within the CoqPL-track
Thomas Sewell UNSW, Australia Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Peter Sewell University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Zhong Shao Yale University Author of An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code within the Research Papers-track in POPL 2019
Kensen Shi Stanford University Author of FrAngel: Component-Based Synthesis with Control Structures within the Research Papers-track in POPL 2019
Sharon Shoham Tel Aviv university Israel Committee Member in Program Committee within the VMCAI-track
Filip Sieczkowski University of Wrocław Poland Author of Abstracting Algebraic Effects within the Research Papers-track in POPL 2019
Jeremy G. Siek Indiana University, USA United States Author of Gradual Typing: A New Perspective within the Research Papers-track in POPL 2019
Alexandra Silva University College London United Kingdom Committee Member in Organizing Committee within the OPCT-track
Gagandeep Singh United States Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track in POPL 2019
Jeffrey Siskind School of Electrical and Computer Engineering, Purdue University Co-chair in Program Committee within the LAFI-track
Lau Skorstengaard Author of StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities within the Research Papers-track in POPL 2019
Anna Slobodova Committee Member in Program Committee within the CPP-track
Calvin Smith University of Wisconsin - Madison United States Author of Trace Abstraction Modulo Probability within the Research Papers-track in POPL 2019
Pawel Sobocinski University of Southampton Author of Diagrammatic Algebra: From Linear to Concurrent Systems within the Research Papers-track in POPL 2019
Harald Sondergaard Committee Member in Program Committee within the PEPM-track
Matthieu Sozeau Inria France Author of Definitional Proof-Irrelevance without K within the Research Papers-track in POPL 2019
Fausto Spoto U. Verona Committee Member in Program Committee within the PEPM-track
Johannes Späth Fraunhofer IEM Germany Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track in POPL 2019
Meera Sridhar University of North Carolina Charlotte, USA Committee Member in Program Committee within the PADL-track
Caleb Stanford University of Pennsylvania United States Author of Modular Quantitative Monitoring within the Research Papers-track in POPL 2019
Ian Stark The University of Edinburgh United Kingdom Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Sam Staton University of Oxford Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track in POPL 2019
Guy L. Steele Jr. Oracle Labs United States Author of Polymorphic Symmetric Multiple Dispatch with Variance within the Research Papers-track in POPL 2019
Deian Stefan University of California, San Diego Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track in PriSC 2019 Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track in POPL 2019 Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track in POPL 2019 Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the PriSC-track
Jacob Steinhardt Stanford University Author of FrAngel: Component-Based Synthesis with Control Structures within the Research Papers-track in POPL 2019
Christian Sternagel University of Innsbruck, Austria Austria Committee Member in Program Committee within the CPP-track
Gordon Stewart Ohio University United States Committee Member in Program Committee within the CoqPL-track
Nemanja Stojanovic Video Co-Chair in Organizing Committee for POPL 2019
Jan Stolarek University of Edinburgh, UK United Kingdom Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Aaron Stump The University of Iowa, USA United States Committee Member in Program Committee within the POPL Research Papers-track
Partha Susarla Data61, CSIRO Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019
Charles Sutton University of Edinburgh United Kingdom Author of Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic within the Research Papers-track in POPL 2019
Nikhil Swamy Microsoft Research United States Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
David Swasey MPI-SWS Germany Committee Member in Program Committee within the PriSC-track Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Lucas M. Tabajara Rice University Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track in PriSC 2019
Nicolas Tabareau Inria France Author of Definitional Proof-Irrelevance without K within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the POPL Research Papers-track
Éric Tanter University of Chile & Inria Paris Chile Author of Type-Driven Gradual Security with References within the Research Papers-track in POPL 2019 Author of Gradual Parametricity, Revisited within the Research Papers-track in POPL 2019
Paul Tarau University of North Texas United States Committee Member in Program Committee within the PADL-track
Joseph Tassarotti Carnegie Mellon University Author of A Separation Logic for Concurrent Randomized Programs within the Research Papers-track in POPL 2019
Enrico Tassi INRIA France Committee Member in Program Committee within the CPP-track Committee Member in Program Committee within the CoqPL-track
Christine Tasson University Paris Diderot Committee Member in Program Committee within the LAFI-track
Zachary Tatlock University of Washington United States Committee Member in Program Committee within the CPP-track
Peter Thiemann University of Freiburg, Germany Committee Member in Steering Committee for POPL 2019
Amin Timany imec-Distrinet KU-Leuven Belgium Committee Member in Program Committee within the PriSC-track Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Sam Tobin-Hochstadt Indiana University United States Committee Member in Program Committee within the POPL Research Papers-track
Andrew Tolmach Portland State University Committee Member in Program Committee within the POPL Research Papers-track
John Toman University of Washington, Seattle United States Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track in POPL 2019
Bernardo Toninho NOVA-LINCS, FCT/UNL Portugal Author of Interconnectability of Session-Based Logical Processes within the Research Papers-track in POPL 2019 Organizer in Organizing Committee within the PLMW-track
Matías Toro University of Chile Author of Type-Driven Gradual Security with References within the Research Papers-track in POPL 2019 Author of Gradual Parametricity, Revisited within the Research Papers-track in POPL 2019
Valentin Touzeau Univ. Grenoble Alpes Author of Fast and exact analysis for LRU caches within the Research Papers-track in POPL 2019
Jesse A. Tov Northwestern University, Department of Electrical Engineering and Computer Science Author of A Calculus for Esterel within the Research Papers-track in POPL 2019
Dmitriy Traytel ETH Zurich Switzerland Author of Bindings as Bounded Natural Functors within the Research Papers-track in POPL 2019
Anton Trunov IMDEA Software Institute Spain Committee Member in Program Committee within the CoqPL-track
Dominique Unruh University of Tartu Author of Quantum Relational Hoare Logic within the Research Papers-track in POPL 2019
Caterina Urban ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the VMCAI-track
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track in POPL 2019 Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019 Author of Grounding Thin-Air Reads with Event Structures within the Research Papers-track in POPL 2019
Vasco Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon Portugal Local Arrangements Chair in Organizing Committee for POPL 2019
Marco Vassena Chalmers University of Technology Sweden Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track in POPL 2019
Niki Vazou IMDEA Software Institute Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track in POPL 2019 Chair in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL Research Papers-track
Martin Vechev ETH Zürich Author of An Abstract Domain for Certifying Neural Networks within the Research Papers-track in POPL 2019
Niccolò Veltri IT University of Copenhagen Author of Bisimulation as path type for guarded recursive types within the Research Papers-track in POPL 2019
Jules Villard Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019
Mahesh Viswanathan University of Illinois at Urbana-Champaign Author of Decidable Verification of Uninterpreted Programs within the Research Papers-track in POPL 2019
Ian Voysey Carnegie Mellon University Author of Live Functional Programming with Typed Holes within the Research Papers-track in POPL 2019
Dimitrios Vytiniotis Microsoft Research, Cambridge Committee Member in Program Committee within the POPL Research Papers-track
Matthijs Vákár University of Oxford Author of A Domain Theory for Statistical Probabilistic Programming within the Research Papers-track in POPL 2019
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the BEAT-track
David Walker Princeton University United States Committee Member in Steering Committee for POPL 2019 Industrial Relations Chair in Organizing Committee for POPL 2019
Yuting Wang Yale University Author of An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code within the Research Papers-track in POPL 2019
Bow-Yaw Wang Committee Member in Program Committee within the CPP-track
Di Wang Carnegie Mellon University United States Author of Type-Guided Worst-Case Input Generation within the Research Papers-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Mark Wassell University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Robert N.M. Watson University of Cambridge Author of Protecting C++ applications using CHERI within the PriSC 2019-track in PriSC 2019 Author of Secure Linking in the CheriBSD Operating System within the PriSC 2019-track in PriSC 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Conrad Watt University of Cambridge, UK Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track in PriSC 2019 Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track in POPL 2019
Tjark Weber Uppsala University Sweden Committee Member in Program Committee within the CPP-track
Stephanie Weirich University of Pennsylvania, USA United States Committee Member in Steering Committee for POPL 2019 Program Chair in Organizing Committee for POPL 2019 PC Chair in Program Committee within the POPL Research Papers-track
Edwin Westbrook Galois, Inc. United States Committee Member in Program Committee within the CoqPL-track
Pierre Wilke Yale University Author of An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code within the Research Papers-track in POPL 2019
Glynn Winskel Author of Game Semantics for Quantum Programming within the Research Papers-track in POPL 2019
Sebastian Wolff TU Braunschweig Germany Author of Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis within the Research Papers-track in POPL 2019
Xiaodi Wu University of Oregon, USA United States Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019
Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track in POPL 2019
Eran Yahav Technion Israel Author of code2vec: Learning Distributed Representations of Code within the Research Papers-track in POPL 2019
Jeremy Yallop University of Cambridge, UK Steering Committee Chair in Steering Committee within the PEPM-track
Mingsheng Ying University of Technology Sydney Australia Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019
Xin Yi National University of Defense Technology China Author of Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries within the Research Papers-track in POPL 2019
Nobuko Yoshida Imperial College London Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track in POPL 2019 Author of Two sides of the same coin: Session Types and Game Semantics within the Research Papers-track in POPL 2019 Author of Less is More: Multiparty Session Types Revisited within the Research Papers-track in POPL 2019 Author of Interconnectability of Session-Based Logical Processes within the Research Papers-track in POPL 2019 Organizer in Organizing Committee within the PLMW-track
Akira Yoshimizu INRIA Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track in POPL 2019
Shu-Hung You Northwestern University, USA Taiwan Author of A Calculus for Esterel within the Research Papers-track in POPL 2019
Jakub Zalewski Video Co-Chair in Organizing Committee for POPL 2019
Fabio Zanasi University College London Author of Diagrammatic Algebra: From Linear to Concurrent Systems within the Research Papers-track in POPL 2019
Steve Zdancewic University of Pennsylvania United States Organizer in Organizing Committee within the PLMW-track Committee Member in Program Committee within the CoqPL-track
Noam Zeilberger University of Birmingham, UK Committee Member in Program Committee within the POPL Research Papers-track
Yizhou Zhang Cornell University Author of Abstraction-Safe Effect Handlers via Tunneling within the Research Papers-track in POPL 2019
Shaopeng Zhu University of Maryland Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019
He Zhu Galois, Inc. Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Lukasz Ziarek SUNY Buffalo, USA United States Committee Member in Program Committee within the PADL-track
Meital Zilberstein Technion Israel Author of code2vec: Learning Distributed Representations of Code within the Research Papers-track in POPL 2019
Elena Zucca University of Genova Committee Member in Program Committee within the PEPM-track
Lenore Zuck Committee Member in Program Committee within the VMCAI-track
Damien Zufferey MPI-SWS Committee Member in Program Committee within the VMCAI-track
Bart van Merriënboer Google Brain Committee Member in Program Committee within the LAFI-track
Ezgi Çiçek Facebook London Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019

POPL 2019 Contributors

Results (499)

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums