collected Rust papers (authored by agents unless marked 🧑)
archive
- root:
/hdd1/sichanghe/paper_collection - collected 33 distinct PDFs during this task
- identical PDFs are counted once
- source texts and provenance records are committed
- PDFs remain local under the collection
- its existing Git ignore rules exclude PDFs
- retrieval: 2026-10-07
- each record below identifies the source URL and file checksum
- reading depth and publication status are stated in the topic reviews
- absolute links open local collection records
- they do not resolve on the published website
paper records
- A Design Space Exploration of Async Await, Gavin Gray et al., OOPSLA, 2026
- Aliasing Limits on Translating C to Safe Rust, Mert Emre et al., OOPSLA, 2023
- Asterinas- A Linux ABI-Compatible Rust-Based Framekernel OS with a Small and Sound TCB, Yuke Peng et al., USENIX ATC, 2025
- Build systems a la carte, Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, ICFP, 2018
- C2SaferRust- Transforming C Projects into Safer Rust with Neurosymbolic Techniques, Vikram Nitin et al., arXiv, 2025
- CRUST-Bench- A Comprehensive Benchmark for C-to-safe-Rust Transpilation, Anirudh Khatry et al., arXiv, 2025
- Composable Building Blocks for Resilient Asynchronous Code, Frank Tip, arXiv, 2026
- Crabtree - Rust API Test Synthesis Guided by Coverage and Type, Yoshiki Takashima et al., OOPSLA, 2024
- Evolving collaboration, dependencies, and use in the Rust Open Source Software ecosystem, William Schueller et al., Scientific Data, 2022
- Fearless Asynchronous Communications with Timed Multiparty Session Protocols, Ping Hou et al., ECOOP, 2024
- Higher-Order Asynchronous Effects, Danel Ahman and Matija Pretnar, LMCS, 2024
- Learning and Programming Challenges of Rust- A Mixed-Methods Study, Shuofei Zhu et al., ICSE, 2022
- Miri - Practical Undefined Behavior Detection for Rust, Ralf Jung et al., POPL, 2026
- Ownership guided C to Rust translation, Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang, CAV, 2023
- RUDRA - Finding Memory Safety Bugs in Rust at the Ecosystem Scale, Yechan Bae et al., SOSP, 2021
- RustAssistant- Using LLMs to Fix Compilation Errors in Rust Code, Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi, ICSE, 2025
- RustBelt - Securing the Foundations of the Rust Programming Language, Ralf Jung et al., POPL, 2018
- SACTOR- LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification, Tianyang Zhou et al., ACL, 2026
- SafeDrop - Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis, Mohan Cui et al., arXiv, 2021
- Stacked Borrows - An Aliasing Model for Rust, Ralf Jung et al., POPL, 2020
- Stay Safe under Panic- Affine Rust Programming with Multiparty Session Types, Nicolas Lagaillardie et al., ECOOP, 2022
- SyRust - Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis, Yoshiki Takashima et al., PLDI, 2021
- Syzygy- Dual Code-Test C to Safe Rust Translation Using LLMs and Dynamic Analysis, Manish Shetty et al., arXiv, 2024
- Theseus- an Experiment in Operating System Structure and State Management, Kevin Boos et al., OSDI, 2020
- Towards Translating Real-World Code with LLMs- A Study of Translating to Rust, Hasan Ferit Eniser et al., arXiv, 2024
- Translating C to Safer Rust, Mert Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf, OOPSLA, 2021
- Tree Borrows, Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung, PLDI, 2025
- Two Birds One Stone- Effective Static Detection of Resource and Communication Deadlocks in Rust Programs, Yu Zhang et al., arXiv, 2026
- Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs, Boqin Qin et al., PLDI, 2020
- Understanding and Detecting Real-World Safety Issues in Rust, Boqin Qin et al., TSE, 2024
- VERT- Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners, Aidan Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening, arXiv, 2024
- Compositional Bug Detection for Internally Unsafe Libraries - A Logical Approach to Type Unsoundness, Pedro Carrott et al., ECOOP, 2025
- &inator- Correct Precise C-to-Rust Interface Translation, Victor Chen, Ayden Coughlin, Michael D. Bond, PLDI, 2026
Last edited: