POPL 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (740)

Andreas Abel Gothenburg University Sweden Session Chair of Dependent Types (part of POPL Research Papers) 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 Author of Hybrid Systems Reachability Analysis within the OPCT 2019-track in OPCT 2019 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 Session Chair of Program Analysis I (part of POPL Research Papers) Author of Demand Control-Flow Analysis within the VMCAI 2019-track in VMCAI 2019 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 Session Chair of Machine Learning and Linear Algebra (part of POPL Research Papers) Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-track in VMCAI 2019 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
Madhur Amilkanthwar Author of Facile : A Domain Specific Language and Compiler for Program Analysis and Optimization within the Off the Beaten Track 2019-track in Off the Beaten Track 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
Étienne André LIPN, CNRS UMR 7030, Université Paris 13 France Author of Parametric Timed Broadcast Protocols within the VMCAI 2019-track in VMCAI 2019 Author of Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking within the VMCAI 2019-track in VMCAI 2019
Timos Antonopoulos Yale University Committee Member in Program Committee within the VMCAI-track
Joaquin Arias Universidad Politécnica de Madrid and IMDEA Software Institute Spain Author of Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP within the PADL 2019-track in PADL 2019
Alasdair Armstrong University of Cambridge Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Kenichi Asai Ochanomizu University Japan Author of Extracting a Call-by-Name Partial Evaluator from a Proof of Termination within the PEPM 2019-track in PEPM 2019
Aslan Askarov Aarhus University Session Chair of Session 4 (part of PriSC) Author of Modular Security Guarantees for Low-Level Languages with Stack Traversal within the PriSC 2019-track in PriSC 2019
Alexander Asp Bock Author of Static Partitioning of Spreadsheets for Parallel Execution within the PADL 2019-track in PADL 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 University of Padova Italy Author of Model Checking True Concurrency Properties within the OPCT 2019-track in OPCT 2019 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
Clément Ballabriga Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track in VMCAI 2019
Thomas Ball Microsoft Research United States Presenter of Microsoft Research: Engage, Verify, Open within the Research Papers-track in POPL 2019
Stephanie Balzer Carnegie Mellon University, USA United States Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track in PLMW 2019 Author of [T6] Session-Typed Concurrent Programming within the TutorialFest-track in POPL 2019 Panelist in Panelists within the PLMW-track 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
Elias Benussi Imperial College London Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track in BEAT 2019
Véronique Benzaken LRI, Université Paris-Sud France Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track in CPP 2019
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
Lennart Beringer Princeton University United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Giovanni Bernardi Université Paris Diderot France Author of From Testing Preorders to Flaky Tests within the OPCT 2019-track in OPCT 2019
Marco Bernardo University of Urbino Author of ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences within the OPCT 2019-track in OPCT 2019
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 Presenter of POPL 2020 Announcement within the Research Papers-track in POPL 2019 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 Blanchette Vrije Universiteit Amsterdam Netherlands Author of Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL within the CPP 2019-track in CPP 2019 Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track in CPP 2019 Author of Bindings as Bounded Natural Functors within the Research Papers-track in POPL 2019
Sandrine Blazy Univ Rennes- IRISA France Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track in CPP 2019
Roderick Bloem Institute of Software Technology, Graz University of Technology Author of Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs within the VMCAI 2019-track in VMCAI 2019
François Bobot CEA Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track in VMCAI 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
Mehdi Bouaziz Facebook London United Kingdom Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019
Quentin Bouillaguet Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track in VMCAI 2019
Rémy Boutonnet Author of Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis within the VMCAI 2019-track in VMCAI 2019
Ana Bove Chalmers University of Technology, Sweden Committee Member in Program Committee within the CPP-track
Jonathan Bowen London South Bank University United Kingdom 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
Martin Brain Author of Application of Abstract Interpretation to the Automotive Electronic Control System within the VMCAI 2019-track in VMCAI 2019
Mario Bravetti Università di Bologna Italy Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track in BEAT 2019
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 United Kingdom Author of (Un)Encrypted Computing and Indistinguishability Obfuscation within the PriSC 2019-track in PriSC 2019
David Broman KTH Royal Institute of Technology Sweden Author of Composing Syntactical Constructs to Create Domain-Specific Languages within the PADL 2019-track in PADL 2019
Denis Bueno Author of euforia: Complete Software Model Checking with Uninterpreted Functions within the VMCAI 2019-track in VMCAI 2019
Matteo Busi Università di Pisa - Dipartimento di Informatica Author of Translation Validation for Security Properties within the PriSC 2019-track in PriSC 2019
Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Portugal Author of A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic within the OPCT 2019-track in OPCT 2019
Georgiana Caltais University of Konstanz Author of Causal Reasoning for Safety within the OPCT 2019-track in OPCT 2019
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
Mauricio Cano University of Groningen, The Netherlands Author of Two Declarative Approaches for Session-Based Concurrency within the BEAT 2019-track in BEAT 2019
Xinya Cao Nankai University, China Author of Method Name Suggestion with Hierarchical Attention Networks within the PEPM 2019-track in PEPM 2019
Qinxiang Cao Shanghai Jiao Tong University China Session Chair of Contributed Talks 3 & Coq Developers (part of CoqPL) Author of Deep Embedded Hoare Logic for Building Machine-Checkable Foundational Program Correctness Proofs within the CoqPL-track in CoqPL 2019
Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM) Spain Author of Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP within the PADL 2019-track in PADL 2019 Committee Member in Program Committee within the PADL-track
Giuseppe Castagna CNRS - Université Paris Diderot, France France Committee Member in Steering Committee for POPL 2019 Author of Gradual Typing: A New Perspective within the Research Papers-track in POPL 2019
Ilaria Castellani INRIA Sophia Antipolis, France France Session Chair of Session Types (part of OPCT) Author of Global Types with Internal Delegation within the BEAT 2019-track in BEAT 2019 Committee Member in Organizing Committee within the OPCT-track
Simon Castellan 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
Simon Castellan Author of Probabilistic Programming Inference via Intensional Semantics within the LAFI (né PPS)-track in LAFI 2019
Valentina Castiglioni Inria Saclay - Ile de France Author of A Metric Semantics for Coordination Languages within the OPCT 2019-track in OPCT 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
Pavol Cerny University of Colorado Boulder Slovakia Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track in VMCAI 2019
Andrea Cerone Imperial College London Author of A Uniform Framework of Transactional Consistency Models for Protocol Verification and Program Analysis within the OPCT 2019-track in OPCT 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
Bor-Yuh Evan Chang University of Colorado Boulder Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track in VMCAI 2019
Krishnendu Chatterjee IST Austria Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track in VMCAI 2019 Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track in POPL 2019
Kaustuv Chaudhuri Inria, France France Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track in CPP 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 Data61, CSIRO and UNSW Australia Author of A Data Layout Description Language for Cogent within the PriSC 2019-track in PriSC 2019
Wei-Ngan Chin National University of Singapore Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track in VMCAI 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 Session Chair of Afternoon Talks (part of Off the Beaten Track) Session Chair of Keynote (part of Off the Beaten Track) Chair of Design Critique and Discussion within the Off the Beaten Track 2019-track in Off the Beaten Track 2019 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
Rance Cleaveland University of Maryland Presenter of NSF funding for PL within the Research Papers-track in POPL 2019
Jesper Cockx Chalmers \| University of Gothenburg Sweden Author of Definitional Proof-Irrelevance without K within the Research Papers-track in POPL 2019 Author of [T5] Correct-by-Construction Programming in Agda within the TutorialFest-track in POPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Tiago Cogumbreiro University of Massachusetts Boston United States Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track in BEAT 2019
Alexander Collins NVIDIA Author of Probabilistic Programming with CuPPL within the LAFI (né PPS)-track in LAFI 2019
Breandan Considine Université de Montréal United States Author of Kotlin∇: Differentiable Functional Programming with Algebraic Data Types within the LAFI (né PPS)-track in LAFI 2019
Evelyne Contejean Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track in CPP 2019
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 Session Chair of Abstract Interpretation (1) (part of VMCAI) 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
Emanuele D'Osualdo Imperial College London, UK United Kingdom Author of Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the OPCT 2019-track in OPCT 2019
Ugo Dal Lago University of Bologna, Italy / Inria, France Italy Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track in LAFI 2019 Author of Invited Talk: On Type-Based Complexity Analysis of Programs and Processes within the BEAT 2019-track in BEAT 2019 Author of [T7] Higher-Order Probabilistic Programming within the TutorialFest-track in POPL 2019 Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-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
Tamino Dauth Karlsruhe University of Applied Sciences, Germany Author of Futures and Promises in Haskell and Scala within the PEPM 2019-track in PEPM 2019 Author of Advanced Futures and Promises in C++ (poster) within the PEPM 2019-track in PEPM 2019
Brooks Davis SRI International Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Wolfgang De Meuter Vrije Universiteit Brussel Author of Effect-driven Flow Analysis within the VMCAI 2019-track in VMCAI 2019
Rocco De Nicola Author of Attribute Based Communication for Collective Adaptive Systems within the OPCT 2019-track in OPCT 2019
Coen De Roover Vrije Universiteit Brussel Belgium Author of Effect-driven Flow Analysis within the VMCAI 2019-track in VMCAI 2019
Marc De Visme ENS Lyon Author of Game Semantics for Quantum Programming within the Research Papers-track in POPL 2019 Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track in POPL 2019
Søren Debois IT University of Copenhagen Author of Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs within the BEAT 2019-track in BEAT 2019
Normann Decker Author of Flat Model Checking for Counting LTL using Quantifier-free Presburger Arithmetic within the VMCAI 2019-track in VMCAI 2019
Pierpaolo Degano Università di Pisa - Dipartimento di Informatica Author of Translation Validation for Security Properties within the PriSC 2019-track in PriSC 2019
Benoit Delahaye Author of Parametric Timed Broadcast Protocols within the VMCAI 2019-track in VMCAI 2019
Benjamin Delaware Purdue University Artifact Evaluation Co-Chair in Organizing Committee for POPL 2019 Session Chair of Type Abstraction and Effects (part of POPL Research Papers) Author of A Verified Protocol Buffer Compiler within the CPP 2019-track in CPP 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 Session Chair of Session 2 (part of PriSC) 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
Mariangiola Dezani Università di Torino Italy Author of Global Types with Internal Delegation within the BEAT 2019-track in BEAT 2019
Cinzia Di Giusto Laboratoire I3S Author of Multiparty Reactive Sessions within the OPCT 2019-track in OPCT 2019
Matthew Di Meglio UNSW 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
Thomas Dinsdale-Young Author of WIP: Formalizing the Concordium Consensus Protocol in Coq within the CoqPL-track in CoqPL 2019
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
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
Iulia Dragomir Author of Mechanically Proving Determinacy of Hierarchical Block Diagram Translations within the VMCAI 2019-track in VMCAI 2019
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 Session Chair of Networks and Concurrency (part of VMCAI) 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
Maxime Dénès INRIA Author of Session with the Coq Development Team within the CoqPL-track in CoqPL 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
Manuel Eberl Technische Universität München Germany Author of Verified Solving and Asymptotics of Linear Recurrences within the CPP 2019-track in CPP 2019
Søren Eller Thomsen Aarhus University Denmark Author of WIP: Formalizing the Concordium Consensus Protocol in Coq within the CoqPL-track in CoqPL 2019
Michael Emmi SRI International United States Session Chair of Program Analysis II (part of POPL Research Papers) 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 Session Chair of Invited Talk 1 (part of VMCAI) 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 Author of Personalized Course Schedule Planning using Answer Set Programming within the PADL 2019-track in PADL 2019 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
Claudia Faggian IRIF France Author of Probabilistic Lambda Calculus: Beyond Deterministic Evaluation within the LAFI (né PPS)-track in LAFI 2019
Frantisek Farka Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019
Grigory Fedyukovich Princeton University United States Session Chair of Software Verification (part of VMCAI) Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track in VMCAI 2019
Bertram Felgenhauer Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Amy Felty University of Ottawa Canada Author of A Linear Logical Framework in Hybrid within the CPP 2019-track in CPP 2019
Jerome Feret INRIA Paris France Committee Member in Program Committee within the VMCAI-track
Carla Ferreira Universidade Nova Lisboa Author of IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases within the OPCT 2019-track in OPCT 2019
Robby Findler Northwestern University, USA United States Author of A Calculus for Esterel: If can, can. If no can, no can. within the Research Papers-track in POPL 2019
Spencer P. Florence Northwestern University, USA Author of A Calculus for Esterel: If can, can. If no can, no can. 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
Julien Forget Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track in VMCAI 2019
Yannick Forster Saarland University Germany Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track in CPP 2019 Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track in CPP 2019 Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 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
Paulin Fournier Author of Parametric Timed Broadcast Protocols within the VMCAI 2019-track in VMCAI 2019
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
Gereon Fox Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track in VMCAI 2019
Adrian Francalanza University of Malta Malta Session Chair of Session 4 (part of BEAT) Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track in BEAT 2019 Author of A Foundation for Runtime Enforcement within the OPCT 2019-track in OPCT 2019 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
Cameron Freer Remine and Borelian United States Committee Member in Steering Committee within the LAFI-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
Laurent Fribourg Author of Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking within the VMCAI 2019-track in VMCAI 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
Hongfei Fu IST Austria Author of Termination of Nondeterministic Probabilistic Programs within the VMCAI 2019-track in VMCAI 2019
Marco Gaboardi University at Buffalo, SUNY United States Workshops Co-Chair in Organizing Committee for POPL 2019 Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track in 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
Emilio Jesús Gallego Arias INRIA France Author of Coq User Interfaces: Past, Present, and Future (Keynote) within the CoqPL-track in CoqPL 2019
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 Session Chair of Cyberphysical Systems, Hybrid Systems (part of OPCT) Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track in PLMW 2019 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 Panelist in Panelists within the PLMW-track
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 Session Chair of Session 1 (part of PriSC) Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track in PLMW 2019 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 Panelist in Panelists within the PLMW-track 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
Kimball Germane University of Utah Author of Relatively Complete Pushdown Analysis of Escape Continuations within the VMCAI 2019-track in VMCAI 2019 Author of Demand Control-Flow Analysis within the VMCAI 2019-track in VMCAI 2019
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 Session Chair of Session 4 (part of PEPM) 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 Session Chair of Session 3 (part of BEAT) Author of Global Types with Internal Delegation within the BEAT 2019-track in BEAT 2019 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
Milos Gligoric University of Texas at Austin United States Author of Verifying Finality for Blockchain Systems within the CoqPL-track in CoqPL 2019
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee within the PEPM-track
Amir Kafshdar Goharshady IST Austria Austria Author of Efficient Parameterized Algorithms for Data Packing within the Research Papers-track in POPL 2019
Sophia Gold Tezos Session Chair of C (part of LAFI) 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
Laure Gonnord University of Lyon & LIP, France France Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track in VMCAI 2019
Georges Gonthier Inria Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP)
Kiran Gopinathan University College London United Kingdom Author of Towards Mechanising Probabilistic Properties of a Blockchain within the CoqPL-track in CoqPL 2019
Andrew D. Gordon Microsoft Research and University of Edinburgh United Kingdom Committee Member in Steering Committee for POPL 2019 Session Chair of Session Types II (part of POPL Research Papers) 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 within the LAFI-track
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 [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019 Author of A True Positives Theorem for a Static Race Detector within the Research Papers-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 Session Chair of Verified Compilation and Concurrency (part of POPL Research Papers) Session Chair of Morning Papers (part of Off the Beaten Track) Author of Teaching Discrete Mathematics to Early Undergraduates with Software Foundations within the CoqPL-track in CoqPL 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
Benjamin Gregoire INRIA Keynote Speaker of PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography within the PriSC 2019-track in PriSC 2019
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
Vinod Grover NVIDIA United States Author of Probabilistic Programming with CuPPL within the LAFI (né PPS)-track in LAFI 2019
Sam Gruetter Massachusetts Institute of Technology Author of Counterexamples for Coq Conjectures within the CoqPL-track in CoqPL 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
Elsa Gunter University of Illinois United States Author of Dynamic Class Initialization Semantics: a Jinja Extension within the CPP 2019-track in CPP 2019
Chenkai Guo Nankai University, China Author of Method Name Suggestion with Hierarchical Attention Networks within the PEPM 2019-track in PEPM 2019
Gopal Gupta Author of An ASP-based Approach to Representing and Querying Textual Knowledge within the PADL 2019-track in PADL 2019
Aarti Gupta Princeton University Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track in VMCAI 2019
Arie Gurfinkel University of Waterloo Canada Author of Lazy but Effective Functional Synthesis within the VMCAI 2019-track in VMCAI 2019
Ronghui Gu Columbia University, USA United States Committee Member in Program Committee within the CoqPL-track
Thomas H. Hildebrandt Session Chair of Causality, Reversibility (part of OPCT) Author of Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs within the BEAT 2019-track in BEAT 2019
Stefan Haar Author of Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics within the VMCAI 2019-track in VMCAI 2019
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 Author of CSS Minification via Constraint Solving within the Research Papers-track in POPL 2019
Nicolas Halbwachs Author of Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis within the VMCAI 2019-track in VMCAI 2019
Kevin Hamlen University of Texas at Dallas, USA Committee Member in Program Committee within the PADL-track
Matthew Hammer None 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
Kevin Hammond University of St. Andrews, UK Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019
Jad Hamza LIAFA, Université Paris Diderot Author of Minimal Synthesis of String To String Functions From Examples within the VMCAI 2019-track in VMCAI 2019
Helle Hvid Hansen Delft University of Technology Author of A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics within the OPCT 2019-track in OPCT 2019
Michael Hanus Kiel University Germany Author of Improving Residuation in Declarative Programs within the PADL 2019-track in PADL 2019
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 Higher Inductive Types in Cubical Computational Type Theory within the Research Papers-track in POPL 2019 Author of A Separation Logic for Concurrent Randomized Programs 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 Session Chair of Research Papers: Program Verification (part of CPP) 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
Matthew Heimerdinger Indiana University Author of Verified Equational Reasoning on a Little Language of Measures within the LAFI (né PPS)-track in LAFI 2019
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 General Chair of Welcome within the Research Papers-track in 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
Holger Hermanns Saarland University Germany Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track in VMCAI 2019
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Session Chair of Session 1 (part of PEPM) Session Chair of (part of PEPM) Co-chair of Welcome to PEPM19 within the PEPM 2019-track in PEPM 2019 Program Co-Chair in Program Committee within the PEPM-track
Michael Hicks University of Maryland, College Park United States Chair in Steering Committee for POPL 2019 Session Chair of Type Inference I (part of POPL Research Papers) Speaker of Technical Talk: What Is Programming Languages Research? within the PLMW@POPL-track in PLMW 2019 Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019 Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track in POPL 2019 Speaker in Speakers within the PLMW-track 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
Alasdair Hill Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019
Nick Hippen Author of Automatic Program Rewriting in Non-Ground Answer Set Programs within the PADL 2019-track in PADL 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
Jochen Hoenicke Universität Freiburg Germany Author of Solving and Interpolating Constant Arrays Based on Weak Equivalences within the VMCAI 2019-track in VMCAI 2019
Jan Hoffmann Carnegie Mellon University United States Session Chair of Reasoning about Probabilistic Programs (part of POPL Research Papers) Author of Invited Talk: Resource-Aware Session Types within the BEAT 2019-track in BEAT 2019 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 Session Chair of B (part of LAFI) Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2019 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
Chih-Duo Hong University of Oxford Taiwan Author of CSS Minification via Constraint Solving within the Research Papers-track in POPL 2019
Wolf Honore Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Ross Horne Computer Science and Communications Research Unit, University of Luxembourg Author of Global Types with Internal Delegation within the BEAT 2019-track in BEAT 2019
Naohiko Hoshino Kyoto University Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track in LAFI 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 Session Chair of Probabilistic Programming and Semantics (part of POPL Research Papers) Session Chair of Probabilistic Systems (part of VMCAI) Author of Trace Abstraction Modulo Probability within the Research Papers-track in POPL 2019 Author of Formal Verification of Higher-Order Probabilistic Programs 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
Christian Humer Oracle Labs, Switzerland Switzerland Invited Speaker of Applying Futamura Projections to Compose Languages and Tools in GraalVM (Invited Talk) within the PEPM 2019-track in PEPM 2019
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 Session Chair of Session 3 (part of PriSC) Committee Member in Program Committee within the PriSC-track
Rémi Hutin IRISA / ENS Rennes France Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track in CPP 2019
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
Richard Huybers Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track in VMCAI 2019
Johannes Hölzl Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the CPP-track
Hans Hüttel Department of Computer Science, Aalborg University Denmark Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track in BEAT 2019 Author of Processes as Names? within the OPCT 2019-track in OPCT 2019
Atsushi Igarashi Kyoto University, Japan Japan Session Chair of Session 3 (part of PEPM) Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track in PLMW 2019 Co-chair of Welcome to PEPM19 within the PEPM 2019-track in PEPM 2019 Author of Gradual Session Types in Imperative Style within the BEAT 2019-track in BEAT 2019 Author of Dynamic Type Inference for Gradual Hindley–Milner Typing within the Research Papers-track in POPL 2019 Panelist in Panelists within the PLMW-track Program Co-Chair in Program Committee within the PEPM-track
Yosikazu Imai Author of Application of Abstract Interpretation to the Automotive Electronic Control System within the VMCAI 2019-track in VMCAI 2019
Fabian Immler Author of Smooth Manifolds and Types to Sets for Linear Algebra in Isabelle/HOL within the CPP 2019-track in CPP 2019
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
Naoki Iwayama University of Tokyo, Japan Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track in PEPM 2019
Suresh Jagannathan Purdue University Committee Member in Program Committee within the POPL Research Papers-track
Barry Jay University of Technology Sydney Author of A Simpler Lambda Calculus within the PEPM 2019-track in PEPM 2019
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 Session Chair of Session 2 (part of PEPM) Author of Inferring Frame Conditions with Static Correlation Analysis within the Research Papers-track in POPL 2019 Author of Skeletal Semantics and their Interpretations 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 Committee Member in Steering Committee for POPL 2019 Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track in 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 Author of PADL Opening and Welcome within the PADL 2019-track in PADL 2019 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 Author of PADL Opening and Welcome within the PADL 2019-track in PADL 2019 PC Co-Chair in Organizing Committee within the PADL-track
Kristoffer Just Arndal Andersen Aarhus University Denmark Author of Distributed Protocol Combinators within the PADL 2019-track in PADL 2019
Jonas Kaiser Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track in CPP 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 Edinburgh 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
Anja Karl Institute of Applied Information Processing and Communications, Graz University of Technology Austria Author of Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs within the VMCAI 2019-track in VMCAI 2019
Joost-Pieter Katoen RWTH Aachen University Germany Author of Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification within the OPCT 2019-track in OPCT 2019 Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track in POPL 2019
Alex Kavvos Wesleyan University United States Author of Modalities, Cohesion, and Information Flow within the Research Papers-track in POPL 2019
Yoshiumi Kawamura Author of Application of Abstract Interpretation to the Automotive Electronic Control System within the VMCAI 2019-track in VMCAI 2019
Chantal Keller LRI, Université Paris-Sud France Committee Member in Program Committee within the CPP-track
Gabriele Keller Utrecht University 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 De-escalating Software (Keynote) within the Off the Beaten Track 2019-track in Off the Beaten Track 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019
Muhammed Kerem Kahraman Author of Personalized Course Schedule Planning using Answer Set Programming within the PADL 2019-track in PADL 2019
Zachary Kincaid Princeton University United States Workshops Co-Chair in Organizing Committee for POPL 2019 Author of A Practical Algorithm for Structure Embedding within the VMCAI 2019-track in VMCAI 2019 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 Committee Member in Tutorials Evaluation Committee within the POPL TutorialFest-track
Dominik Kirst Saarland University Germany Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track in CPP 2019
Oleg Kiselyov Author of Generating Mutually Recursive Definitions within the PEPM 2019-track in PEPM 2019
Gerwin Klein UNSW, Australia Committee Member in Program Committee within the CPP-track
Kaede Kobayashi Kyoto University Author of Gradual Session Types in Imperative Style within the BEAT 2019-track in BEAT 2019
Naoki Kobayashi University of Tokyo, Japan Author of Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking within the PEPM 2019-track in PEPM 2019 Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track in PEPM 2019
Nicolas Koh Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 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
Juraj Kolčák LSV, CNRS & ENS Cachan, University Paris Saclay Slovakia Author of Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics within the VMCAI 2019-track in VMCAI 2019
Ekaterina Komendantskaya Heriot-Watt University, UK Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019 Committee Member in Program Committee within the PADL-track
Dimitrios Kouzapas University of Cyprus Author of Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose within the BEAT 2019-track in BEAT 2019
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 Session Chair of Synthesis (part of POPL Research Papers) Session Chair of Contributed Talks 4 (part of CoqPL) 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
Neel Krishnaswami Computer Laboratory, University of Cambridge Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track in PLMW 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 Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019 Panelist in Panelists within the PLMW-track
Joachim Kristensen DIKU, University of Copenhagen Denmark Author of F a Language for Music Composition within the Off the Beaten Track 2019-track in Off the Beaten Track 2019
Jean Krivine CNRS France Author of A Calculus of Branching Processes within the OPCT 2019-track in OPCT 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 Kunčak EPFL, Switzerland Author of Minimal Synthesis of String To String Functions From Examples within the VMCAI 2019-track in VMCAI 2019 Committee Member in Program Committee within the PEPM-track
Barbara König University of Duisburg-Essen Session Chair of Algebra, Coalgebra, Model Checking (part of OPCT) Author of Fixpoint Games on Continuous Lattices within the Research Papers-track in POPL 2019
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
Alfons Laarman Leiden University Netherlands Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track in VMCAI 2019
Elizabeth Labrada University of Chile Author of Gradual Parametricity, Revisited within the Research Papers-track in POPL 2019
Ori Lahav Tel Aviv University Session Chair of Concurrency (part of POPL Research Papers) Session Chair of Software Verification and Synthesis (part of VMCAI) Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track in VMCAI 2019 Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019 Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models 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 IRIF, Université Paris Diderot, France France Author of Gradual Typing: A New Perspective within the Research Papers-track in POPL 2019
Dominique Larchey-Wendling CNRS, LORIA France Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track in CPP 2019
Ken Friis Larsen DIKU, University of Copenhagen Denmark Author of F a Language for Music Composition within the Off the Beaten Track 2019-track in Off the Beaten Track 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
Robert Y. Lewis Vrije Universiteit Amsterdam Netherlands Author of A Formal Proof of Hensel's Lemma over the p-adic Integers within the CPP 2019-track in CPP 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
Yuliya Lierler University of Nebraska Author of Strong Equivalence and Program's Structure in Arguing Essential Equivalence within the PADL 2019-track in PADL 2019 Author of Automatic Program Rewriting in Non-Ground Answer Set Programs within the PADL 2019-track in PADL 2019
Didier Lime Author of Parametric Timed Broadcast Protocols within the VMCAI 2019-track in VMCAI 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 Author of CSS Minification via Constraint Solving within the Research Papers-track in POPL 2019 Committee Member in Program Committee within the VMCAI-track
Giuseppe Lipari Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track in VMCAI 2019
Y. Annie Liu Stony Brook University United States Committee Member in Program Committee within the PEPM-track
Wenda Li University of Cambridge Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track in CPP 2019
Yishuai Li University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Yao Li University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Malte Lochau Author of Independence, Concurrency and Abstraction in Graph-Rewriting Processes within the OPCT 2019-track in OPCT 2019
Alexander Lochmann Author of Certified ACKBO within the CPP 2019-track in CPP 2019
Nuno P. Lopes Microsoft Research Session Chair of Program Synthesis (part of VMCAI) Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track in VMCAI 2019 Invited Speaker of Semantics for Compiler IRs: Undefined Behavior is not Evil! within the VMCAI 2019-track in VMCAI 2019 Invited Speaker in Invited Speakers within the VMCAI-track
Michele Loreti University of Camerino Italy Author of Designing Resilient Large Scaled CPS: Models, Languages and Tools within the OPCT 2019-track in OPCT 2019
Georgy Lukyanov Newcastle University, UK United Kingdom Author of Towards a Coq Formalisation of Build Systems within the CoqPL-track in CoqPL 2019
Bas Luttik Eindhoven University of Technology Author of Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) within the OPCT 2019-track in OPCT 2019
Kenny Zhuo Ming Lu Nanyang Polytechnic, Singapore Author of Control Flow Obfuscation via CPS Transformation within the PEPM 2019-track in PEPM 2019
Tianhan Lu University of Colorado Boulder Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track in VMCAI 2019
Hugo López IT University of Copenhagen, Denmark & DCR Solutions A/S Colombia Author of Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs within the BEAT 2019-track in BEAT 2019
P. Madhusudan University of Illinois at Urbana-Champaign United States Session Chair of Model Checking (part of POPL Research Papers) 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 Session Chair of Research Papers: Proof Theory, Theory of Programming Languages (part of CPP) Session Chair of Keynote 2 and Research Paper (part of CPP) Author of Business Meeting within the CPP 2019-track in CPP 2019 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
Stefan Mangard Author of Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs within the VMCAI 2019-track in VMCAI 2019
Matteo Manighetti Inria & École Polytechnique France Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track in CPP 2019
Carole Mann R.S.L Registration in Organizing Committee for POPL 2019
Vikash Mansinghka 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 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track Committee Member in Program Committee within the CoqPL-track
Susannah Mansky Author of Dynamic Class Initialization Semantics: a Jinja Extension within the CPP 2019-track in CPP 2019
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
Francisco Martins LaSIGE, University of Lisbon Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track in BEAT 2019
Christoph Matheja 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
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
Jay McCarthy University of Massachusetts Lowell Author of Demand Control-Flow Analysis within the VMCAI 2019-track in VMCAI 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
Paul-André 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
Aart Middeldorp Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Jan Midtgaard University of Southern Denmark Denmark Committee Member in Program Committee within the PEPM-track
Matthew Might University of Alabama at Birmingham \| Harvard Medical School United States Author of Relatively Complete Pushdown Analysis of Escape Continuations within the VMCAI 2019-track in VMCAI 2019 Author of Demand Control-Flow Analysis within the VMCAI 2019-track in VMCAI 2019
Christina Mika-Michalski University of Duisburg-Essen Author of Fixpoint Games on Continuous Lattices within the Research Papers-track in POPL 2019
Dale Miler INRIA Saclay and LIX France Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track in CPP 2019
Heather Miller Carnegie Mellon University Committee Member in Program Committee within the POPL Research Papers-track
Todd Millstein University of California, Los Angeles Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2019
Victor Cacciari Miraldo Utrecht University, Netherlands Author of Classes of Arbitrary Kind within the PADL 2019-track in PADL 2019
Yusuke Miyazaki Kyoto University Japan Author of Dynamic Type Inference for Gradual Hindley–Milner Typing within the Research Papers-track in POPL 2019
Andrey Mokhov Newcastle University, UK Author of Towards a Coq Formalisation of Build Systems within the CoqPL-track in CoqPL 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
Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa Author of Checking the Equivalence of Context-Free Session Types within the BEAT 2019-track in BEAT 2019
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
Jean-Marc Mota Author of Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking within the VMCAI 2019-track in VMCAI 2019
Mohammad Mousavi University of Leicester, UK United Kingdom Session Chair of Equational Characterisations, Transactions (part of OPCT) 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
Charlie Murphy Princeton University United States Author of A Practical Algorithm for Structure Embedding within the VMCAI 2019-track in VMCAI 2019
Toby Murray University of Melbourne, Australia Australia Committee Member in Program Committee within the CPP-track
Andrew Myers Cornell University United States Committee Member in Steering Committee for POPL 2019 Session Chair of Time (part of POPL Research Papers) Author of Abstraction-Safe Effect Handlers via Tunneling within the Research Papers-track in POPL 2019
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Session Chair of Keynote 1 and Research Paper (part of CPP) Author of Business Meeting within the CPP 2019-track in CPP 2019 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 Author of Hardware Interactions as Behavioural Types within the BEAT 2019-track in BEAT 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 Bell Labs, Nokia Session Chair of Decision Procedures (part of VMCAI) Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track in PriSC 2019 Invited Speaker of Designing Self-Certifying Software Systems within the VMCAI 2019-track in VMCAI 2019 Committee Member in Program Committee within the VMCAI-track Invited Speaker in Invited Speakers within the VMCAI-track
Daniele Nantes-Sobrinho University of Brasília, Brazil Author of Relating Process Languages for Security and Communication Correctness within the BEAT 2019-track in BEAT 2019
Praveen Narayanan Indiana University, USA Committee Member in Program Committee within the LAFI-track
David Naumann Stevens Institute of Technology Session Chair of Abstract Interpretation (part of POPL Research Papers) Session Chair of Session 4 (part of PriSC) 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
Renato Neves University of Minho & INESC TEC Author of Hybrid System Iteration within the OPCT 2019-track in OPCT 2019
Ryan R. Newton Indiana University United States Committee Member in Program Committee within the POPL Research Papers-track
Max New Northeastern University Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track in PLMW 2019 Author of Gradual Type Theory within the Research Papers-track in POPL 2019 Panelist in Panelists within the PLMW-track
Rumyana Neykova Brunel University London United Kingdom Author of Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements within the BEAT 2019-track in BEAT 2019
Van Nguyen Author of Natural Language Generation From Ontologies within the PADL 2019-track in PADL 2019
Thanh-Toan Nguyen Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track in VMCAI 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
Jens Nicolay Vrije Universiteit Brussel, Belgium Belgium Author of Effect-driven Flow Analysis within the VMCAI 2019-track in VMCAI 2019
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
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 UNSW 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 Session Chair of Welcome & Keynote I (part of POPL Research Papers) 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 Session Chair of Capabilities and Session Types I (part of POPL Research Papers) Session Chair of Session 2 (part of BEAT) Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track in PLMW 2019 Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track in POPL 2019 Panelist in Panelists within the PLMW-track Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the BEAT-track
Joseph C. Osborn Pomona College Author of Teaching Discrete Mathematics to Early Undergraduates with Software Foundations within the CoqPL-track in CoqPL 2019
Hiroki Oshikawa University of Tokyo, Japan Author of Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking within the PEPM 2019-track in PEPM 2019
Scott Owens University of Kent, UK United Kingdom Session Chair of Weak Memory (part of POPL Research Papers) 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
Catuscia Palamidessi INRIA and LIX Speaker of Research Skills: How to Choose Research Areas within the PLMW@POPL-track in PLMW 2019 Speaker in Speakers within the PLMW-track
Viktor Palmkvist KTH Royal Institute of Technology Sweden Author of Composing Syntactical Constructs to Create Domain-Specific Languages within the PADL 2019-track in PADL 2019
Karl Palmskog University of Texas at Austin United States Author of Verifying Finality for Blockchain Systems within the CoqPL-track in CoqPL 2019 Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Jens Palsberg University of California, Los Angeles (UCLA) Session Chair of Quantum Programming (part of POPL Research Papers) Invited Speaker of What Is the Type of a Partial Evaluator? (Invited Talk) within the PEPM 2019-track in PEPM 2019 SIGPLAN Chair of State of SIGPLAN 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
Hugo Paquet University of Cambridge Author of Probabilistic Programming Inference via Intensional Semantics within the LAFI (né PPS)-track in LAFI 2019
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 South Korea 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
Loïc Paulevé Author of Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics within the VMCAI 2019-track in VMCAI 2019
Lawrence Paulson University of Cambridge United Kingdom Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track in CPP 2019
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 Galois, Inc. United States Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Barak A. Pearlmutter Maynooth University Ireland Author of A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differentiation within the LAFI (né PPS)-track in LAFI 2019
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
Dhruva Pendharkar Author of An ASP-based Approach to Representing and Querying Textual Knowledge within the PADL 2019-track in PADL 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
Kirstin Peters TU Berlin Author of Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms within the BEAT 2019-track in BEAT 2019 Author of Taming Concurrency for Verification using Multiparty Session Types within the OPCT 2019-track in OPCT 2019
Tomas Petricek University of Kent United Kingdom Committee Member in Program Committee within the Off the Beaten Track-track
Ron Petrick Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019
Gustavo Petri IRIF, Université Paris Diderot France Session Chair of Concurrent Programming, Memory Models (part of OPCT)
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 University of Rome Tor Vergata, Italy Session Chair of Session 5 (part of PEPM) Committee Member in Program Committee within the PEPM-track
Lucas Peña University of Illinois at Urbana-Champaign Author of Verifying Finality for Blockchain Systems within the CoqPL-track in CoqPL 2019
Frank Pfenning Carnegie Mellon University, USA Speaker of Technical Talk: How to Think about Types within the PLMW@POPL-track in PLMW 2019 Speaker in Speakers within the PLMW-track Committee Member in Program Committee within the PEPM-track
Anna Philippou University of Cyprus Author of Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose within the BEAT 2019-track in BEAT 2019 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 Committee Member in Steering Committee for POPL 2019 Keynote Speaker of Mechanized Metatheory - The Next Chapter within the Research Papers-track in POPL 2019 Presenter of POPL 2020 Announcement within the Research Papers-track in POPL 2019
Benjamin C. Pierce University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019 Author of [T1] QuickChick: Property-Based Testing in Coq within the TutorialFest-track in POPL 2019 Presenter of SIGPLAN Climate Committee Report within the Research Papers-track in POPL 2019 Presenter of SIGPLAN Awards within the Research Papers-track in POPL 2019
Frank Piessens KU Leuven Committee Member in Program Committee within the PriSC-track
Ruben P. Pieters Author of Faster Coroutine Pipelines: A Reconstruction within the PADL 2019-track in PADL 2019
Anton Pirogov Author of Flat Model Checking for Counting LTL using Quantifier-free Presburger Arithmetic within the VMCAI 2019-track in VMCAI 2019
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 Session Chair of Invited Talk 3 (part of VMCAI) 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 Higher School of Economics, JetBrains Research 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 Author of Natural Language Generation From Ontologies within the PADL 2019-track in PADL 2019
Enrico Pontelli New Mexico State University Committee Member in Program Committee within the PADL-track
Andrei Popescu Middlesex University, London United Kingdom Session Chair of Research Papers: Rewriting, Automated Reasoning (part of CPP) 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
Turaga Prathamesh Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Viorel Preoteasa Author of Mechanically Proving Determinacy of Hierarchical Block Diagram Translations within the VMCAI 2019-track in VMCAI 2019
Maurizio Proietti Invited Speaker of Making Proofs Easy: Horn Clause Transformations to the Aid of Program Verification (Invited Talk) within the PEPM 2019-track in PEPM 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 Author of Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems within the VMCAI 2019-track in VMCAI 2019 Committee Member in Program Committee within the VMCAI-track Invited Speaker in Invited Speakers within the VMCAI-track
Pierre-Marie Pédrot Author of Ltac2: Tactical Warfare within the CoqPL-track in CoqPL 2019
Jorge A. Pérez University of Groningen, The Netherlands Netherlands Session Chair of Session 4 (part of BEAT) Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track in PLMW 2019 Author of Closing within the BEAT 2019-track in BEAT 2019 Author of Relating Process Languages for Security and Communication Correctness within the BEAT 2019-track in BEAT 2019 Author of Opening within the BEAT 2019-track in BEAT 2019 Panelist in Panelists within the PLMW-track Co-chair in Program Committee within the BEAT-track Committee Member in Organizing Committee within the BEAT-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
Joe Qian University of California, Los Angeles Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2019
Xiaokang Qiu Purdue University United States Session Chair of Model Checking (part of VMCAI) Author of A Decidable Logic for Tree Data-Structures with Measurements within the VMCAI 2019-track in VMCAI 2019
Xuanrui Qi Tufts University Author of From Tactics to Structure Editors for Proofs within the Off the Beaten Track 2019-track in Off the Beaten Track 2019
Azalea Raad MPI-SWS, Germany United Kingdom Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track in PLMW 2019 Author of On the Semantics of Snapshot Isolation within the VMCAI 2019-track in VMCAI 2019 Author of On Library Correctness under Weak Memory Consistency within the Research Papers-track in POPL 2019 Panelist in Panelists within the PLMW-track
Gabriel Radanne University of Freiburg, Germany France Author of Typed Parsing and Unparsing for Untyped Regular Expression Engines within the PEPM 2019-track in PEPM 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
Franziska Rapp Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 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 Session Chair of Session Types, Graph-Rewriting (part of OPCT) Author of Closing within the BEAT 2019-track in BEAT 2019 Author of Opening within the BEAT 2019-track in BEAT 2019 Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track in BEAT 2019 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
Binoy Ravindran Virginia Tech Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track in CPP 2019
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 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
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 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 UNSW 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
Ian Roessle Virginia Tech, USA Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track in CPP 2019
Tiark Rompf Purdue University United States Steering Committee Member in Steering Committee within the PEPM-track
Simona Ronchi Della Rocca University of Torino Italy Author of Probabilistic Lambda Calculus: Beyond Deterministic Evaluation within the LAFI (né PPS)-track in LAFI 2019
Grigore Rosu University of Illinois at Urbana-Champaign United States Author of Verifying Finality for Blockchain Systems within the CoqPL-track in CoqPL 2019
Jurriaan Rot Radboud University Nijmegen Author of Coalgebra Learning via Duality within the OPCT 2019-track in OPCT 2019
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
Jordy Ruiz Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track in VMCAI 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
Andrey Rybalchenko Microsoft Research United Kingdom Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track in VMCAI 2019
Chris Ryder Author of Application of Abstract Interpretation to the Automotive Electronic Control System within the VMCAI 2019-track in VMCAI 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
Karem A. Sakallah Author of euforia: Complete Software Model Checking with Uninterpreted Functions within the VMCAI 2019-track in VMCAI 2019
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
Ryosuke Sato Kyushu University, Japan Japan Author of Combining Higher-Order Model Checking with Refinement Type Inference within the PEPM 2019-track in PEPM 2019
Alceste Scalas Imperial College London United Kingdom Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track in BEAT 2019 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
Robert Schilling Author of Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs within the VMCAI 2019-track in VMCAI 2019
Tanja Schindler University of Freiburg Author of Solving and Interpolating Constant Arrays Based on Weak Equivalences within the VMCAI 2019-track in VMCAI 2019
Anders Schlichtkrull Technical University of Denmark Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track in CPP 2019
Alan Schmitt Inria Author of Skeletal Semantics and their Interpretations within the Research Papers-track in POPL 2019
Tom Schrijvers KU Leuven Author of Faster Coroutine Pipelines: A Reconstruction within the PADL 2019-track in PADL 2019
Ulrik Schultz University of Southern Denmark Steering Committee Member in Steering Committee within the PEPM-track
Christopher Schwaab University of St Andrews Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019
Daniel Schwartz-Narbonne Amazon, n.n. Committee Member in Program Committee within the VMCAI-track
Steven Schäfer Saarland University Germany Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track in CPP 2019 Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 2019
Martina Seidl Committee Member in Program Committee within the VMCAI-track
Taro Sekiyama National Institute of Informatics 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
Eli Sennesh Northeastern University Author of Model and Inference Combinators for Deep Probabilistic Programming within the LAFI (né PPS)-track in LAFI 2019
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Session Chair of Separation Logic and Memory Semantics (part of POPL Research Papers) Session Chair of Keynote & Contributed Talks 1 (part of CoqPL) Speaker of Research Skills: How to Bootstrap a Research Project within the PLMW@POPL-track in PLMW 2019 Author of Towards Mechanising Probabilistic Properties of a Blockchain within the CoqPL-track in CoqPL 2019 Author of Distributed Protocol Combinators within the PADL 2019-track in PADL 2019 Author of Structuring the Synthesis of Heap-Manipulating Programs within the Research Papers-track in POPL 2019 Author of A True Positives Theorem for a Static Race Detector within the Research Papers-track in POPL 2019 Speaker in Speakers within the PLMW-track 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
Alejandro Serrano Utrecht University, Netherlands Netherlands Author of Classes of Arbitrary Kind within the PADL 2019-track in PADL 2019
Thomas Sewell UNSW, Australia Committee Member in Artifact Evaluation Committee within the POPL Artifact Evaluation-track
Peter Sewell University of Cambridge Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track in POPL 2019 Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track in POPL 2019
Chung-chieh Shan Indiana University, USA Speaker of Research Skills: How to Give a Talk within the PLMW@POPL-track in PLMW 2019 Author of Verified Equational Reasoning on a Little Language of Measures within the LAFI (né PPS)-track in LAFI 2019 Speaker in Speakers within the PLMW-track Committee Member in Steering Committee within the LAFI-track
Zhong Shao Yale University United States Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP) 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 Speaker of Technical Talk: Verification of Distributed Protocols Using Decidable Logic within the PLMW@POPL-track in PLMW 2019 Speaker in Speakers within the PLMW-track 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
Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France Session Chair of Abstract Interpretation (2) (part of VMCAI) Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track in VMCAI 2019
Alexandra Silva University College London United Kingdom Session Chair of Algebra, Coalgebra (part of OPCT) 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 Aarhus University 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 Program Synthesis with Equivalence Reduction within the VMCAI 2019-track in VMCAI 2019 Author of Trace Abstraction Modulo Probability within the Research Papers-track in POPL 2019
Gert Smolka Saarland University Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track in CPP 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
Tran Cao Son Author of Natural Language Generation From Ontologies within the PADL 2019-track in PADL 2019
Romain Soulat Author of Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking within the VMCAI 2019-track in VMCAI 2019
Matthieu Sozeau Inria France Author of Reification of Shallow-Embedded DSLs in Coq with Automated Verification within the CoqPL-track in CoqPL 2019 Author of Session with the Coq Development Team within the CoqPL-track in CoqPL 2019 Author of Eliminating Reflection from Type Theory within the CPP 2019-track in CPP 2019 Author of Definitional Proof-Irrelevance without K within the Research Papers-track in POPL 2019
Simon Spies Saarland University Germany Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 2019
Bas Spitters Aarhus University Denmark Author of WIP: Formalizing the Concordium Consensus Protocol in Coq within the CoqPL-track in CoqPL 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
Daniel Stan Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track in VMCAI 2019
Kathrin Stark Saarland University, Germany Germany Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track in CPP 2019 Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 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 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 Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs 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 Author of Certified ACKBO within the CPP 2019-track in CPP 2019 Committee Member in Program Committee within the CPP-track
Gordon Stewart Ohio University United States Committee Member in Program Committee within the CoqPL-track
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Author of Effect-driven Flow Analysis within the VMCAI 2019-track in VMCAI 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
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany Author of Futures and Promises in Haskell and Scala within the PEPM 2019-track in PEPM 2019 Author of Advanced Futures and Promises in C++ (poster) within the PEPM 2019-track in PEPM 2019
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 Session Chair of Gradual Types (part of POPL Research Papers) 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 Session Chair of Categories (part of POPL Research Papers) Author of Eliminating Reflection from Type Theory within the CPP 2019-track in CPP 2019 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
Nicolas Tabareau Inria Session Chair of Research Papers: Program Verification (part of CPP)
É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 Author of A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers within the PADL 2019-track in PADL 2019 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 Session Chair of Contributed Talks 2 (part of CoqPL) 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
Quang-Trung Ta National University of Singapore Author of Automatic Program Repair using Formal Verification and Expression Templates within the VMCAI 2019-track in VMCAI 2019
Peter Thiemann University of Freiburg, Germany Committee Member in Steering Committee for POPL 2019 Author of Invited Talk: Gradual Session Types — an Ongoing Journey within the BEAT 2019-track in BEAT 2019
Michael Thomas Independent Researcher Author of Strongly Typed Tracing of Probabilistic Programs (cancelled, alas) within the LAFI (né PPS)-track in LAFI 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
Simone Tini University of Insubria Author of Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization within the OPCT 2019-track in OPCT 2019
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
David Tolpin PUB+ Israel Author of Server-side Probabilistic Programming within the LAFI (né PPS)-track in LAFI 2019
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 Imperial College London 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
Paolo Torrini Author of Reifying and Translating a Monadic Fragment of Gallina within the CoqPL-track in CoqPL 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: If can, can. If no can, no can. within the Research Papers-track in POPL 2019
Dmitriy Traytel ETH Zurich Switzerland Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track in CPP 2019 Author of Bindings as Bounded Natural Functors within the Research Papers-track in POPL 2019
Stavros Tripakis Aalto University and UC Berkeley Author of Mechanically Proving Determinacy of Hierarchical Block Diagram Translations within the VMCAI 2019-track in VMCAI 2019
Ashutosh Trivedi Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track in VMCAI 2019
Anton Trunov IMDEA Software Institute Spain Committee Member in Program Committee within the CoqPL-track
Daniel Tschudi Aarhus University Author of WIP: Formalizing the Concordium Consensus Protocol in Coq within the CoqPL-track in CoqPL 2019
Takeshi Tsukada University of Tokyo, Japan Author of Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking within the PEPM 2019-track in PEPM 2019
Irek Ulidowski University of Leicester Author of An Axiomatic Approach to Reversible Computation within the OPCT 2019-track in OPCT 2019
Dominique Unruh University of Tartu Author of Quantum Relational Hoare Logic within the Research Papers-track in POPL 2019
Caterina Urban INRIA & École Normale Supérieure France 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 On the Semantics of Snapshot Isolation within the VMCAI 2019-track in VMCAI 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 Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track in POPL 2019
Guy Van den Broeck University of California, Los Angeles Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track in LAFI 2019
Evangelia Vanezi University of Cyprus Author of Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose within the BEAT 2019-track in BEAT 2019
Vasco Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon Portugal Local Arrangements Chair in Organizing Committee for POPL 2019 Panelist of Panel: How to Do Good PL Research within the PLMW@POPL-track in PLMW 2019 Author of Checking the Equivalence of Context-Free Session Types within the BEAT 2019-track in BEAT 2019 Panelist in Panelists within the PLMW-track
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 Student Research Competition Chair in Organizing Committee for POPL 2019 Session Chair of Type Inference II (part of POPL Research Papers) Author of LWeb: Information Flow Security for Multi-Tier Web Applications within the Research Papers-track in POPL 2019 Student Research Competition Chair of SRC Announcement within the Student Research Competition-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
Freek Verbeek Open University of the Netherlands, The Netherlands Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track in CPP 2019
Jules Villard Facebook London United Kingdom 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 Invited Speaker of Invited talk: Connecting Probabilistic Programming Theory to Applications in Stan within the LAFI (né PPS)-track in LAFI 2019 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 Session Chair of Session 1 (part of BEAT) 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 Session Chair of Security and Information Flow (part of POPL Research Papers)
Yanjun Wang Purdue University United States Author of A Decidable Logic for Tree Data-Structures with Measurements within the VMCAI 2019-track in VMCAI 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
Weijing Wang Nankai University, China Author of Method Name Suggestion with Hierarchical Attention Networks within the PEPM 2019-track in PEPM 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
Keiichi Watanabe University of Tokyo, Japan Author of Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking within the PEPM 2019-track in PEPM 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 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 Session Chair of SRC Announcement & Keynote II (part of POPL Research Papers) PC Chair of PC Chair Report within the Research Papers-track in POPL 2019 PC Chair of Welcome within the Research Papers-track in POPL 2019 PC Chair in Program Committee within the POPL Research Papers-track
Joe Wells Author of Proof Carrying Plans within the PADL 2019-track in PADL 2019
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
Theo Winterhalter Gallinette / Inria / LS2N France Author of Eliminating Reflection from Type Theory within the CPP 2019-track in CPP 2019
Kirsten Winter The University of Queensland Author of Linearizability in the Context of Weak Memory Models within the OPCT 2019-track in OPCT 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
Hao Wu Northeastern University Author of Model and Inference Combinators for Deep Probabilistic Programming within the LAFI (né PPS)-track in LAFI 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
Li-yao Xia University of Pennsylvania Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Jing Xu Nankai University, China Author of Method Name Suggestion with Hierarchical Attention Networks within the PEPM 2019-track in PEPM 2019
Sihan Xu Nankai University, China Author of Method Name Suggestion with Hierarchical Attention Networks within the PEPM 2019-track in PEPM 2019
Eran Yahav Technion Israel Author of code2vec: Learning Distributed Representations of Code within the Research Papers-track in POPL 2019
Boris Yakobowski CEA - LIST France Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track in VMCAI 2019
Jeremy Yallop University of Cambridge, UK Author of Generating Mutually Recursive Definitions within the PEPM 2019-track in PEPM 2019 Steering Committee Chair in Steering Committee within the PEPM-track
Tomoya Yamaguchi Author of Application of Abstract Interpretation to the Automotive Electronic Control System within the VMCAI 2019-track in VMCAI 2019
Qianchuan Ye Purdue University Author of A Verified Protocol Buffer Compiler within the CPP 2019-track in CPP 2019
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 Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track in BEAT 2019 Author of Interconnectability of Session-Based Logical Processes within the Research Papers-track in POPL 2019 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 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: If can, can. If no can, no can. within the Research Papers-track in POPL 2019
Jakub Zalewski Video Chair in Organizing Committee for POPL 2019
Vadim Zaliva Carnegie Mellon University, USA United States Author of Reification of Shallow-Embedded DSLs in Coq with Automated Verification within the CoqPL-track in CoqPL 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 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019 Organizer in Organizing Committee within the PLMW-track Committee Member in Program Committee within the CoqPL-track
Noam Zeilberger University of Birmingham, UK Session Chair of Semantics (part of POPL Research Papers) 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
Sen Zhang Nankai University, China Author of Method Name Suggestion with Hierarchical Attention Networks within the PEPM 2019-track in PEPM 2019
Bohua Zhan Author of Smooth Manifolds and Types to Sets for Linear Algebra in Isabelle/HOL within the CPP 2019-track in CPP 2019
Shaopeng Zhu University of Maryland Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track in POPL 2019
He Zhu Rutgers University, USA 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 Session Chair of Invited Talk 2 (part of VMCAI) 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
Jan-Willem van de Meent Northeastern University United States Author of Model and Inference Combinators for Deep Probabilistic Programming within the LAFI (né PPS)-track in LAFI 2019
Ezgi Çiçek Facebook London Author of [T8] Building Your Own Modular Static Analyser with Infer within the TutorialFest-track in POPL 2019
Adam Ścibior University of Cambridge and MPI Tuebingen Author of Model and Inference Combinators for Deep Probabilistic Programming within the LAFI (né PPS)-track in LAFI 2019 Author of Strongly Typed Tracing of Probabilistic Programs (cancelled, alas) within the LAFI (né PPS)-track in LAFI 2019

POPL 2019 Contributors

Results (740)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums