Peer-Reviewed Publications

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


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

Other Drafts and Artifacts

  1. Digital Design with Implicit State Machines, 2020
    F. Liu, A. Prokopec, M. Odersky
  2. A Theory of Quoted Code Patterns, 2020
    N. Stucki, F. Liu, A. Biboudis, M. Odersky
  3. Stoic: Towards Disciplined Capabilities, 2019
    F. Liu, S. Stucki, N. Amin, P. Giarrusso, M. Odersky