A generic algorithm for checking exhaustivity of pattern matching (short paper). - Fengyun Liu (SCALA@SPLASH, 2016)

Theory and Practice of Coroutines with Snapshots. - Aleksandar Prokopec; Fengyun Liu (ECOOP, 2018)

Initialization patterns in Dotty. - Fengyun Liu; Aggelos Biboudis; Martin Odersky (SCALA@ICFP, 2018)

On the Soundness of Coroutines with Snapshots. - Aleksandar Prokopec; Fengyun Liu (CoRR, 2018)

Simplicitly: foundations and applications of implicit function types. - Martin Odersky; Olivier Blanvillain; Fengyun Liu; Aggelos Biboudis; Heather Miller; Sandro Stucki (Proc. ACM Program. Lang., 2018)

A type-and-effect system for object initialization. - Fengyun Liu; Ondrej Lhoták; Aggelos Biboudis; Paolo G. Giarrusso; Martin Odersky (Proc. ACM Program. Lang., 2020)

Safe initialization of objects. - Fengyun Liu (2020)

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

Implicit state machines. - Fengyun Liu; Aleksandar Prokopec (LCTES, 2022)

A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model. - Clement Blaudeau; Fengyun Liu (Proc. ACM Program. Lang., 2022)

Accelerate the Development of Media Integration and Build a New Model of "One-Three-Five" Human Anatomy Teaching. - Qianyin Yao; Yatao Cheng; Fengyun Liu; Wen Wang; Yayi Zheng (MLIS, 2023)

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