Fengyun Liu

According to our database, Fengyun Liu authored at least 8 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Implicit state machines.

Fengyun Liu, Aleksandar Prokopec

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

2021

Safe object initialization, abstractly.

Fengyun Liu, Ondrej Lhoták, Enze Xing, Nguyen Cao Pham

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2020

A type-and-effect system for object initialization.

Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky

Proc. ACM Program. Lang., 2020

2018

Simplicitly: foundations and applications of implicit function types.

Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki

Proc. ACM Program. Lang., 2018

On the Soundness of Coroutines with Snapshots.

Aleksandar Prokopec, Fengyun Liu

CoRR, 2018

Initialization patterns in Dotty.

Fengyun Liu, Aggelos Biboudis, Martin Odersky

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

Theory and Practice of Coroutines with Snapshots.

Aleksandar Prokopec, Fengyun Liu

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016

A generic algorithm for checking exhaustivity of pattern matching (short paper).

Fengyun Liu

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016