( en | de | ru )

 

Disambiguation of "Yuan, Shenghao"

Author of the publication

copydeleteadd this publication to your clipboard
Verified functional programming of an IoT operating system's bootloader.

, and . MEMOCODE, page 89-97. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jing Yuan

Fang Yuan

Lei Yuan

Li Yuan

Xiugan Yuan

 

Other publications of authors with the same name

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification., , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 385-401. Springer, (2023)Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study., , , , , and . FTSCS, volume 1165 of Communications in Computer and Information Science, page 57-73. Springer, (2019)Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study., , , , , and . Sci. Comput. Program., (2021)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).. University of Rennes 1, France, (2023)Verified functional programming of an IoT operating system's bootloader., and . MEMOCODE, page 89-97. ACM, (2021)End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers., , , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 293-316. Springer, (2022)Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers., , , , and . Middleware, page 161-173. ACM, (2022)