Fengyun Liu

According to our database, Fengyun Liu authored at least 12 papers between 2016 and 2023.

Collaborative distances:

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

2023

Initializing Global Objects: Time and Order.

Fengyun Liu, Ondrej Lhoták, David Hua, Enze Xing

Proc. ACM Program. Lang., October, 2023

Accelerate the Development of Media Integration and Build a New Model of "One-Three-Five" Human Anatomy Teaching.

Qianyin Yao, Yatao Cheng, Fengyun Liu, Wen Wang, Yayi Zheng

Proceedings of the Machine Learning and Artificial Intelligence, 2023

2022

A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model.

Clement Blaudeau, Fengyun Liu

Proc. ACM Program. Lang., 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

Safe initialization of objects.

Fengyun Liu

PhD thesis, 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