Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 14 Jun

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

09:00 - 10:00
OpeningEGRAPHS at Toucan
09:00
5m
Day opening
Welcome
EGRAPHS
Max Willsey University of Washington
09:05
30m
Talk
Sketch-Guided Equality Saturation
EGRAPHS
Thomas Koehler University of Glasgow
09:35
25m
Talk
Synthesizing Mathematical Identities with E-graphs
EGRAPHS
Ian Briggs University of Utah, Pavel Panchekha University of Utah
10:30 - 12:00
Thinking AlikeEGRAPHS at Toucan
10:30
15m
Talk
Logging an Egg: Datalog on E-Graphs
EGRAPHS
Philip Zucker Draper Laboratory
10:45
15m
Talk
Chasing an egg
EGRAPHS
Yihong Zhang University of Washington
Pre-print
11:00
15m
Talk
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
15m
Talk
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
15m
Talk
Equality Saturation as a Tactic for Proof Assistants
EGRAPHS
Andrés Goens the University of Edinburgh, Siddharth Bhat the University of Edinburgh
11:45
15m
Talk
Towards Optimising Certified Programs by Proof Rewriting
EGRAPHS
Kiran Gopinathan National University of Singapore, Ilya Sergey National University of Singapore
14:00 - 15:00
ApplicationsEGRAPHS at Toucan
14:00
15m
Talk
Quiche: A Python Implementation of E-Graphs
EGRAPHS
Rebecca Swords Unaffiliated
14:15
15m
Talk
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
15m
Talk
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
15m
Talk
QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs
EGRAPHS
Spencer King Unaffiliated
15:30 - 16:30
ExtensionsEGRAPHS at Toucan
15:30
15m
Talk
On the Optimization of Equivalent Concurrent Computations
EGRAPHS
Henrich Lauko Trail of Bits, Lukáš Korenčik Trail of Bits, Peter Goodman Trail of Bits
15:45
15m
Talk
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
15m
Talk
Colored E-Graph: Supporting Multiple Equivalence Relations with Resource Sharing
EGRAPHS
Eytan Singher Technion - Israel Institute of Technology, Shachar Itzhaky Technion
16:15
15m
Talk
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 Jun

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

10:30 - 11:50
MemoryPLDI at Toucan
Chair(s): Clément Pit-Claudel EPFL, AWS
10:30
20m
Talk
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
20m
Talk
Low-Latency, High-Throughput Garbage Collection
PLDI
Wenyu Zhao Australian National University, Steve Blackburn Australian National University, Kathryn S McKinley Google
11:10
20m
Talk
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
20m
Talk
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
CompilationPLDI at Toucan
Chair(s): James Larus EPFL
13:30
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
TensorsPLDI at Toucan
Chair(s): Sreepathi Pai University of Rochester
15:30
20m
Talk
Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
PLDI
Peter Ahrens MIT CSAIL, Fredrik Kjolstad Stanford University, Saman Amarasinghe MIT CSAIL
15:50
20m
Talk
DISTAL: The Distributed Tensor Algebra Compiler
PLDI
Rohan Yadav Stanford University, Alex Aiken Stanford Univeristy, Fredrik Kjolstad Stanford University
16:10
20m
Talk
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
20m
Talk
Warping Cache Simulation of Polyhedral Programs
PLDI
Canberk Morelli Saarland University, Jan Reineke Saarland University

Thu 16 Jun

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

10:30 - 11:50
AnalysisPLDI at Toucan
Chair(s): Nadia Polikarpova University of California at San Diego, Xiaokang Qiu Purdue University, USA
10:30
20m
Talk
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
20m
Talk
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
PLDI
Daniel Lehmann University of Stuttgart, Michael Pradel University of Stuttgart
11:10
20m
Talk
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
20m
Talk
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
NumbersPLDI at Toucan
Chair(s): Chandrakana Nandi Certora, inc.
13:30
20m
Talk
Choosing Mathematical Function Implementations for Speed and Accuracy
PLDI
Ian Briggs University of Utah, Pavel Panchekha University of Utah
13:50
20m
Talk
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
20m
Talk
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
20m
Talk
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
QuantumPLDI at Toucan
Chair(s): Sara Achour MIT
15:30
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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 Jun

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

10:30 - 11:50
Hardware IIPLDI at Toucan
Chair(s): Anders Miltner University of Texas at Austin
10:50
20m
Talk
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
Verification & OptimizationPLDI at Toucan
Chair(s): Charith Mendis University of Illinois at Urbana-Champaign
13:30
20m
Talk
Efficient Approximations for Cache-conscious Data Placementvirtual
PLDI
Ali Ahmadi Sharif University of Technology, Majid Daliri University of Tehran, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Andreas Pavlogiannis Aarhus University
13:50
20m
Talk
FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programsvirtual
PLDI
Shizhi Tang Tsinghua University, Jidong Zhai Tsinghua University, Haojie Wang Tsinghua University, Lin Jiang Tsinghua University, Liyan Zheng Tsinghua University, Zhenhao Yuan Tsinghua University, Chen Zhang Tsinghua University
14:10
20m
Talk
Lasagne: A Static Binary Translator for Weak Memory Model Architecturesvirtual
PLDI
Rodrigo C. O. Rocha University of Edinburgh, UK, Dennis Sprokholt TU Delft, Martin Fink TU Munich, Redha Gouicem TU Munich, Tom Spink University of St Andrews, Soham Chakraborty TU Delft, Pramod Bhatotia TU Munich / University of Edinburgh
14:30
20m
Talk
Verifying Optimizations of Concurrent Programs in the Promising Semanticsvirtual
PLDI
Junpeng Zha Nanjing University, Hongjin Liang Nanjing University, Xinyu Feng Nanjing University
Pre-print
15:30 - 16:50
Testing & SynthesisPLDI at Toucan
Chair(s): Caroline Lemieux Microsoft Research
15:30
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
Quickstrom: Property-based acceptance testing with LTL specificationsvirtual
PLDI
Liam O'Connor University of Edinburgh, Oskar Wickström Monoid Consulting

Tue 14 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Toucan

Wed 15 Jun

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

Room10:003011:003012:003013:003014:003015:003016:0030
Toucan

Thu 16 Jun

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

Room10:003011:003012:003013:003014:003015:003016:0030
Toucan

Fri 17 Jun

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

Room10:003011:003012:003013:003014:003015:003016:0030
Toucan