Name: An Introduction to E-Graphs with Rebecca Swords
Start: 2023-02-23T18:00:00-08:00
End: 2023-02-23T19:30:00-08:00

E-graphs are a data structure that efficiently stores equivalence relations over language terms, well-suited to a broad spectrum of term-rewriting applications. Rather than applying rewrites destructively as many compilers do, e-graphs track equivalent terms, using a technique called equality saturation to efficiently apply large sets of rewriting rules, and then use a cost model to extract an optimized term.

In this talk, I will present an overview of e-graphs, sketching core operations including equality saturation; describing e-class analyses; and explaining the e-graph approach to optimized term extraction. This work is based on Quiche, which is my project implementing e-graphs in Python with specialized support for Python AST rewriting.

About Rebecca:
Rebecca Swords received her M.S. in Computer Science from Indiana University, Bloomington in 2011, and has since worked in both full stack application development and in industry research in program synthesis. Her most recent work is on Quiche, a Python implementation of e-graphs. She is currently a stay-at-home mom, engaging with research in her spare moments.

Anupama

Tanya Lattner

Jubi Taneja

Women in Compilers and Tools Meetup Series

LLVM Project

Technology

Open Source

Web Design

Web Technology

Web Development

Mobile Development

Software Development

Women's Business Networking

Professional Women

Computer Programming

An Introduction to E-Graphs with Rebecca Swords

Online event

Share

Women in Compilers and Tools Meetup Series

An Introduction to E-Graphs with Rebecca Swords

Women in Compilers and Tools Meetup Series

Details

Members are also interested in