~/talk

Equality Saturation Theory Exploration à la Carte

on YouTube 15m
TalkinPortugueseat OOPSLA 2023 · 2023-10-23..10-27· [compilers-and-language-design]

speakers

name:Anjali Pal
links:none on file
name:Brett Saiki
links:none on file
name:Ryan Tjoa
links:none on file
name:Cynthia Richey
links:none on file
name:Amy Zhu
links:none on file
name:Oliver Flatt
links:none on file
name:Max Willsey
website:https://mwillsey.com
name:Zachary Tatlock
links:none on file
name:Chandrakana Nandi
links:none on file

resources

video:https://youtu.be/immD0c6MBM0
slides:none on file

summary

Enumo is a domain-specific language for programmable theory exploration that gives users small, composable operators to guide automatic inference of rewrite rules used in equality saturation. The paper and video introduce a new fast-forwarding strategy that infers deeper rules from larger grammars without evaluating target-language terms, and evaluate Enumo across multiple domains where it can synthesize rulesets that in some cases match manually developed ones.

AI-written summary · about

chapters (8)

  1. 0:00Introduction to rule inference
  2. 1:45Traditional theory exploration
  3. 3:29The Anumo DSL approach
  4. 5:59Optimization and filtering
  5. 7:00Performance and scalability
  6. 9:31Fast forwarding strategy
  7. 10:42Applications and porting
  8. 12:12Q&A session

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.