Several SIGPLAN conferences have been held virtually since March 2020.

Following SPLASH 2021, we invited authors of papers from recent ICFP, OOPSLA, POPL, PLDI conferences who were unable to present their work in-person, to come and present at the SIGPLAN Track at PLDI 2022.

These presentations will be given during the main conference days, in parallel with the PLDI 2022 presentations. They will be in-person, and not be streamed, since they were already streamed at their respective virtual conferences.

Papers to be Presented

Title
(ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(ICFP 2020) Compiling effect handlers in capability-passing style
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(ICFP 2020) Kinds Are Calling Conventions
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(ICFP 2020) TLC: Temporal Logic of Distributed Components
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
SIGPLAN Track
(ICFP 2021) Grafs: Declarative Graph Analytics
SIGPLAN Track
(OOPSLA 2020) A Model for Detecting Faults in Build Specifications
SIGPLAN Track
(OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs
SIGPLAN Track
(OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation
SIGPLAN Track
(OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
SIGPLAN Track
(OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis
SIGPLAN Track
(OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
SIGPLAN Track
(OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
SIGPLAN Track
(OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
SIGPLAN Track
(OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
SIGPLAN Track
(OOPSLA 2021) Durable functions: semantics for stateful serverless
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) ECROs: building global scale systems from sequential code
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) Formal verification of high-level synthesis
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) LooPy: interactive program synthesis with control structures
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) Reconciling Optimization with Secure Compilation
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) Study of the subtyping machine of nominal subtyping with variance
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
SIGPLAN Track
(PLDI 2020) Constant-Time Foundations for the New Spectre Era
SIGPLAN Track
(PLDI 2020) Efficient Handling of String-Number Conversion
SIGPLAN Track
(PLDI 2020) Inductive Sequentialization of Asynchronous Programs
SIGPLAN Track
(PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
SIGPLAN Track
(PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization
SIGPLAN Track
(PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
SIGPLAN Track
(PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
SIGPLAN Track
(PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Track
(PLDI 2020) Zippy LL(1) Parsing with Derivatives
SIGPLAN Track
(PLDI 2021) CoStar: A Verified ALL(*) Parser
SIGPLAN Track
(PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
SIGPLAN Track
(PLDI 2021) Logical Bytecode Reduction
SIGPLAN Track
(PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
SIGPLAN Track
(PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions
SIGPLAN Track
(PLDI 2021) Phased Synthesis of Divide and Conquer Programs
SIGPLAN Track
(PLDI 2021) Proof Repair Across Type Equivalences
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(PLDI 2021) Provable Repair of Deep Neural Networks
SIGPLAN Track
(PLDI 2021) Quantum abstract interpretation
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(PLDI 2021) RbSyn: type- and effect-guided program synthesis
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
SIGPLAN Track
(PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
SIGPLAN Track
(POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
SIGPLAN Track
(POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
SIGPLAN Track
(POPL 2021) A Verified Optimizer for Quantum Circuits
SIGPLAN Track
(POPL 2021) Data Flow Refinement Type Inference
SIGPLAN Track
(POPL 2021) egg: Fast and Extensible Equality Saturation
SIGPLAN Track
(POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
SIGPLAN Track
(POPL 2021) Fully Abstract from Static to Gradual
SIGPLAN Track
(POPL 2021) Intensional Datatype Refinement
SIGPLAN Track
(POPL 2021) On the Semantic Expressiveness of Recursive Types
SIGPLAN Track
(POPL 2021) Optimal Prediction of Synchronization-Preserving Races
SIGPLAN Track
(POPL 2021) Paradoxes of probabilistic programming
SIGPLAN Track
(POPL 2021) Petr4: Formal Foundations for P4 Data Planes
SIGPLAN Track
(POPL 2021) Provably Space Efficient Parallel Functional Programming
SIGPLAN Track
(POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
SIGPLAN Track
(POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
SIGPLAN Track
(POPL 2022) Dependently-Typed Data Plane Programming
SIGPLAN Track
(POPL 2022) Induction Duality: Primal-Dual Search for Invariants
SIGPLAN Track
(POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
SIGPLAN Track
(POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
SIGPLAN Track
DOI
(POPL 2022) Relational E-Matching
SIGPLAN Track
(POPL 2022) Safe, Modular Packet Pipeline Programming
SIGPLAN Track
(POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
SIGPLAN Track
Link to publication DOI Authorizer link Pre-print
(POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites
SIGPLAN Track
(POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms
SIGPLAN Track
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:10
Keynote: Emery BergerPLDI at Kon-Tiki +12h
Chair(s): Isil Dillig University of Texas at Austin
09:00
10m
Other
Welcome to PLDI 2022
PLDI
Isil Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services
09:10
60m
Keynote
Getting Your Research Adopted
PLDI
Emery D. Berger University of Massachusetts Amherst
Pre-print Media Attached
10:40 - 12:00
Distributed SystemsSIGPLAN Track at Cockatoo
Chair(s): Adam Chlipala MIT CSAIL
10:40
20m
Talk
(ICFP 2020) TLC: Temporal Logic of Distributed Components
SIGPLAN Track
Jeremiah Griffin University of California, Riverside, Mohsen Lesani University of California at Riverside, Narges Shadab University of California at Riverside, Xizhe Yin University of California, Riverside
Link to publication DOI Authorizer link Pre-print
11:00
20m
Talk
(OOPSLA 2021) Durable functions: semantics for stateful serverless
SIGPLAN Track
Sebastian Burckhardt Microsoft Research, Chris Gillum Microsoft Azure, David Justo Microsoft Azure, Konstantinos Kallas University of Pennsylvania, Connor McMahon Microsoft Azure, Christopher Meiklejohn Carnegie Mellon University
Link to publication DOI Authorizer link Pre-print
11:20
20m
Talk
(OOPSLA 2021) ECROs: building global scale systems from sequential code
SIGPLAN Track
Kevin De Porre Vrije Universiteit Brussel, Carla Ferreira NOVA School of Science and Technology, Nuno Preguica , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication DOI Authorizer link Pre-print
11:40
20m
Talk
(POPL 2022) Induction Duality: Primal-Dual Search for Invariants
SIGPLAN Track
Oded Padon VMware Research, James R. Wilcox Certora, Jason R. Koenig Stanford University, Kenneth L. McMillan University of Texas at Austin, Alex Aiken Stanford Univeristy
10:40 - 12:00
Program AnalysisSIGPLAN Track at Macaw
Chair(s): Qirun Zhang Georgia Institute of Technology, USA
10:40
20m
Talk
(OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks
SIGPLAN Track
Caterina Urban INRIA & École Normale Supérieure | Université PSL, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys, Fuyuan Zhang MPI-SWS
11:00
20m
Talk
(PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization
SIGPLAN Track
Ankush Phulia IIT Delhi, India, Vaibhav Bhagee IIT Delhi, India, Sorav Bansal IIT Delhi and CompilerAI Labs
11:20
20m
Talk
(POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model
SIGPLAN Track
Cambridge Yang MIT CSAIL, Eric Atkinson MIT CSAIL, Michael Carbin Massachusetts Institute of Technology
11:40
20m
Talk
(POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis
SIGPLAN Track
Andreas Pavlogiannis Aarhus University, Anders Alnor Mathiasen Aarhus University
13:30 - 14:50
Domain Specific LanguagesSIGPLAN Track at Cockatoo
Chair(s): Zachary Tatlock University of Washington
13:30
20m
Talk
(POPL 2021) Petr4: Formal Foundations for P4 Data Planes
SIGPLAN Track
Ryan Doenges Cornell University, Mina Tahmasbi Arashloo Cornell University, Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Alexander Chang Cornell University, Newton Ni Cornell University, Samwise Parkinson Cornell University, Rudy Peterson Cornell University, Alaia Solko-Breslin Cornell University, Amanda Xu Cornell University, Nate Foster Cornell University
13:50
20m
Talk
(PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types
SIGPLAN Track
Rachit Nigam Cornell University, Sachille Atapattu Cornell University, USA, Samuel Thomas Cornell University, USA, Theodore Bauer AWS Inc, Apurva Koti Cornell University, USA, Zhijing Li Cornell University, USA, Yuwei Ye Cornell University, USA, Adrian Sampson Cornell University, Zhiru Zhang Cornell University, USA
14:10
20m
Talk
(POPL 2022) Dependently-Typed Data Plane Programming
SIGPLAN Track
Matthias Eichholz Technical University of Darmstadt, Eric Campbell Cornell University, Matthias Krebs TU Darmstadt, Nate Foster Cornell University, Mira Mezini TU Darmstadt
14:30
20m
Talk
(POPL 2022) Safe, Modular Packet Pipeline Programming
SIGPLAN Track
Devon Loehr Princeton University, David Walker Princeton University
13:30 - 14:50
Secure SpeculationSIGPLAN Track at Macaw
Chair(s): Marco Patrignani University of Trento
13:30
20m
Talk
(OOPSLA 2021) Reconciling Optimization with Secure Compilation
SIGPLAN Track
Son Tuan Vu Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert Cohen Google, Arnaud de Grandmaison , Christophe Guillon STMicroelectronics, Karine Heydemann Sorbonne University; CNRS; LIP6
Link to publication DOI Authorizer link Pre-print
13:50
20m
Talk
(PLDI 2020) Constant-Time Foundations for the New Spectre Era
SIGPLAN Track
Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego, Tamara Rezk INRIA, Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain
14:10
20m
Talk
(PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Track
Sotiris Apostolakis Google, Ziyang Xu Princeton University, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University
14:30
20m
Talk
(POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
SIGPLAN Track
Marco Vassena Utrecht University, Craig Disselkoen University of California at San Diego, USA, Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands, Sunjay Cauligi University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA, Ranjit Jhala University of California at San Diego; Amazon Web Services, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego
15:30 - 16:50
ConcurrencySIGPLAN Track at Cockatoo
Chair(s): Umang Mathur National University of Singapore
15:30
20m
Talk
(PLDI 2020) Inductive Sequentialization of Asynchronous Programs
SIGPLAN Track
Constantin Enea Ecole Polytechnique / LIX / CNRS, Thomas A. Henzinger IST Austria, Austria, Bernhard Kragl IST Austria, Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France, Shaz Qadeer Novi, USA
15:50
20m
Talk
(PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
SIGPLAN Track
Bozhen Liu Texas A&M University, USA, Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M, Jeff Huang Texas A&M University
16:10
20m
Talk
(POPL 2021) Optimal Prediction of Synchronization-Preserving Races
SIGPLAN Track
Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University, Mahesh Viswanathan University of Illinois at Urbana-Champaign
16:30
20m
Talk
(POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms
SIGPLAN Track
Joakim Öhman IMDEA Software Institute; Universidad Politécnica de Madrid, Aleksandar Nanevski IMDEA Software Institute
15:30 - 16:50
Neural Networks and NumbersSIGPLAN Track at Macaw
Chair(s): Madan Musuvathi Microsoft Research
15:30
20m
Talk
(OOPSLA 2021) FPL: fast Presburger arithmetic through transprecision
SIGPLAN Track
Arjun Pitchanathan University of Edinburgh, Christian Ulmann ETH Zurich, Michel Weber ETH Zurich, Torsten Hoefler ETH Zurich, Tobias Grosser University of Edinburgh
Link to publication DOI Authorizer link Pre-print
15:50
20m
Talk
(PLDI 2021) Provable Repair of Deep Neural Networks
SIGPLAN Track
Matthew Sotoudeh University of California, Davis, Aditya V. Thakur University of California at Davis
16:10
20m
Talk
(POPL 2022) One Polynomial Approximation to Produce Correctly Rounded Results of an Elementary Function for Multiple Representations and Rounding Modes
SIGPLAN Track
Jay P. Lim Yale University, Santosh Nagarakatte Rutgers University
16:30
20m
Talk
(POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
SIGPLAN Track
Faustyna Krawiec University of Cambridge, Simon Peyton Jones Microsoft Research, Neel Krishnaswami University of Cambridge, Tom Ellis Microsoft Research, Richard A. Eisenberg Tweag, Andrew Fitzgibbon Graphcore
DOI
18:00 - 19:00
PLDI 2022 ReceptionPLDI at Beach North
18:00
60m
Social Event
PLDI 2022 Reception (sponsored by WhatsApp by Meta)social
PLDI

21:00 - 22:10
Keynote: Emery BergerPLDI at Kon-Tiki
21:00
10m
Other
Welcome to PLDI 2022
PLDI
Isil Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services
21:10
60m
Keynote
Getting Your Research Adopted
PLDI
Emery D. Berger University of Massachusetts Amherst
Pre-print Media Attached

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:10
Keynote: Margo SeltzerPLDI at Kon-Tiki +12h
Chair(s): Ranjit Jhala University of California at San Diego; Amazon Web Services
09:00
10m
Other
The PLDI Song
PLDI
John Wickerson Imperial College London, Alastair F. Donaldson Imperial College London
09:10
60m
Keynote
Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With
PLDI
Margo Seltzer University of British Columbia
10:40 - 12:00
Synthesis ISIGPLAN Track at Cockatoo
Chair(s): Xinyu Wang University of Michigan
10:40
20m
Talk
(PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
SIGPLAN Track
Kevin Ellis Cornell University, Catherine Wong Massachusetts Institute of Technology, Maxwell Nye Massachusetts Institute of Technology, Mathias Sablé-Meyer PSL University; Collège de France; NeuroSpin, Lucas Morales Massachusetts Institute of Technology, Luke Hewitt Massachusetts Institute of Technology, Luc Cary Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Joshua B. Tenenbaum MIT
11:00
20m
Talk
(POPL 2021) egg: Fast and Extensible Equality Saturation
SIGPLAN Track
Max Willsey University of Washington, Chandrakana Nandi Certora, inc., Yisu Remy Wang University of Washington, Oliver Flatt University of Utah, Zachary Tatlock University of Washington, Pavel Panchekha University of Utah
11:20
20m
Talk
(POPL 2022) Relational E-Matching
SIGPLAN Track
Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Max Willsey University of Washington, Zachary Tatlock University of Washington
11:40
20m
Talk
(OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis
SIGPLAN Track
Shraddha Barke University of California at San Diego, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego
10:40 - 12:00
Parsing & VerificationSIGPLAN Track at Macaw
Chair(s): Jay P. Lim Yale University
10:40
20m
Talk
(ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
SIGPLAN Track
Glen Mével Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, Jacques-Henri Jourdan Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles
11:00
20m
Talk
(PLDI 2020) Zippy LL(1) Parsing with Derivatives
SIGPLAN Track
Romain Edelmann EPFL, Switzerland, Jad Hamza EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
11:20
20m
Talk
(PLDI 2021) CoStar: A Verified ALL(*) Parser
SIGPLAN Track
Sam Lasser Tufts University, Chris Casinghino Draper Laboratory, Kathleen Fisher Tufts University, Cody Roux Draper
11:40
20m
Talk
(PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
SIGPLAN Track
Simon Spies MPI-SWS & Saarland University, Lennard Gäher MPI-SWS & Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University
13:30 - 14:50
Synthesis IISIGPLAN Track at Cockatoo
Chair(s): Mohsen Lesani University of California at Riverside
13:30
20m
Talk
(PLDI 2021) Phased Synthesis of Divide and Conquer Programs
SIGPLAN Track
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
13:50
20m
Talk
(OOPSLA 2021) LooPy: interactive program synthesis with control structures
SIGPLAN Track
Kasra Ferdowsifard University of California at San Diego, Shraddha Barke , Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego
Link to publication DOI Authorizer link Pre-print
14:10
20m
Talk
(OOPSLA 2020) Feedback-Driven Semi-Supervised Synthesis of Program Transformations
SIGPLAN Track
Xiang Gao Beihang University, China, Shraddha Barke University of California at San Diego, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Sumit Gulwani Microsoft, Alan Leung Microsoft, Nachiappan Nagappan Facebook, Ashish Tiwari Microsoft
14:30
20m
Talk
(PLDI 2021) Proof Repair Across Type Equivalences
SIGPLAN Track
Talia Ringer University of Illinois at Urbana-Champaign, RanDair Porter University of Washington, Nathaniel Yazdani University of Washington, Seattle, John Leo Halfaya Research, Dan Grossman University of Washington
Link to publication DOI Authorizer link Pre-print
15:30 - 16:50
TestingSIGPLAN Track at Cockatoo
Chair(s): Yu Feng University of California, Santa Barbara
15:30
20m
Talk
(OOPSLA 2020) A Model for Detecting Faults in Build Specifications
SIGPLAN Track
Thodoris Sotiropoulos Athens University of Economics and Business, Stefanos Chaliasos Imperial College London, Dimitris Mitropoulos University of Athens, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology
15:50
20m
Talk
(OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications
SIGPLAN Track
Pengyu Nie University of Texas at Austin, Marinela Parovic University of Texas at Austin, Zhiqiang Zang University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Aleksandar Milicevic Microsoft, Milos Gligoric University of Texas at Austin
16:10
20m
Talk
(PLDI 2021) Logical Bytecode Reduction
SIGPLAN Track
Christian Gram Kalhauge Technical University of Denmark, Jens Palsberg University of California, Los Angeles (UCLA)
16:30
20m
Talk
(PLDI 2021) Quantum abstract interpretation
SIGPLAN Track
Nengkun Yu UTS, Jens Palsberg University of California, Los Angeles (UCLA)
Link to publication DOI Authorizer link Pre-print
15:30 - 16:50
StorageSIGPLAN Track at Macaw
Chair(s): Albert Cohen Google
15:30
20m
Talk
(PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
SIGPLAN Track
Stephen Chou Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University, Saman Amarasinghe MIT CSAIL
15:50
20m
Talk
(PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey
SIGPLAN Track
Naama Ben-David Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, Michal Friedman Technion, Israel, Erez Petrank Technion, Israel, Yuanhao Wei Carnegie Mellon University, USA
16:10
20m
Talk
(PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent
SIGPLAN Track
Michal Friedman Technion, Israel, Erez Petrank Technion, Israel, Pedro Ramalhete Cisco Systems
16:30
20m
Talk
(POPL 2021) Provably Space Efficient Parallel Functional Programming
SIGPLAN Track
Jatin Arora Carnegie Mellon University, Sam Westrick Carnegie Mellon University, Umut A. Acar Carnegie Mellon University
21:00 - 22:10
Keynote: Margo SeltzerPLDI at Kon-Tiki
21:00
10m
Other
The PLDI Song
PLDI
John Wickerson Imperial College London, Alastair F. Donaldson Imperial College London
21:10
60m
Keynote
Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With
PLDI
Margo Seltzer University of British Columbia

Fri 17 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:00
ProbabilitySIGPLAN Track at Cockatoo
Chair(s): Eric Atkinson MIT CSAIL
10:40
20m
Talk
(OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs
SIGPLAN Track
Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles
11:00
20m
Talk
(POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
SIGPLAN Track
Alejandro Aguirre IMDEA Software Institute and T.U. of Madrid (UPM), Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Justin Hsu Cornell University, Benjamin Lucien Kaminski Saarland University and University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja Technical University of Denmark
11:20
20m
Talk
(PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions
SIGPLAN Track
Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford
11:40
20m
Talk
(POPL 2021) Paradoxes of probabilistic programming
SIGPLAN Track
Jules Jacobs Radboud University
10:40 - 12:00
CompilationSIGPLAN Track at Macaw
Chair(s): Deian Stefan University of California at San Diego
10:40
20m
Talk
(OOPSLA 2020) Counterexample-Guided Correlation Algorithm for Translation Validation
SIGPLAN Track
Shubhani Gupta , Abhishek Rose IIT Delhi, Sorav Bansal IIT Delhi and CompilerAI Labs
11:00
20m
Talk
(OOPSLA 2021) Formal verification of high-level synthesis
SIGPLAN Track
Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London
Link to publication DOI Authorizer link Pre-print
11:20
20m
Talk
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
SIGPLAN Track
Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Georgios-Petros Drosos Athens University of Economics and Business, Charalambos Ioannis Mitropoulos Technical University of Crete, Dimitris Mitropoulos University of Athens, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology
Link to publication DOI Authorizer link Pre-print
11:40
20m
Talk
(POPL 2021) Formally Verified Speculation and Deoptimization in a JIT Compiler
SIGPLAN Track
Aurèle Barrière Univ Rennes, IRISA, Sandrine Blazy Univ Rennes, IRISA, Olivier Flückiger Northeastern University, David Pichardie Meta, Jan Vitek Northeastern University; Czech Technical University
13:30 - 14:50
Special EffectsSIGPLAN Track at Cockatoo
Chair(s): Steven Holtzen Northeastern University
13:30
20m
Talk
(POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
SIGPLAN Track
Charles Yuan Massachusetts Institute of Technology, Christopher McNally Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
Link to publication DOI Authorizer link Pre-print
13:50
20m
Talk
(ICFP 2020) Compiling effect handlers in capability-passing style
SIGPLAN Track
Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Klaus Ostermann University of Tuebingen
Link to publication DOI Authorizer link Pre-print
14:10
20m
Talk
(POPL 2021) Intensional Datatype Refinement
SIGPLAN Track
Eddie Jones University of Bristol, Steven Ramsay University of Bristol
14:30
20m
Talk
(POPL 2021) A Verified Optimizer for Quantum Circuits
SIGPLAN Track
Kesha Hietala University of Maryland, Robert Rand University of Chicago, Shih-Han Hung University of Maryland, USA, Xiaodi Wu Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD, Michael Hicks University of Maryland at College Park
13:30 - 14:50
MelangeSIGPLAN Track at Macaw
Chair(s): Rachit Nigam Cornell University
13:30
20m
Talk
(OOPSLA 2020) Automatic and Efficient Variability-Aware Lifting of Functional Programs
SIGPLAN Track
Ramy Shahin University of Toronto, Marsha Chechik University of Toronto
13:50
20m
Talk
(OOPSLA 2021) Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
SIGPLAN Track
Natalie Popescu Princeton University, Ziyang Xu Princeton University, Sotiris Apostolakis Google, David I. August Princeton University, Amit Levy
Link to publication DOI Authorizer link Pre-print
14:10
20m
Talk
(OOPSLA 2021) The semantics of shared memory in Intel CPU/FPGA systems
SIGPLAN Track
Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London
Link to publication DOI Authorizer link Pre-print
14:30
20m
Talk
(PLDI 2020) Efficient Handling of String-Number Conversion
SIGPLAN Track
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Julian Dolby IBM Research, USA, Petr Janků Brno University of Technology, Czechia, Hsin-Hung Lin Academia Sinica, Taiwan, Lukáš Holík Brno University of Technology, Wei-Cheng Wu University of Southern California, USA
15:30 - 16:50
RewritingSIGPLAN Track at Cockatoo
Chair(s): Chandrakana Nandi Certora, inc.
15:30
20m
Talk
(ICFP 2020) Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
SIGPLAN Track
Bastian Hagedorn NVIDIA, Johannes Lenfers University of Münster, Thomas Koehler University of Glasgow, Xueying Qin University of Glasgow, United Kingdom, Sergei Gorlatch University of Münster, Germany, Michel Steuwer University of Edinburgh
Link to publication DOI Authorizer link Pre-print
15:50
20m
Talk
(PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
SIGPLAN Track
DongKwon Lee Seoul National University, South Korea, Woosuk Lee Hanyang University, Hakjoo Oh Korea University, Kwangkeun Yi Seoul National University
16:10
20m
Talk
(ICFP 2021) Grafs: Declarative Graph Analytics
SIGPLAN Track
Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California at Riverside, Keval Vora Simon Fraser University
16:30
20m
Talk
(POPL 2022) Verified Tensor-Program Optimization Via High-level Scheduling Rewrites
SIGPLAN Track
Amanda Liu Massachusetts Institute of Technology, Gilbert Louis Bernstein University of California at Berkeley, Adam Chlipala MIT CSAIL, Jonathan Ragan-Kelley MIT
15:30 - 16:50
Refinement TypesSIGPLAN Track at Macaw
Chair(s): Sorav Bansal IIT Delhi and CompilerAI Labs
15:30
20m
Talk
(OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
SIGPLAN Track
Yiyun Liu University of Maryland at College Park, James Parker Galois, Inc., Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California at Santa Cruz, Michael Hicks University of Maryland at College Park, Niki Vazou IMDEA Software Institute
15:50
20m
Talk
(PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
SIGPLAN Track
Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS
Link to publication DOI Authorizer link Pre-print
16:10
20m
Talk
(POPL 2021) Data Flow Refinement Type Inference
SIGPLAN Track
Zvonimir Pavlinovic Google, USA, Yusen Su University of Waterloo, Thomas Wies New York University
16:30
20m
Talk
(PLDI 2021) RbSyn: type- and effect-guided program synthesis
SIGPLAN Track
Sankha Narayan Guria University of Maryland, College Park, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland
Link to publication DOI Authorizer link Pre-print