1. Lock–Unlock;ACM Transactions on Computer Systems;2019-03-28
2. Accurate counting algorithm for high‐speed parallel applications;Concurrency and Computation: Practice and Experience;2018-11-23
3. Contention in Structured Concurrency;Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2017-01-26
4. Decidability and Complexity for Quiescent Consistency;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
5. DeNovoSync;ACM SIGARCH Computer Architecture News;2015-05-29