1. How Hard Is Weak-Memory Testing?;Proceedings of the ACM on Programming Languages;2024-01-05
2. An Experimental Assessment of Inconsistencies in Memory Forensics;ACM Transactions on Privacy and Security;2023-12-12
3. Bricks;Proceedings of the 22nd International Middleware Conference: Demos and Posters;2021-12-06
4. Fluid: a framework for approximate concurrency via controlled dependency relaxation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. CAP Theorem: Revision of Its Related Consistency Models;The Computer Journal;2019-03-16