Fengyun Liu

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