23:28 [EGRAPHS24] superVer: Verifying Probabilistic Independence of Systems of Expressions using(…) ACM SIGPLAN
22:23 [EGRAPHS24] Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs ACM SIGPLAN
22:24 [EGRAPHS24] Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry(…) ACM SIGPLAN
24:48 [EGRAPHS24] EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction ACM SIGPLAN
