1. Compiler‐driven approach for automating nonblocking synchronization in concurrent data abstractions;Concurrency and Computation: Practice and Experience;2023-10-24
2. Separating Mechanism from Policy in STM;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
3. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16
4. Parallelism in a Region Inference Context;Proceedings of the ACM on Programming Languages;2023-06-06
5. A Survey on Parallelism and Determinism;ACM Computing Surveys;2023-02-02