Fengyun Liu

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Pattern Matching

Conceptual Framework

Top Venues

Proc. ACM Program. Lang.

Publications

Fengyun Liu, Ondrej Lhoták, David Hua, Enze Xing
Initializing Global Objects: Time and Order. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Qianyin Yao, Yatao Cheng, Fengyun Liu, Wen Wang, Yayi Zheng
Accelerate the Development of Media Integration and Build a New Model of "One-Three-Five" Human Anatomy Teaching. MLIS (2023)
Fengyun Liu, Aleksandar Prokopec
Implicit state machines. LCTES (2022)
Clement Blaudeau, Fengyun Liu
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham
Safe object initialization, abstractly. SCALA@SPLASH (2021)
Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky
A type-and-effect system for object initialization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Aleksandar Prokopec, Fengyun Liu
Theory and Practice of Coroutines with Snapshots. ECOOP (2018)
Fengyun Liu, Aggelos Biboudis, Martin Odersky
Initialization patterns in Dotty. SCALA@ICFP (2018)
Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Aleksandar Prokopec, Fengyun Liu
On the Soundness of Coroutines with Snapshots. CoRR (2018)
Fengyun Liu
A generic algorithm for checking exhaustivity of pattern matching (short paper). SCALA@SPLASH (2016)