Shenghao Yuan

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Code Generation

Top Venues

Publications

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. CAV (1) (2024)
Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. SETTA (2023)
Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers. CoRR (2022)
Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin
Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers. Middleware (2022)
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. CAV (2) (2022)
Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study. Sci. Comput. Program. 207 (2021)
Shenghao Yuan, Jean-Pierre Talpin
Verified functional programming of an IoT operating system's bootloader. MEMOCODE (2021)
Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. FTSCS (2019)