Cited By
View all- Lee DLee WOh HYi K(2023)Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive SearchACM Transactions on Programming Languages and Systems10.1145/359162245:3(1-37)Online publication date: 23-Sep-2023
- Lee DLee WOh HYi KDonaldson ATorlak E(2020)Optimizing homomorphic evaluation circuits by program synthesis and term rewritingProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385996(503-518)Online publication date: 11-Jun-2020
- Kikuchi KAoto T(2020)Confluence and Commutation for Nominal Rewriting Systems with Atom-VariablesLogic-Based Program Synthesis and Transformation10.1007/978-3-030-68446-4_3(56-73)Online publication date: 7-Sep-2020
- Show More Cited By