1. Intermediate Value Linearizability: A Quantitative Correctness Criterion;Journal of the ACM;2023-04-18
2. Improving Parallelism in Hardware Transactional Memory;ACM Transactions on Architecture and Code Optimization;2018-04-02
3. RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions;2015 International Conference on Parallel Architecture and Compilation (PACT);2015-10
4. Regional Consistency: Programmability and Performance for Non-cache-coherent Systems;2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications;2013-07
5. Deterministic Replay Using Global Clock;ACM Transactions on Architecture and Code Optimization;2013-04