( en | de | ru )

 

Disambiguierung von "Yuan, Shenghao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.

, , , und . SETTA, Volume 14464 von Lecture Notes in Computer Science, Seite 385-401. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xiugan Yuan

Fang Yuan

Jing Yuan

Lei Yuan

Li Yuan

 

Weitere Publikationen von Autoren mit dem selben Namen

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers., , , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 293-316. Springer, (2022)Verified functional programming of an IoT operating system's bootloader., und . MEMOCODE, Seite 89-97. ACM, (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)Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers., , , , und . Middleware, Seite 161-173. ACM, (2022)End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT., , und . CAV (1), Volume 14681 von Lecture Notes in Computer Science, Seite 325-347. Springer, (2024)Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification., , , und . SETTA, Volume 14464 von Lecture Notes in Computer Science, Seite 385-401. Springer, (2023)Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study., , , , , und . FTSCS, Volume 1165 von Communications in Computer and Information Science, Seite 57-73. Springer, (2019)