Fengyun Liu

I’m a PhD student at LAMP/EPFL, supervised by Professor Martin Odersky. I’m also a father of two lovely kids.

Interests

My main passion is to make programming in Scala safer by checking properties that are not captured by the core type system, e.g. proper initialization ordering, purity, immutability, linearity.

I’m also interested in general topics about type theory, language abstractions, program analysis, compiler construction, concurrency and intelligence.

Projects

• Gestalt: A portable macro system for Scala
  • Two approaches to portable macros, F. Liu and E. Burmako, Technical Report, EPFL, 2017
• Stoic: Capability-based calculus for effects and security
  • A Study of Capability-Based Effect Systems, F. Liu, master thesis, EPFL, 2016
• Dotty: The new Scala compiler
  • A generic algorithm for checking exhaustivity of pattern matching, F. Liu, Scala 16’, 2017
    • The algorithm is used both in Dotty and Swift
  • Benchmarks: Regressional benchmarking framework for continuous integration on Github

Links: resume, blog, lang, prog, github