Safe-by-default Concurrency for Modern Programming Languages.
ACM Trans. Program. Lang. Syst., 2021
Safe and Efficient Concurrency for Modern Programming Languages.
PhD thesis, 2020
Accelerating sequential consistency for Java with speculative compilation.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
A volatile-by-default JVM for server applications.
Proc. ACM Program. Lang., 2017