1. Equivalence by Canonicalization for Synthesis-Backed Refactoring;Proceedings of the ACM on Programming Languages;2024-06-20
2. Ignis: scaling distribution-oblivious systems with light-touch distribution;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
3. An Initial Investigation of Protocol Customization;Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation - FEAST '17;2017
4. Peruse and Profit;Proceedings of the 2016 International Conference on Supercomputing;2016-06
5. AutoMO: automatic inference of memory order parameters for C/C++11;ACM SIGPLAN Notices;2015-12-18