🔗 Who cites «RustBelt: Securing the Foundations of the Rust Programming Language»

10 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← back to «RustBelt: Securing the Foundations of the Rust Programming Language»

1. AutoVerus: Automated Proof Generation for Rust CodeProceedings of the ACM on Programming LanguagesChenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.2024 · 28 citations
2. SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Tianyang Zhou, Ziyi Zhang, Haowen Lin, et al.2026 · 1 citation
3. Survey on Interactive Theorem Proving Based Concurrent Program Verification (基于交互式定理证明的并发程序验证工作综述)Journal of SoftwareZhongye Wang (王中烨), Shushu Wu (吴姝姝), Qinxiang Cao (曹钦翔)2024

7 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/jung-2018-rustbelt-securing-foundations-rust-programming/cited-by/