Cited By
View all- 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
- Ding YQiu X(2024)Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector ManipulationsProceedings of the ACM on Programming Languages10.1145/36329138:POPL(2129-2159)Online publication date: 5-Jan-2024
- Sarra LEllis KMarquardt F(2024)Discovering quantum circuit components with program synthesisMachine Learning: Science and Technology10.1088/2632-2153/ad42525:2(025029)Online publication date: 3-May-2024
- Show More Cited By