1. Compiler‐driven approach for automating nonblocking synchronization in concurrent data abstractions;Concurrency and Computation: Practice and Experience;2023-10-24
2. Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP;Theory and Practice of Logic Programming;2023-07
3. Lock-based or Lock-less: Which Is Fresh?;IEEE INFOCOM 2023 - IEEE Conference on Computer Communications;2023-05-17
4. FrozenHot Cache: Rethinking Cache Management for Modern Hardware;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
5. Opportunities and Limitations of Hardware Timestamps in Concurrent Data Structures;2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2023-05