AutoSOUP: Safety-Oriented Unit Proof Generation for Memory-Safety Verification
Paschal Amusuo, Ricardo Calvo, Dharun Anandayuvaraj, Taylor Le Lievre, Kevin Kolyakov, Elijah Jorgensen, Aravind Machiry, James C Davis
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety VerificationPaschal C Amusuo, Owen Cochell, Taylor Le Lievre, Parth V Patil 等ICSE 2026 · 被引用 1 次
- AutoSVA: Democratizing Formal Verification of RTL Module InteractionsMarcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret MartonosiDAC 2021 · 被引用 30 次
- MetaSafe: Compiling for Protecting Smart Pointer Metadata to Ensure Safe Rust IntegrityMartin Kayondo, Inyoung Bang, Yeongjun Kwak, Hyungon Moon 等USENIX Security 2024 · 被引用 2 次
- Toward Liveness Proofs at ScaleKenneth L. McMillanCAV 2024 · 被引用 4 次
- Verifying Secure Speculation in Isabelle/HOLMatt Griffin, Brijesh DongolFM 2021 · 被引用 6 次
