Shenghao Yuan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT. | Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin |
| 2024 | SETTA | Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness. | Jiayi Lu, Shenghao Yuan, David Sann, Yongwang Zhao |
| 2023 | SETTA | Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. | Shenghao Yuan, Benjamin Lion, Frdric Besson, Jean-Pierre Talpin |
| 2022 | CAV | End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. | Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli |
| 2022 | Middleware | Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers. | Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin |
| 2021 | MEMOCODE | Verified functional programming of an IoT operating system's bootloader. | Shenghao Yuan, Jean-Pierre Talpin |