Peer-Reviewed Publications
-
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
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)
Technical Reports
- Digital Design with Implicit State Machines
F. Liu, A. Prokopec, M. Odersky
Tech. Report, EPFL, 2020 (Link)
- A Theory of Quoted Code Patterns
N. Stucki, F. Liu, A. Biboudis, M. Odersky
Tech. Report, EPFL, 2020 (Link)
- Stoic: Towards Disciplined Capabilities
F. Liu, S. Stucki, N. Amin, P. Giarrusso, M. Odersky
Tech. Report, EPFL, 2019 (Link)