articles with tag "Rust"

• 论文讲解：Securing A Multiprocessor KVM Hypervisor with Rust (SoCC '24)
• 2024.11.28 Syswonder 组会报告 Linux hvc, Rust Code Formal Verification
• 【论文笔记|036】Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale|Rudra：从软件生态角度寻找Rust中的内存安全bug
• 【论文笔记|024】An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise | Rust-for-Linux 的实证研究：成功、不满与妥协
• 【论文笔记|023】DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency | DRust：细粒度、透明、高效的编程语言引导的分布式共享内存