1. ENTS: Flush-and-Fence-Free Failure Atomic Transactions;Proceedings of the International Symposium on Memory Systems;2023-10-02
2. Replication-based object persistence by reachability;Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management;2022-06-14
3. Checking robustness to weak persistency models;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Yashme: detecting persistency races;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
5. Semiring optimizations: dynamic elision of expressions with identity and absorbing elements;Proceedings of the ACM on Programming Languages;2020-11-13