Fengyun Liu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Initializing Global Objects: Time and Order.
Proc. ACM Program. Lang., October, 2023

Accelerate the Development of Media Integration and Build a New Model of "One-Three-Five" Human Anatomy Teaching.
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.
Proc. ACM Program. Lang., 2022

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

2021
Safe object initialization, abstractly.
Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2020
Safe initialization of objects.
PhD thesis, 2020

A type-and-effect system for object initialization.
Proc. ACM Program. Lang., 2020

2018
Simplicitly: foundations and applications of implicit function types.
Proc. ACM Program. Lang., 2018

On the Soundness of Coroutines with Snapshots.
CoRR, 2018

Initialization patterns in Dotty.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 2018

Theory and Practice of Coroutines with Snapshots.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016
A generic algorithm for checking exhaustivity of pattern matching (short paper).
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016


  Loading...