1. Simple, Fast and Widely Applicable Concurrent Memory Reclamation via Neutralization;IEEE Transactions on Parallel and Distributed Systems;2024-02
2. Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16
3. Applying Hazard Pointers to More Concurrent Data Structures;Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures;2023-06-17
4. The ERA Theorem for Safe Memory Reclamation;Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming;2023-02-21
5. Fast and Portable Concurrent FIFO Queues With Deterministic Memory Reclamation;IEEE Transactions on Parallel and Distributed Systems;2022-03-01