Peer-Reviewed Publications

1. 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)
   
2. 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)
   
3. 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)
   
4. 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)
   
5. 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)
   
6. 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)
   
7. 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)
   
8. 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

1. A Study of Capability-based Effect Systems
   Master thesis, EPFL, 2016 (link)
2. Safe initialization of objects
   PhD thesis, EPFL, 2020 (link)