Safe object initialization, abstractly. - Fengyun Liu; Ondrej Lhoták; Enze Xing; Nguyen Cao Pham (SCALA@SPLASH, 2021)

Initializing Global Objects: Time and Order. - Fengyun Liu; Ondrej Lhoták; David Hua; Enze Xing (Proc. ACM Program. Lang., 2023)