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.
Beyond Programming Languages
Programming languages are languages that programmers use to represent and manipulate the world (not necessarily the physical world). Philosophers and linguists realize for a long time that languages have an impact on cognition, thinking and learning.
I believe advances in the human aspect of programming languages will help us better understand the success and failure of existing programming languages, as well as design better programming languages for safety, performance and productivity.
Current Projects
- Dotty: The new Scala compiler
- A generic algorithm for checking exhaustivity of pattern matching, Fengyun Liu, Scala 16’, 2017
- Safe Initialization of Objects
- Initialization patterns in Dotty. Fengyun Liu, Aggelos Biboudis, Martin Odersky. SCALA@ICFP. 2018.
Past Projects
- Coroutines for Scala
- Theory and Practice of Coroutines with Snapshots, Aleksandar Prokopec and Fengyun Liu, ECOOP, 2018.
- Gestalt: A portable macro system for Scala
- Two approaches to portable macros, Fengyun Liu and Eugene Burmako, Technical Report, EPFL, 2017
- Stoic: Capability-based calculus for effects and security
- A Study of Capability-Based Effect Systems, Fengyun Liu, master thesis, EPFL, 2016