1. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface;ACM Transactions on Design Automation of Electronic Systems;2023-12-29
2. Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
3. Equality Saturation Theory Exploration à la Carte;Proceedings of the ACM on Programming Languages;2023-10-16
4. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search;ACM Transactions on Programming Languages and Systems;2023-09-23
5. CryptOpt: Automatic Optimization of Straightline Code;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05