E-graphs and Automated Reasoning: Looking Back to Look Forward

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore the intersection of e-graphs and automated reasoning in this 38-minute video presentation by Philip Zucker from Draper at the EGRAPHS 2024 workshop. Delve into the historical context of automated reasoning and discover how e-graph rewriting techniques fit into this established field. Gain insights into potential fundamental extensions to e-graph rewriting as suggested by this connection. The talk, sponsored by ACM SIGPLAN, offers a retrospective view to inform future developments in the field.

Syllabus

[EGRAPHS24] E-graphs and Automated Reasoning: Looking back to look forward

Taught by

ACM SIGPLAN

Related Courses

Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
The Julia Programming Language via YouTube Gatlab - Combining Computer Algebra and Standard ML Modules
The Julia Programming Language via YouTube Disequalities in E-Graphs: An Experiment
ACM SIGPLAN via YouTube Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
ACM SIGPLAN via YouTube EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
ACM SIGPLAN via YouTube