E-Graphs Courses
The Julia Programming Language via YouTube Gatlab - Combining Computer Algebra and Standard ML Modules
The Julia Programming Language via YouTube E-graphs and Automated Reasoning: Looking Back to Look Forward
ACM SIGPLAN 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 Bridging Syntax and Semantics of Lean Expressions in E-Graphs
ACM SIGPLAN via YouTube Implementation and Synthesis of Math Library Functions
ACM SIGPLAN via YouTube Guided Equality Saturation
ACM SIGPLAN via YouTube SpEQ: Translation of Sparse Codes Using Equivalences
ACM SIGPLAN via YouTube