Shenghao Yuan

Orcid: 0000-0002-8467-5827

According to our database¹, Shenghao Yuan authored at least 7 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq).

[BibT_eX]

[DOI]

Shenghao Yuan

PhD thesis, 2023

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2022

Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers.

[BibT_eX]

[DOI]

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Verified functional programming of an IoT operating system's bootloader.

[BibT_eX]

[DOI]

Shenghao Yuan

Jean-Pierre Talpin

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2019

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

Shenghao Yuan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...