Toucan - ISMM 2022

VenueThe Catamaran Resort, San Diego

Room nameToucan

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

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

09:00 - 10:00	(Tutorial) Egg Part IPLDI Tutorials at Toucan +12h

09:00 60m Tutorial		Build your own optimizer with egg! PLDI Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

10:30 - 12:00	(Tutorial) Egg Part IIPLDI Tutorials at Toucan +12h

10:30 90m Tutorial		Build your own optimizer with egg! PLDI Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

21:00 - 22:00	(Tutorial) Egg Part IPLDI Tutorials at Toucan

21:00 60m Tutorial		Build your own optimizer with egg! PLDI Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

22:30 - 00:00	(Tutorial) Egg Part IIPLDI Tutorials at Toucan

22:30 90m Tutorial		Build your own optimizer with egg! PLDI Tutorials Max Willsey University of Washington, Zachary Tatlock University of Washington

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

09:00 - 10:00	OpeningEGRAPHS at Toucan +12h Chair(s): Max Willsey University of Washington

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 Pre-print File Attached
09:35 25m Talk		Synthesizing Mathematical Identities with E-graphs EGRAPHS Ian Briggs University of Utah, Pavel Panchekha University of Utah Link to publication Pre-print

10:30 - 12:00	Thinking AlikeEGRAPHS at Toucan +12h Chair(s): Max Willsey University of Washington

10:30 15m Talk		Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached
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 StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print
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 +12h Chair(s): Chandrakana Nandi Certora, inc.

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 SaturationVirtual EGRAPHS Ecenur Ustun Cornell University, Jiaqi Yin University of Utah, Zhiru Zhang Cornell University, USA
14:30 15m Talk		Wasm-mutate: Fuzzing WebAssembly Compilers with E-GraphsVirtual EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Pre-print
14:45 15m Talk		QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated

15:30 - 16:30	ExtensionsEGRAPHS at Toucan +12h Chair(s): Zachary Tatlock University of Washington

15:30 15m Talk		On the Optimization of Equivalent Concurrent ComputationsVirtual 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 SharingVirtual 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

21:00 - 22:00	OpeningEGRAPHS at Toucan

21:00 5m Day opening		Welcome EGRAPHS Max Willsey University of Washington
21:05 30m Talk		Sketch-Guided Equality Saturation EGRAPHS Thomas Koehler University of Glasgow Pre-print File Attached
21:35 25m Talk		Synthesizing Mathematical Identities with E-graphs EGRAPHS Ian Briggs University of Utah, Pavel Panchekha University of Utah Link to publication Pre-print

22:30 - 00:00	Thinking AlikeEGRAPHS at Toucan

22:30 15m Talk		Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached
22:45 15m Talk		Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print
23: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
23:15 15m Talk		E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print
23: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
23:45 15m Talk		Towards Optimising Certified Programs by Proof Rewriting EGRAPHS Kiran Gopinathan National University of Singapore, Ilya Sergey National University of Singapore

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

02:00 - 03:00	ApplicationsEGRAPHS at Toucan

02:00 15m Talk		Quiche: A Python Implementation of E-Graphs EGRAPHS Rebecca Swords Unaffiliated
02:15 15m Talk		Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual EGRAPHS Ecenur Ustun Cornell University, Jiaqi Yin University of Utah, Zhiru Zhang Cornell University, USA
02:30 15m Talk		Wasm-mutate: Fuzzing WebAssembly Compilers with E-GraphsVirtual EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Pre-print
02:45 15m Talk		QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated

03:30 - 04:30	ExtensionsEGRAPHS at Toucan

03:30 15m Talk		On the Optimization of Equivalent Concurrent ComputationsVirtual EGRAPHS Henrich Lauko Trail of Bits, Lukáš Korenčik Trail of Bits, Peter Goodman Trail of Bits
03: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
04:00 15m Talk		Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual EGRAPHS Eytan Singher Technion - Israel Institute of Technology, Shachar Itzhaky Technion
04: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

10:40 - 12:00	MemoryPLDI at Toucan +12h Chair(s): Clément Pit-Claudel EPFL, AWS

10:40 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
11:00 20m Talk		Low-Latency, High-Throughput Garbage CollectionDistinguished Paper Award PLDI Wenyu Zhao Australian National University, Steve Blackburn Google and Australian National University, Kathryn S McKinley Google DOI
11:20 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 Google and Australian National University, Miryung Kim University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles DOI
11:40 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 DOI

13:30 - 14:50	CompilationPLDI at Toucan +12h Chair(s): James Larus EPFL

13:30 20m Talk		Finding Typing Compiler BugsDistinguished Paper Award 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 DOI
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 DOI
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 DOI 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 DOI Pre-print

15:30 - 16:50	TensorsPLDI at Toucan +12h 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 DOI
15:50 20m Talk		DISTAL: The Distributed Tensor Algebra Compiler PLDI Rohan Yadav Stanford University, Alex Aiken Stanford Univeristy, Fredrik Kjolstad Stanford University DOI
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 DOI
16:30 20m Talk		Warping Cache Simulation of Polyhedral Programs PLDI Canberk Morelli Saarland University, Jan Reineke Saarland University DOI

22:40 - 00:00	MemoryPLDI at Toucan

22:40 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
23:00 20m Talk		Low-Latency, High-Throughput Garbage CollectionDistinguished Paper Award PLDI Wenyu Zhao Australian National University, Steve Blackburn Google and Australian National University, Kathryn S McKinley Google DOI
23:20 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 Google and Australian National University, Miryung Kim University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles DOI
23:40 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 DOI

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

01:30 - 02:50	CompilationPLDI at Toucan

01:30 20m Talk		Finding Typing Compiler BugsDistinguished Paper Award 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 DOI
01: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 DOI
02: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 DOI Pre-print
02: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 DOI Pre-print

03:30 - 04:50	TensorsPLDI at Toucan

03: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 DOI
03:50 20m Talk		DISTAL: The Distributed Tensor Algebra Compiler PLDI Rohan Yadav Stanford University, Alex Aiken Stanford Univeristy, Fredrik Kjolstad Stanford University DOI
04: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 DOI
04:30 20m Talk		Warping Cache Simulation of Polyhedral Programs PLDI Canberk Morelli Saarland University, Jan Reineke Saarland University DOI

10:40 - 12:00	AnalysisPLDI at Toucan +12h Chair(s): Xiaokang Qiu Purdue University, USA

10:40 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 DOI
11:00 20m Talk		Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries PLDI Daniel Lehmann University of Stuttgart, Michael Pradel University of Stuttgart DOI Pre-print
11:20 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:40 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 DOI Pre-print

13:30 - 14:50	NumbersPLDI at Toucan +12h 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 DOI
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 DOI Pre-print
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 DOI 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 DOI

15:30 - 16:50	QuantumPLDI at Toucan +12h 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 DOI
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 DOI
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 DOI
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 DOI

22:40 - 00:00	AnalysisPLDI at Toucan

22:40 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 DOI
23:00 20m Talk		Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries PLDI Daniel Lehmann University of Stuttgart, Michael Pradel University of Stuttgart DOI Pre-print
23:20 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
23:40 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 DOI Pre-print

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

01:30 - 02:50	NumbersPLDI at Toucan

01:30 20m Talk		Choosing Mathematical Function Implementations for Speed and Accuracy PLDI Ian Briggs University of Utah, Pavel Panchekha University of Utah DOI
01: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 DOI Pre-print
02: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 DOI Pre-print
02:30 20m Talk		Karp: A Language for NP Reductions PLDI Chenhao Zhang Northwestern University, Jason D. Hartline Northwestern University, Christos Dimoulas PLT @ Northwestern University DOI

03:30 - 04:50	QuantumPLDI at Toucan

03: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 DOI
03: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 DOI
04: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 DOI
04: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 DOI

10:40 - 12:00	Hardware IIPLDI at Toucan +12h Chair(s): Anders Miltner Simon Fraser University

10:40 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 Link to publication DOI

13:30 - 14:50	Verification & OptimizationPLDI at Toucan +12h 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 DOI
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 , Lin Jiang Tsinghua University, Liyan Zheng Tsinghua University, Zhenhao Yuan Tsinghua University, Chen Zhang Tsinghua University DOI Pre-print
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 DOI
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 DOI Pre-print

15:30 - 16:50	Testing & SynthesisPLDI at Toucan +12h Chair(s): Caroline Lemieux University of British Columbia

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 DOI
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 DOI
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 DOI
16:30 20m Talk		Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI Liam O'Connor University of Edinburgh, Oskar Wickström Monoid Consulting DOI

22:40 - 00:00	Hardware IIPLDI at Toucan

22:40 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 Link to publication DOI

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

01:30 - 02:50	Verification & OptimizationPLDI at Toucan

01: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 DOI
01: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 , Lin Jiang Tsinghua University, Liyan Zheng Tsinghua University, Zhenhao Yuan Tsinghua University, Chen Zhang Tsinghua University DOI Pre-print
02: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 DOI
02: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 DOI Pre-print

03:30 - 04:50	Testing & SynthesisPLDI at Toucan

03: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 DOI
03: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 DOI
04: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 DOI
04:30 20m Talk		Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI Liam O'Connor University of Edinburgh, Oskar Wickström Monoid Consulting DOI

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Toucan	PLDI Tutorials (Tutorial) Egg Part I																		PLDI Tutorials (Tutorial) Egg Part II																																																																																		PLDI Tutorials (Tutorial) Egg Part I																		PLDI Tutorials (Tutorial) Egg Part II

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Toucan	EGRAPHS Opening																		EGRAPHS Thinking Alike																																										EGRAPHS Applications																		EGRAPHS Extensions																																																																		EGRAPHS Opening																		EGRAPHS Thinking Alike

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


Room	2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Toucan	EGRAPHS Applications																		EGRAPHS Extensions																																																																																		PLDI Memory																																		PLDI Compilation																								PLDI Tensors																																																																																		PLDI Memory

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Toucan							PLDI Compilation																								PLDI Tensors																																																																																		PLDI Analysis																																		PLDI Numbers																								PLDI Quantum																																																																																		PLDI Analysis

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Toucan							PLDI Numbers																								PLDI Quantum																																																																																		PLDI Hardware II																																		PLDI Verification & Optimization																								PLDI Testing & Synthesis																																																																																		PLDI Hardware II

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


Room	1:00						30						2:00						30						3:00						30						4:00						30
Toucan							PLDI Verification & Optimization																								PLDI Testing & Synthesis

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Toucan	PLDI Tutorials Build your own optimizer with egg! 09:00 - 10:00																		PLDI Tutorials Build your own optimizer with egg! 10:30 - 12:00																																																																																		PLDI Tutorials Build your own optimizer with egg! 21:00 - 22:00																		PLDI Tutorials Build your own optimizer with egg! 22:30 - 00:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Toucan	EGRAPHS Welcome 09:00 - 09:05	EGRAPHS Sketch-Guided Equality Saturation 09:05 - 09:35						EGRAPHS Synthesizing Mathematical Identities with E-graphs 09:35 - 10:00											EGRAPHS Logging an Egg: Datalog on E-Graphs 10:30 - 10:45			EGRAPHS Chasing an egg 10:45 - 11:00			EGRAPHS ECTAs: E-Graphs Better (at Encoding) 11:00 - 11:15			EGRAPHSVirtual E-Graphs, VSAs, and Tree Automata: a Rosetta Stone 11:15 - 11:30			EGRAPHS Equality Saturation as a Tactic for Proof Assistants 11:30 - 11:45			EGRAPHS Towards Optimising Certified Programs by Proof Rewriting 11:45 - 12:00																											EGRAPHS Quiche: A Python Implementation of E-Graphs 14:00 - 14:15			EGRAPHSVirtual Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation 14:15 - 14:30			EGRAPHSVirtual Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs 14:30 - 14:45			EGRAPHS QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs 14:45 - 15:00									EGRAPHSVirtual On the Optimization of Equivalent Concurrent Computations 15:30 - 15:45			EGRAPHS Abstract Interpretation on E-Graphs 15:45 - 16:00			EGRAPHSVirtual Colored E-Graph: Supporting Multiple Equivalence Relations with Resourc ... 16:00 - 16:15			EGRAPHS Toward a Unified Framework for Program Optimization, Bug-Finding, and R ... 16:15 - 16:30																																																									EGRAPHS Welcome 21:00 - 21:05	EGRAPHS Sketch-Guided Equality Saturation 21:05 - 21:35						EGRAPHS Synthesizing Mathematical Identities with E-graphs 21:35 - 22:00											EGRAPHS Logging an Egg: Datalog on E-Graphs 22:30 - 22:45			EGRAPHS Chasing an egg 22:45 - 23:00			EGRAPHS ECTAs: E-Graphs Better (at Encoding) 23:00 - 23:15			EGRAPHSVirtual E-Graphs, VSAs, and Tree Automata: a Rosetta Stone 23:15 - 23:30			EGRAPHS Equality Saturation as a Tactic for Proof Assistants 23:30 - 23:45			EGRAPHS Towards Optimising Certified Programs by Proof Rewriting 23:45 - 00:00

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


Room	2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Toucan	EGRAPHS Quiche: A Python Implementation of E-Graphs 02:00 - 02:15			EGRAPHSVirtual Optimizing Large Integer Multiplier on FPGAs Using Equality Saturation 02:15 - 02:30			EGRAPHSVirtual Wasm-mutate: Fuzzing WebAssembly Compilers with E-Graphs 02:30 - 02:45			EGRAPHS QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs 02:45 - 03:00									EGRAPHSVirtual On the Optimization of Equivalent Concurrent Computations 03:30 - 03:45			EGRAPHS Abstract Interpretation on E-Graphs 03:45 - 04:00			EGRAPHSVirtual Colored E-Graph: Supporting Multiple Equivalence Relations with Resourc ... 04:00 - 04:15			EGRAPHS Toward a Unified Framework for Program Optimization, Bug-Finding, and R ... 04:15 - 04:30																																																																									PLDI Is it Time to Retire Manual Concurrent Memory Reclamation? 10:40 - 11:00				PLDI Distinguished Paper Award Low-Latency, High-Throughput Garbage Collection 11:00 - 11:20				PLDI Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disa ... 11:20 - 11:40				PLDI PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections 11:40 - 12:00																						PLDI Distinguished Paper Award Finding Typing Compiler Bugs 13:30 - 13:50				PLDI IRDL: An IR Definition Language for SSA Compilers 13:50 - 14:10				PLDI Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency 14:10 - 14:30				PLDI Deoptless: Speculation with Dispatched On-Stack Replacement and Special ... 14:30 - 14:50												PLDI Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model 15:30 - 15:50				PLDI DISTAL: The Distributed Tensor Algebra Compiler 15:50 - 16:10				PLDI All you need is Superword-Level Parallelism: Systematic Control-Flow Ve ... 16:10 - 16:30				PLDI Warping Cache Simulation of Polyhedral Programs 16:30 - 16:50																																																																						PLDI Is it Time to Retire Manual Concurrent Memory Reclamation? 22:40 - 23:00				PLDI Distinguished Paper Award Low-Latency, High-Throughput Garbage Collection 23:00 - 23:20				PLDI Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disa ... 23:20 - 23:40				PLDI PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections 23:40 - 00:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Toucan							PLDI Distinguished Paper Award Finding Typing Compiler Bugs 01:30 - 01:50				PLDI IRDL: An IR Definition Language for SSA Compilers 01:50 - 02:10				PLDI Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency 02:10 - 02:30				PLDI Deoptless: Speculation with Dispatched On-Stack Replacement and Special ... 02:30 - 02:50												PLDI Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model 03:30 - 03:50				PLDI DISTAL: The Distributed Tensor Algebra Compiler 03:50 - 04:10				PLDI All you need is Superword-Level Parallelism: Systematic Control-Flow Ve ... 04:10 - 04:30				PLDI Warping Cache Simulation of Polyhedral Programs 04:30 - 04:50																																																																						PLDI CycleQ: an efficient basis for cyclic equational reasoning 10:40 - 11:00				PLDI Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries 11:00 - 11:20				PLDI Abstract Interpretation Repair 11:20 - 11:40				PLDI Differential Cost Analysis with Simultaneous Potentials and Anti-potentials 11:40 - 12:00																						PLDI Choosing Mathematical Function Implementations for Speed and Accuracy 13:30 - 13:50				PLDI Guaranteed bounds for posterior inference in universal probabilistic pr ... 13:50 - 14:10				PLDI Progressive Polynomial Approximations for Fast Correctly Rounded Math L ... 14:10 - 14:30				PLDI Karp: A Language for NP Reductions 14:30 - 14:50												PLDI Quartz: Superoptimization of Quantum Circuits 15:30 - 15:50				PLDI Giallar: Push-button Verification for the Qiskit Quantum Compiler 15:50 - 16:10				PLDI Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra 16:10 - 16:30				PLDI PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics 16:30 - 16:50																																																																						PLDI CycleQ: an efficient basis for cyclic equational reasoning 22:40 - 23:00				PLDI Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries 23:00 - 23:20				PLDI Abstract Interpretation Repair 23:20 - 23:40				PLDI Differential Cost Analysis with Simultaneous Potentials and Anti-potentials 23:40 - 00:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Toucan							PLDI Choosing Mathematical Function Implementations for Speed and Accuracy 01:30 - 01:50				PLDI Guaranteed bounds for posterior inference in universal probabilistic pr ... 01:50 - 02:10				PLDI Progressive Polynomial Approximations for Fast Correctly Rounded Math L ... 02:10 - 02:30				PLDI Karp: A Language for NP Reductions 02:30 - 02:50												PLDI Quartz: Superoptimization of Quantum Circuits 03:30 - 03:50				PLDI Giallar: Push-button Verification for the Qiskit Quantum Compiler 03:50 - 04:10				PLDI Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra 04:10 - 04:30				PLDI PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics 04:30 - 04:50																																																																						PLDI virtual Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching 10:40 - 11:00																																		PLDI virtual Efficient Approximations for Cache-conscious Data Placement 13:30 - 13:50				PLDI virtual FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular T ... 13:50 - 14:10				PLDI virtual Lasagne: A Static Binary Translator for Weak Memory Model Architectures 14:10 - 14:30				PLDI virtual Verifying Optimizations of Concurrent Programs in the Promising Semantics 14:30 - 14:50												PLDI virtual Interpreter-guided Differential JIT Compiler Unit Testing 15:30 - 15:50				PLDI virtual Landmarks and Regions: A Robust Approach to Data Extraction 15:50 - 16:10				PLDI virtual Odin: On-Demand Instrumentation with On-the-Fly Recompilation 16:10 - 16:30				PLDI virtual Quickstrom: Property-based acceptance testing with LTL specifications 16:30 - 16:50																																																																						PLDI virtual Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching 22:40 - 23:00

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45
Toucan							PLDI virtual Efficient Approximations for Cache-conscious Data Placement 01:30 - 01:50				PLDI virtual FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular T ... 01:50 - 02:10				PLDI virtual Lasagne: A Static Binary Translator for Weak Memory Model Architectures 02:10 - 02:30				PLDI virtual Verifying Optimizations of Concurrent Programs in the Promising Semantics 02:30 - 02:50												PLDI virtual Interpreter-guided Differential JIT Compiler Unit Testing 03:30 - 03:50				PLDI virtual Landmarks and Regions: A Robust Approach to Data Extraction 03:50 - 04:10				PLDI virtual Odin: On-Demand Instrumentation with On-the-Fly Recompilation 04:10 - 04:30				PLDI virtual Quickstrom: Property-based acceptance testing with LTL specifications 04:30 - 04:50

Room information: Toucan

Program Display Configuration

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

EGRAPHS

EGRAPHS

PLDI

PLDI

PLDI

PLDI

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

PLDI

PLDI

PLDI

PLDI

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI

PLDI

Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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