A volatile-by-default JVM for server applications. - Lun Liu 002; Todd D. Millstein; Madanlal Musuvathi (Proc. ACM Program. Lang., 2017)

Accelerating sequential consistency for Java with speculative compilation. - Lun Liu 002; Todd D. Millstein; Madanlal Musuvathi (PLDI, 2019)

Safe and Efficient Concurrency for Modern Programming Languages. - Lun Liu 002 (2020)

Safe-by-default Concurrency for Modern Programming Languages. - Lun Liu 002; Todd D. Millstein; Madanlal Musuvathi (ACM Trans. Program. Lang. Syst., 2021)