Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mTutorial | Build your own optimizer with egg! Tutorials |
09:00 - 10:00 | |||
09:00 60mTutorial | Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA |
09:00 - 10:00 | |||
09:00 60mTutorial | Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University |
10:30 - 12:00 | |||
10:30 90mTutorial | Build your own optimizer with egg! Tutorials |
10:30 - 12:00 | |||
10:30 90mTutorial | Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA |
10:30 - 12:00 | |||
10:30 90mTutorial | Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University |
13:30 - 15:00 | |||
13:30 90mTutorial | Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials |
13:30 - 15:00 | |||
13:30 90mTutorial | Reasoning About and Discovering LLVM Optimizations Tutorials |
15:30 - 16:30 | |||
15:30 60mTutorial | Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials |
15:30 - 16:30 | |||
15:30 60mTutorial | Reasoning About and Discovering LLVM Optimizations Tutorials |
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 5mDay opening | Welcome EGRAPHS Max Willsey University of Washington | ||
09:05 30mTalk | Sketch-Guided Equality Saturation EGRAPHS Thomas Koehler University of Glasgow | ||
09:35 25mTalk | Synthesizing Mathematical Identities with E-graphs EGRAPHS |
10:30 - 12:00 | |||
10:30 45mTalk | Black Box Static Analyses with Deep Learning ASA | ||
11:15 45mTalk | Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services |
10:30 - 12:00 | |||
10:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory | ||
10:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
11:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
11:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta Stone EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL | ||
11:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
11:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS |
13:30 - 15:00 | |||
13:30 45mTalk | Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart | ||
14:15 45mTalk | Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research |
14:00 - 15:00 | |||
14:00 15mTalk | Quiche: A Python Implementation of E-Graphs EGRAPHS Rebecca Swords Unaffiliated | ||
14:15 15mTalk | Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation EGRAPHS Ecenur Ustun Cornell University, Ecenur Ustun Cornell University, Jiaqi Yin University of Utah, Ecenur Ustun Cornell University, Zhiru Zhang Cornell University, USA | ||
14:30 15mTalk | Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH | ||
14:45 15mTalk | QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated |
15:30 - 17:00 | |||
15:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learning ASA Elizabeth Dinella University of Pennsylvania | ||
16:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghotaman University of Southern California |
15:30 - 16:30 | |||
15:30 15mTalk | On the Optimization of Equivalent Concurrent Computations EGRAPHS | ||
15:45 15mTalk | Abstract Interpretation on E-Graphs EGRAPHS Samuel Coward Imperial College London, UK, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA Pre-print | ||
16:00 15mTalk | Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing EGRAPHS | ||
16:15 15mTalk | Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair EGRAPHS Jordan Schmerge Colorado School of Mines, Jake Vossen Colorado School of Mines, Jedidiah McClurg Colorado School of Mines |
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mKeynote | Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst |
10:30 - 11:50 | |||
10:30 20mTalk | Modular Information Flow Through Ownership PLDI Will Crichton Stanford University, Marco Patrignani University of Trento, Maneesh Agrawala Stanford University, Pat Hanrahan Stanford University, USA Pre-print | ||
10:50 20mTalk | ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification PLDI Sankha Narayan Guria University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Marco Guarnieri IMDEA Software Institute, James Parker Galois, Inc. Pre-print | ||
11:10 20mTalk | Hardening Attack Surfaces with Formally Proven Binary Format Parsers PLDI Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, Aseem Rastogi Microsoft Research, Irina Spiridonova Microsoft Research, Haobin Ni Cornell University, Dmitry Malloy Microsoft, Juan Vazquez Microsoft, Michael Tang Microsoft, Omar Cardona Microsoft, Arti Gupta Microsoft | ||
11:30 20mTalk | P4BID: Information Flow Control in P4 PLDI |
10:30 - 11:50 | |||
10:30 20mTalk | (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 | ||
10:50 20mTalk | (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:10 20mTalk | (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:30 20mTalk | (POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis SIGPLAN Track |
10:30 - 11:50 | |||
10:30 20mTalk | Is it Time to Retire Manual Concurrent Memory Reclamation? PLDI Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yuanhao Wei Carnegie Mellon University, USA | ||
10:50 20mTalk | Low-Latency, High-Throughput Garbage Collection PLDI Wenyu Zhao Australian National University, Steve Blackburn Australian National University, Kathryn S McKinley Google | ||
11:10 20mTalk | Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters PLDI Haoran Ma University of California, Los Angeles, Shi Liu UCLA, Chenxi Wang UCLA, Yifan Qiao UCLA, Michael D. Bond Ohio State University, Steve Blackburn Australian National University, Miryung Kim University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles | ||
11:30 20mTalk | PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections PLDI Laxman Dhulipala Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yan Gu UC Riverside, Yihan Sun University of California, Riverside |
13:30 - 14:50 | Domain Specific LanguagesSIGPLAN Track at Cockatoo Chair(s): Zachary Tatlock University of Washington | ||
13:30 20mTalk | (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 20mTalk | (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 20mTalk | (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 20mTalk | (POPL 2022) Safe, Modular Packet Pipeline Programming SIGPLAN Track |
13:30 - 14:50 | |||
13:30 20mTalk | Type-Directed Program Synthesis for RESTful APIs PLDI Zheng Guo University of California, San Diego, David Cao University of California, San Diego, Davin Tjong University of California, San Diego, Jean Yang Akita Software, Cole Schlesinger Akita Software, Nadia Polikarpova University of California at San Diego | ||
13:50 20mTalk | Visualization Question Answering Using Introspective Program Synthesis PLDI Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara | ||
14:10 20mTalk | WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration PLDI Rui Dong University of Michigan, Zhicheng Huang University of Michigan, Ian Iong Lam University of Michigan, Yan Chen University of Michigan, Xinyu Wang University of Michigan Pre-print | ||
14:30 20mTalk | Synthesizing Analytical SQL Queries from Computation Demonstration PLDI Xiangyu Zhou University of Washington, Rastislav Bodik University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA |
13:30 - 14:50 | |||
13:30 20mTalk | (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 20mTalk | (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 20mTalk | (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 20mTalk | (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, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego |
13:30 - 14:50 | |||
13:30 20mTalk | Finding Typing Compiler Bugs PLDI Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arthur Gervais Imperial College London, Ben Livshits Imperial College London, UK, Dimitris Mitropoulos University of Athens | ||
13:50 20mTalk | IRDL: An IR Definition Language for SSA Compilers PLDI Mathieu Fehr University of Edinburgh, Jeff Niu University of Waterloo, River Riddle Google, Mehdi Amini Google, Zhendong Su ETH Zurich, Tobias Grosser University of Edinburgh | ||
14:10 20mTalk | Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency PLDI Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Dongjae Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University Pre-print | ||
14:30 20mTalk | Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations PLDI Olivier Flückiger Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Jan Vitek Northeastern University; Czech Technical University Pre-print |
15:30 - 16:50 | |||
15:30 20mTalk | (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 20mTalk | (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 20mTalk | (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 20mTalk | (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 | |||
15:30 20mTalk | Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA Pre-print | ||
15:50 20mTalk | Recursion Synthesis with Unrealizability Witnesses PLDI Azadeh Farzan University of Toronto, Danya Lette University of Toronto, Victor Nicolet University of Toronto | ||
16:10 20mTalk | “Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA, Germany, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
16:30 20mTalk | TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Link to publication DOI Authorizer link Pre-print |
15:30 - 16:50 | |||
15:30 20mTalk | Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model PLDI | ||
15:50 20mTalk | DISTAL: The Distributed Tensor Algebra Compiler PLDI Rohan Yadav Stanford University, Alex Aiken Stanford Univeristy, Fredrik Kjolstad Stanford University | ||
16:10 20mTalk | All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP PLDI Yishen Chen Massachusetts Institute of Technology, Charith Mendis University of Illinois at Urbana-Champaign, Saman Amarasinghe Massachusetts Institute of Technology | ||
16:30 20mTalk | Warping Cache Simulation of Polyhedral Programs PLDI |
Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mKeynote | Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With PLDI Margo Seltzer University of British Columbia |
10:30 - 11:50 | |||
10:30 - 11:50 | |||
10:30 20mTalk | (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 | ||
10:50 20mTalk | (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:10 20mTalk | (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:30 20mTalk | (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:30 - 11:50 | |||
10:30 20mTalk | Certified Mergeable Replicated Data Types PLDI Vimala Soundarapandian IIT Madras, Adharsh Kamath NITK Surathkal, Kartik Nagar IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides Pre-print | ||
10:50 20mTalk | Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari , Mohsen Lesani University of California at Riverside | ||
11:10 20mTalk | RunTime-Assisted Convergence in Replicated Data Types PLDI Gowtham Kaki University of Colorado Boulder, Prasanth Prahladan University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder | ||
11:30 20mTalk | Adore: Atomic Distributed Objects with Certified Reconfiguration PLDI Wolf Honore Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yale University, USA, Zhong Shao Yale University Pre-print |
10:30 - 11:50 | |||
10:30 20mTalk | (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 | ||
10:50 20mTalk | (PLDI 2020) Zippy LL(1) Parsing with Derivatives SIGPLAN Track | ||
11:10 20mTalk | (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:30 20mTalk | (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, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University |
10:30 - 11:50 | AnalysisPLDI at Toucan Chair(s): Nadia Polikarpova University of California at San Diego, Xiaokang Qiu Purdue University, USA | ||
10:30 20mTalk | CycleQ: an efficient basis for cyclic equational reasoning PLDI Eddie Jones University of Bristol, C.-H. Luke Ong University of Oxford, Steven Ramsay University of Bristol | ||
10:50 20mTalk | Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries PLDI | ||
11:10 20mTalk | Abstract Interpretation Repair PLDI Roberto Bruni University of Pisa, Roberto Giacobazzi University of Verona, Roberta Gori University of Pisa, Francesco Ranzato University of Padova DOI Pre-print | ||
11:30 20mTalk | Differential Cost Analysis with Simultaneous Potentials and Anti-potentials PLDI Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Franco Raimondi Amazon & Middlesex University |
13:30 - 14:50 | |||
13:30 20mTalk | A Flexible Type System for Fearless Concurrency PLDI Mae Milano University of California, Berkeley, Joshua Turcotti University of California, Berkeley, Andrew C. Myers Cornell University | ||
13:50 20mTalk | A Study of Real-world Data Races in Golang PLDI | ||
14:10 20mTalk | Checking Robustness to Weak Persistency Models PLDI Hamed Gorjiara University of California, Irvine, Weiyu Luo University of California, Irvine, Alex Lee University of California, Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California, Irvine | ||
14:30 20mTalk | Sound Sequentialization for Concurrent Program Verification PLDI Azadeh Farzan University of Toronto, Dominik Klumpp University of Freiburg, Andreas Podelski University of Freiburg, Germany |
13:30 - 14:50 | |||
13:30 20mTalk | (ICFP 2020) Kinds Are Calling Conventions SIGPLAN Track Paul Downen University of Massachusetts Lowell, Zena M. Ariola University of Oregon, Simon Peyton Jones Microsoft Research, Richard A. Eisenberg Tweag Link to publication DOI Authorizer link Pre-print | ||
13:50 20mTalk | (OOPSLA 2021) Study of the subtyping machine of nominal subtyping with variance SIGPLAN Track Ori Roth Technion Link to publication DOI Authorizer link Pre-print | ||
14:10 20mTalk | (POPL 2021) Fully Abstract from Static to Gradual SIGPLAN Track | ||
14:30 20mTalk | (POPL 2021) On the Semantic Expressiveness of Recursive Types SIGPLAN Track Marco Patrignani University of Trento, Eric Mark Martin Stanford, Dominique Devriese Vrije Universiteit Brussel |
13:30 - 14:50 | |||
13:30 20mTalk | Choosing Mathematical Function Implementations for Speed and Accuracy PLDI | ||
13:50 20mTalk | Guaranteed bounds for posterior inference in universal probabilistic programming PLDI Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford, Fabian Zaiser University of Oxford | ||
14:10 20mTalk | Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries PLDI Mridul Aanjaneya Rutgers University, Jay P. Lim Yale University, Santosh Nagarakatte Rutgers University Link to publication Pre-print | ||
14:30 20mTalk | Karp: A Language for NP Reductions PLDI Chenhao Zhang Northwestern University, Jason D. Hartline Northwestern University, Christos Dimoulas PLT @ Northwestern University |
15:30 - 16:50 | |||
15:30 20mTalk | (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 20mTalk | (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 20mTalk | (PLDI 2021) Logical Bytecode Reduction SIGPLAN Track Christian Gram Kalhauge Technical University of Denmark, Jens Palsberg University of California, Los Angeles (UCLA) |
15:30 - 16:50 | |||
15:30 20mTalk | A Typed Continuation-Passing Translation for Lexical Effect Handlers PLDI Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Marius Müller University of Tübingen, Klaus Ostermann University of Tuebingen | ||
15:50 20mTalk | Deep and Shallow Types for Gradual Languages PLDI Ben Greenman Brown University | ||
16:10 20mTalk | Kleene Algebra Modulo Theories: A Framework for Concrete KATs PLDI Michael Greenberg Stevens Institute of Technology, Ryan Beckett Microsoft Research, USA, Eric Campbell Cornell University DOI Pre-print | ||
16:30 20mTalk | Semantic Soundness for Language Interoperability PLDI Daniel Patterson Northeastern University, Noble Mushtak Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University (USA) |
15:30 - 16:50 | |||
15:30 20mTalk | (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 20mTalk | (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 20mTalk | (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent SIGPLAN Track | ||
16:30 20mTalk | (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 |
15:30 - 16:50 | |||
15:30 20mTalk | Quartz: Superoptimization of Quantum Circuits PLDI Mingkuan Xu Carnegie Mellon University, Zikun Li University of California, Los Angeles (UCLA), Oded Padon VMware Research, Sina Lin Microsoft, Jessica Pointing University of Oxford, Auguste Hirth University of California, Los Angeles (UCLA), Henry Ma University of California, Los Angeles (UCLA), Jens Palsberg University of California, Los Angeles (UCLA), Alex Aiken Stanford Univeristy, Umut A. Acar Carnegie Mellon University, Zhihao Jia Carnegie Mellon University | ||
15:50 20mTalk | Giallar: Push-button Verification for the Qiskit Quantum Compiler PLDI Runzhou Tao Columbia University, Yunong Shi Amazon, Jianan Yao Columbia University, Xupeng Li Columbia University, Ali Javadi-Abhari IBM, Andrew Cross IBM T.J Watson Research Center, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University | ||
16:10 20mTalk | Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra PLDI Yuxiang Peng University of Maryland, Mingsheng Ying Tsinghua University, Xiaodi Wu Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD | ||
16:30 20mTalk | PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics PLDI Michael Christensen University of California at Santa Barbara, Georgios Tzimpragos UC Santa Barbara, Harlan Kringen UC Santa Barbara, Jennifer Volk UC Santa Barbara, Timothy Sherwood UC Santa Barbara, Ben Hardekopf UC Santa Barbara |
Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change
Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change
10:30 - 11:50 | |||
10:30 20mTalk | (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 | ||
10:50 20mTalk | (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:10 20mTalk | (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:30 20mTalk | (POPL 2021) Paradoxes of probabilistic programming SIGPLAN Track Jules Jacobs Radboud University |
10:30 - 11:50 | |||
10:50 20mTalk | Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matchingvirtual PLDI Konstantinos Mamouras Rice University, Kaiyuan Yang Rice University, Lingkun Kong Rice University, Qixuan Yu Rice University, Agnishom Chattopadhyay Rice University, Alexis Le Glaunec Rice University, Yi Huang Rice University |
13:30 - 14:50 | |||
13:30 20mTalk | (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 20mTalk | (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 20mTalk | (POPL 2021) Intensional Datatype Refinement SIGPLAN Track | ||
14:30 20mTalk | (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 |
15:30 - 16:50 | |||
15:30 20mTalk | Relational Compilation for Performance-Critical Applications PLDI Clément Pit-Claudel EPFL, AWS, Jade Philipoom MIT CSAIL, Dustin Jamner MIT CSAIL, Andres Erbsen MIT CSAIL, Adam Chlipala MIT CSAIL | ||
15:50 20mTalk | Formally Verified Lifting of C-compiled x86-64 Binaries PLDI Freek Verbeek Open University of The Netherlands & Virginia Tech, Joshua A. Bockenek Virginia Tech, Zhoulai Fu University of California, Davis, Binoy Ravindran Virginia Tech | ||
16:10 20mTalk | Leapfrog: Certified Equivalence for Protocol Parsers PLDI Ryan Doenges Cornell University, Tobias Kappé ILLC, University of Amsterdam, John Sarracino Cornell University, Nate Foster Cornell University, Greg Morrisett Cornell Tech Pre-print | ||
16:30 20mTalk | Computing Correctly with Inductive Relations PLDI Zoe Paraskevopoulou Northeastern University, Aaron Eline University of Maryland, Leonidas Lampropoulos University of Maryland |
15:30 - 16:50 | |||
15:30 20mTalk | Interpreter-guided Differential JIT Compiler Unit Testingvirtual PLDI Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium | ||
15:50 20mTalk | Landmarks and Regions: A Robust Approach to Data Extractionvirtual PLDI Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft | ||
16:10 20mTalk | Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual PLDI Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University | ||
16:30 20mTalk | Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI |