Cited By
View all- Kurashige CJi RGiridharan ABarbone MNoor DItzhaky SJhala RPolikarpova N(2024)CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational ProofsProceedings of the ACM on Programming Languages10.1145/36746538:ICFP(818-844)Online publication date: 15-Aug-2024
- Lubin JFerguson JYe KYim JChasins S(2024)Equivalence by Canonicalization for Synthesis-Backed RefactoringProceedings of the ACM on Programming Languages10.1145/36564538:PLDI(1879-1904)Online publication date: 20-Jun-2024
- Mukherjee MRegehr J(2024)Hydra: Generalizing Peephole Optimizations with Program SynthesisProceedings of the ACM on Programming Languages10.1145/36498378:OOPSLA1(725-753)Online publication date: 29-Apr-2024
- Show More Cited By