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):729–757, 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, pages 13–25, 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, pages 33–43, 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):175:1–175:28, 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):42:1–42:29, 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, pages 3:1–3:32, 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, pages 51–55, 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, pages 61–64, 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)