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 +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