Modular Responsiveness Verification of Rust Async Runtimes
Yan-Ze Li, Ivan Beschastnikh, Alexander J. Summers
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Book
Open access
Sep 2026
Unifying eBPF across Platforms: Formal Semantics, Conformance Testing, and Specifications
This work is building an executable formal semantics for eBPF in F* that explicitly distinguishes cross-platform and platform-specific behaviors and envision this semantics as a practical foundation for a uniform, trustworthy eBPF across platforms.
Yan-Ze Li, Reto Achermann, Ivan Beschastnikh et al.
· Proceedings of the 4th Works... · 0 citations