Shenghao Yuan

According to our database, Shenghao Yuan authored at least 8 papers between 2019 and 2024.

Collaborative distances:

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

2024

End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT.

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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).

Shenghao Yuan

PhD thesis, 2023

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

Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin

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.

Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin

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.

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli

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.

Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou

Sci. Comput. Program., 2021

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

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.

Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou

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