Peer-Reviewed Publications
-
A conceptual framework for safe object initialization: a principled
and mechanized soundness proof of the Celsius model
Blaudeau, Clement and Liu, Fengyun
Proc. ACM Program. Lang., 6(OOPSLA2), 2022
(link)
-
Implicit state machines
Liu, Fengyun and Prokopec, Aleksandar
In LCTES ’22: 23rd ACM SIGPLAN/SIGBED International Conference
on Languages, Compilers, and Tools for Embedded Systems, San Diego,
CA, USA, 14 June 2022, ACM, 2022
(link)
-
Safe object initialization, abstractly
Liu, Fengyun and Lhoták, Ondrej and Xing, Enze and Pham, Nguyen Cao
In SCALA 2021: Proceedings of the 12th ACM SIGPLAN International
Symposium on Scala, Chicago, IL, USA, 17 October 2021, ACM, 2021
(link)
-
A type-and-effect system for object initialization
Liu, Fengyun and Lhoták, Ondrej and Biboudis, Aggelos and Giarrusso, Paolo G. and Odersky, Martin
Proc. ACM Program. Lang., 4(OOPSLA), 2020
(link)
-
Simplicitly: foundations and applications of implicit function types
Odersky, Martin and Blanvillain, Olivier and Liu, Fengyun and Biboudis, Aggelos and Miller, Heather and Stucki, Sandro
Proc. ACM Program. Lang., 2(POPL), 2018
(link)
-
Theory and Practice of Coroutines with Snapshots
Prokopec, Aleksandar and Liu, Fengyun
In 32nd European Conference on Object-Oriented Programming, ECOOP 2018,
July 16-21, 2018, Amsterdam, The Netherlands, LIPIcs, 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018
(link)
-
Initialization patterns in Dotty
Liu, Fengyun and Biboudis, Aggelos and Odersky, Martin
In Proceedings of the 9th ACM SIGPLAN International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018, ACM, 2018
(link)
-
A generic algorithm for checking exhaustivity of pattern matching
(short paper)
Liu, Fengyun
In Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016, ACM, 2016
(link)
Thesis
- A Study of Capability-based Effect Systems
Master thesis, EPFL, 2016 (link)
- Safe initialization of objects
PhD thesis, EPFL, 2020 (link)