https://evian-zhang.github.io/awesome-rust-papers/feed.xmlAwesome Rust Papers2026-09-12T02:58:31.000Zhttps://github.com/jpmonette/feedEvian-Zhanghttps://github.com/Evian-ZhangBrowse, search and analyze a curated collection of Rust academic papers.<![CDATA[Automated Proof Generation for Rust Code via Self-Evolution]]>urn:awesome-rust-papers:safe2026-09-12T02:58:31.000Z<![CDATA[Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought]]>urn:awesome-rust-papers:vcot-bench2026-09-12T02:58:31.000Z<![CDATA[Evaluating and Improving Automated Repository-Level Rust Issue Resolution with LLM-based Agents]]>urn:awesome-rust-papers:rust-swe-bench2026-09-12T02:58:31.000Z<![CDATA[HarnessLLM: Rust Verification Harness Generation with Large Language Models]]>urn:awesome-rust-papers:harnessllm2026-09-12T02:58:31.000Z<![CDATA[Rusted Types: Static Detection of Rust Type Confusion Bugs]]>urn:awesome-rust-papers:derust2026-09-12T02:58:31.000Z<![CDATA[RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel]]>urn:awesome-rust-papers:rusyfuzz2026-09-12T02:58:31.000Z<![CDATA[SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence]]>urn:awesome-rust-papers:smartc2rust2026-09-12T02:58:31.000Z<![CDATA[A systematic exploration of C-to-rust code translation based on large language models: prompt strategies and automated repair]]>urn:awesome-rust-papers:rustflow2026-09-11T05:42:13.000Z<![CDATA[A tool-assisted approach to engineer domain-specific languages (DSLs) using Rust]]>urn:awesome-rust-papers:rust-dsl2026-09-11T05:42:13.000Z<![CDATA[Bigtools: a high-performance BigWig and BigBed library in Rust]]>urn:awesome-rust-papers:bigtools2026-09-11T05:42:13.000Z<![CDATA[Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code]]>urn:awesome-rust-papers:crema2026-09-11T05:42:13.000Z<![CDATA[Drinking From a Firehose While Herding Cats: A Search for Accountability in the Rust Open Source Community]]>urn:awesome-rust-papers:accountability2026-09-11T05:42:13.000Z<![CDATA[From C to verifiable Rust: Towards practical migration of code and specifications]]>urn:awesome-rust-papers:c2vr2026-09-11T05:42:13.000Z<![CDATA[Fuzzing trusted execution environments with Rust]]>urn:awesome-rust-papers:tee-fuzz2026-09-11T05:42:13.000Z<![CDATA[Hardening memory-safe languages: An empirical study of attack mitigations in rust and go binaries]]>urn:awesome-rust-papers:mitsbom2026-09-11T05:42:13.000Z<![CDATA[PyFgsea: a Rust-powered, fgseaMultilevel-aligned GSEA framework with rolling-window enrichment along single-cell trajectories]]>urn:awesome-rust-papers:pyfgsea2026-09-11T05:42:13.000Z<![CDATA[Rust-Bio: a fast and safe bioinformatics library]]>urn:awesome-rust-papers:rust-bio2026-09-11T05:42:13.000Z<![CDATA[Rust-Shyper: A reliable embedded hypervisor supporting VM migration and hypervisor live-update]]>urn:awesome-rust-papers:rust-shyper2026-09-11T05:42:13.000Z<![CDATA[Rust-doctor: Enhanced Feature for Rust Ownership and Lifetime Repair with Balanced Training Data Generation]]>urn:awesome-rust-papers:rust-doctor2026-09-11T05:42:13.000Z<![CDATA[SBD: Securing safe rust automatically from unsafe rust]]>urn:awesome-rust-papers:sbd2026-09-11T05:42:13.000Z<![CDATA[SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach]]>urn:awesome-rust-papers:safenet2026-09-11T05:42:13.000Z<![CDATA[Securing a Multiprocessor KVM Hypervisor with Rust]]>urn:awesome-rust-papers:krustvm2026-09-11T05:42:13.000Z<![CDATA[StarVerus: LLM-Powered Multi-Agent Collaboration for Industrial Rust Code Verification Automation]]>urn:awesome-rust-papers:starverus2026-09-11T05:42:13.000Z<![CDATA[Taming shared mutable states of operating systems in Rust]]>urn:awesome-rust-papers:xv6rust2026-09-11T05:42:13.000Z<![CDATA[Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes]]>urn:awesome-rust-papers:thetis-lathe2026-09-11T05:42:13.000Z<![CDATA[Tighten rust’s belt: shrinking embedded Rust binaries]]>urn:awesome-rust-papers:shrink-embedded-binary2026-09-11T05:42:13.000Z<![CDATA[Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust]]>urn:awesome-rust-papers:r2u2rust2026-09-11T05:42:13.000Z<![CDATA[Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems]]>urn:awesome-rust-papers:unishyper2026-09-11T05:42:13.000Z<![CDATA[Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors]]>urn:awesome-rust-papers:rustbrain2026-09-11T05:42:13.000Z<![CDATA[Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor]]>urn:awesome-rust-papers:hyperenclave2026-09-11T05:42:13.000Z<![CDATA["I wouldn't want my unsafe code to run my pacemaker": An Interview Study on the Use, Comprehension, and Perceived Risks of Unsafe Rust]]>urn:awesome-rust-papers:unsafe-rust-interview-study2026-08-30T12:49:41.000Z<![CDATA[&inator: Correct, Precise C-to-Rust Interface Translation]]>urn:awesome-rust-papers:refinator2026-08-30T12:49:41.000Z<![CDATA[A Closer Look at the Security Risks in the Rust Ecosystem]]>urn:awesome-rust-papers:ecosystem-security-risks2026-08-30T12:49:41.000Z<![CDATA[A Comprehensive Empirical and Theoretical Analysis of Batching Algorithms for Efficient, Safe, Parallel Mutation Analysis in Rust]]>urn:awesome-rust-papers:mutest2026-08-30T12:49:41.000Z<![CDATA[A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction]]>urn:awesome-rust-papers:rupta2026-08-30T12:49:41.000Z<![CDATA[A Deep Dive Into Deprecation Declarations in the Rust Package Ecosystem]]>urn:awesome-rust-papers:deprecation-declaration2026-08-30T12:49:41.000Z<![CDATA[A First Look at ROS 2 Applications Written in Asynchronous Rust]]>urn:awesome-rust-papers:ros2-application2026-08-30T12:49:41.000Z<![CDATA[A Grounded Conceptual Model for Ownership Types in Rust]]>urn:awesome-rust-papers:aquascope2026-08-30T12:49:41.000Z<![CDATA[A Hybrid Approach to Semi-Automated Rust Verification]]>urn:awesome-rust-papers:gillian-rust2026-08-30T12:49:41.000Z<![CDATA[A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust]]>urn:awesome-rust-papers:featherweightrust2026-08-30T12:49:41.000Z<![CDATA[A Mixed Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling]]>urn:awesome-rust-papers:unsafe-rust-implications2026-08-30T12:49:41.000Z<![CDATA[A Refinement Methodology for Distributed Programs in Rust]]>urn:awesome-rust-papers:refinement-distributed2026-08-30T12:49:41.000Z<![CDATA[A Study of Common Bug Fix Patterns in Rust]]>urn:awesome-rust-papers:ruxanne2026-08-30T12:49:41.000Z<![CDATA[A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries]]>urn:awesome-rust-papers:mirilli2026-08-30T12:49:41.000Z<![CDATA[A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC]]>urn:awesome-rust-papers:seabmc2026-08-30T12:49:41.000Z<![CDATA[ASTERINAS: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB]]>urn:awesome-rust-papers:asterinas2026-08-30T12:49:41.000Z<![CDATA[Adventure of a Lifetime: Extract Method Refactoring for Rust]]>urn:awesome-rust-papers:rem2026-08-30T12:49:41.000Z<![CDATA[Aeneas: Rust Verification by Functional Translation]]>urn:awesome-rust-papers:aeneas2026-08-30T12:49:41.000Z<![CDATA[Aliasing Limits on Translating C to Safe Rust]]>urn:awesome-rust-papers:laertes2026-08-30T12:49:41.000Z<![CDATA[An Empirical Analysis of Rust Integration in Android Open Source Project]]>urn:awesome-rust-papers:rust-android-integration-analysis2026-08-30T12:49:41.000Z<![CDATA[An Empirical Study of Bugs in the rustc Compiler]]>urn:awesome-rust-papers:rustc-bugs2026-08-30T12:49:41.000Z<![CDATA[An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise]]>urn:awesome-rust-papers:rust-for-linux-empirical2026-08-30T12:49:41.000Z<![CDATA[An Empirical Study of Yanked Releases in the Rust Package Registry]]>urn:awesome-rust-papers:yanked-releases2026-08-30T12:49:41.000Z<![CDATA[An Interactive Debugger for Rust Trait Errors]]>urn:awesome-rust-papers:argus2026-08-30T12:49:41.000Z<![CDATA[Assessing the Alignment between the Information Needs of Developers and the Documentation of Programming Languages: A Case Study on Rust]]>urn:awesome-rust-papers:rust-documentation-alignment2026-08-30T12:49:41.000Z<![CDATA[Atmosphere: Practical Verified Kernels with Rust and Verus]]>urn:awesome-rust-papers:atmosphere2026-08-30T12:49:41.000Z<![CDATA[Auditing Rust Crates Effectively]]>urn:awesome-rust-papers:cargo-scan2026-08-30T12:49:41.000Z<![CDATA[AutoVerus: Automated Proof Generation for Rust Code]]>urn:awesome-rust-papers:autoverus2026-08-30T12:49:41.000Z<![CDATA[Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials]]>urn:awesome-rust-papers:rarust2026-08-30T12:49:41.000Z<![CDATA[Automatically Enforcing Rust Trait Properties]]>urn:awesome-rust-papers:automatically-enforcing-rust-trait-properties2026-08-30T12:49:41.000Z<![CDATA[Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study]]>urn:awesome-rust-papers:rust-adoption2026-08-30T12:49:41.000Z<![CDATA[Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis]]>urn:awesome-rust-papers:rceus2026-08-30T12:49:41.000Z<![CDATA[Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust]]>urn:awesome-rust-papers:paniccheck2026-08-30T12:49:41.000Z<![CDATA[C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques]]>urn:awesome-rust-papers:c2saferrust2026-08-30T12:49:41.000Z<![CDATA[CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation]]>urn:awesome-rust-papers:crust-bench2026-08-30T12:49:41.000Z<![CDATA[Carapace: Static-Dynamic Information Flow Control in Rust]]>urn:awesome-rust-papers:carapace2026-08-30T12:49:41.000Z<![CDATA[Charon: An Analysis Framework for Rust]]>urn:awesome-rust-papers:charon2026-08-30T12:49:41.000Z<![CDATA[Clight2Rust: Translating a Subset of C into Safe Rust with a Small Trusted Runtime]]>urn:awesome-rust-papers:clight2rust2026-08-30T12:49:41.000Z<![CDATA[Clozemaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs]]>urn:awesome-rust-papers:clozemaster2026-08-30T12:49:41.000Z<![CDATA[Cocoon: Static Information Flow Control in Rust]]>urn:awesome-rust-papers:cocoon2026-08-30T12:49:41.000Z<![CDATA[CofferOS: Hardening OS-level Virtualization with Rust]]>urn:awesome-rust-papers:cofferos2026-08-30T12:49:41.000Z<![CDATA[Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness]]>urn:awesome-rust-papers:ruxt2026-08-30T12:49:41.000Z<![CDATA[Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security]]>urn:awesome-rust-papers:rust-security-perspective2026-08-30T12:49:41.000Z<![CDATA[ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs]]>urn:awesome-rust-papers:condrust2026-08-30T12:49:41.000Z<![CDATA[Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs]]>urn:awesome-rust-papers:concrat2026-08-30T12:49:41.000Z<![CDATA[Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency]]>urn:awesome-rust-papers:converos2026-08-30T12:49:41.000Z<![CDATA[Core Developer Turnover in the Rust Package Ecosystem: Prevalence, Impact, and Awareness]]>urn:awesome-rust-papers:core-developer-turnover2026-08-30T12:49:41.000Z<![CDATA[Cpp2Rust: Automatic Translation of C++ to Safe Rust]]>urn:awesome-rust-papers:cpp2rust2026-08-30T12:49:41.000Z<![CDATA[Crabtree: Rust API Test Synthesis Guided by Coverage and Type]]>urn:awesome-rust-papers:crabtree2026-08-30T12:49:41.000Z<![CDATA[Creusot: A Foundry for the Deductive Verification of Rust Programs]]>urn:awesome-rust-papers:creusot2026-08-30T12:49:41.000Z<![CDATA[Cross-Language Attacks]]>urn:awesome-rust-papers:cross-language-attacks2026-08-30T12:49:41.000Z<![CDATA[Crust: A Bounded Verifier for Rust]]>urn:awesome-rust-papers:crust2026-08-30T12:49:41.000Z<![CDATA[Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types]]>urn:awesome-rust-papers:rumpsteak2026-08-30T12:49:41.000Z<![CDATA[Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem]]>urn:awesome-rust-papers:unstable-features2026-08-30T12:49:41.000Z<![CDATA[Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment]]>urn:awesome-rust-papers:deptrans2026-08-30T12:49:41.000Z<![CDATA[Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation]]>urn:awesome-rust-papers:sugbreaker2026-08-30T12:49:41.000Z<![CDATA[Detecting Cross-Language Memory Management Issues in Rust]]>urn:awesome-rust-papers:ffichecker2026-08-30T12:49:41.000Z<![CDATA[Don't Panic! Finding Bugs Hidden Behind Rust Runtime Safety Checks]]>urn:awesome-rust-papers:panickiller2026-08-30T12:49:41.000Z<![CDATA[Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation]]>urn:awesome-rust-papers:nopcrat2026-08-30T12:49:41.000Z<![CDATA[ERASan: Efficient Rust Address Sanitizer]]>urn:awesome-rust-papers:erasan2026-08-30T12:49:41.000Z<![CDATA[Engineering the Servo Web Browser Engine Using Rust]]>urn:awesome-rust-papers:servo2026-08-30T12:49:41.000Z<![CDATA[Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion]]>urn:awesome-rust-papers:verusseek2026-08-30T12:49:41.000Z<![CDATA[EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation]]>urn:awesome-rust-papers:evoc2rust2026-08-30T12:49:41.000Z<![CDATA[FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation]]>urn:awesome-rust-papers:fries2026-08-30T12:49:41.000Z<![CDATA[Fearless Asynchronous Communications with Timed Multiparty Session Protocols]]>urn:awesome-rust-papers:multicrustyt2026-08-30T12:49:41.000Z<![CDATA[Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software]]>urn:awesome-rust-papers:fearless-concurrency2026-08-30T12:49:41.000Z<![CDATA[Ferrite: A Judgmental Embedding of Session Types in Rust]]>urn:awesome-rust-papers:ferrite2026-08-30T12:49:41.000Z<![CDATA[Finding Performance Issues in Rust Projects]]>urn:awesome-rust-papers:finding-performance-issues2026-08-30T12:49:41.000Z<![CDATA[Firecracker: Lightweight Virtualization for Serverless Applications]]>urn:awesome-rust-papers:firecracker2026-08-30T12:49:41.000Z<![CDATA[Flux: Liquid Types for Rust]]>urn:awesome-rust-papers:flux2026-08-30T12:49:41.000Z<![CDATA[Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis]]>urn:awesome-rust-papers:forcrat2026-08-30T12:49:41.000Z<![CDATA[Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust]]>urn:awesome-rust-papers:crypto-verification2026-08-30T12:49:41.000Z<![CDATA[Formal Verification of a Rust-Based Buddy Physical Memory Allocator]]>urn:awesome-rust-papers:verify-utmanager2026-08-30T12:49:41.000Z<![CDATA[Formally Understanding Rust's Ownership and Borrowing System at the Memory Level]]>urn:awesome-rust-papers:rustsem2026-08-30T12:49:41.000Z<![CDATA[Fortifying the Seams Between C/C++ and Rust: Characterizing Bugs in Interop Tools]]>urn:awesome-rust-papers:interop-tool-bugs2026-08-30T12:49:41.000Z<![CDATA[From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust]]>urn:awesome-rust-papers:pincer2026-08-30T12:49:41.000Z<![CDATA[Fuzzing the Rust Typechecker Using CLP (T)]]>urn:awesome-rust-papers:clp2026-08-30T12:49:41.000Z<![CDATA[Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector]]>urn:awesome-rust-papers:bronze2026-08-30T12:49:41.000Z<![CDATA[Garbage Collection for Rust: The Finalizer Frontier]]>urn:awesome-rust-papers:alloy2026-08-30T12:49:41.000Z<![CDATA[GenC2Rust: Towards Generating Generic Rust Code from C]]>urn:awesome-rust-papers:genc2rust2026-08-30T12:49:41.000Z<![CDATA[GhostCell: Separating Permissions from Data in Rust]]>urn:awesome-rust-papers:ghostcell2026-08-30T12:49:41.000Z<![CDATA[Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust]]>urn:awesome-rust-papers:hayroll2026-08-30T12:49:41.000Z<![CDATA[How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project]]>urn:awesome-rust-papers:paid-volunteer-rust2026-08-30T12:49:41.000Z<![CDATA[How Do Programmers Use Unsafe Rust?]]>urn:awesome-rust-papers:qrates2026-08-30T12:49:41.000Z<![CDATA[Implementing Multiparty Session Types in Rust]]>urn:awesome-rust-papers:mpst-rust2026-08-30T12:49:41.000Z<![CDATA[Improving Automatic C-to-Rust Translation with Static Analysis]]>urn:awesome-rust-papers:c2rust-static-analysis2026-08-30T12:49:41.000Z<![CDATA[In rust we trust: a transpiler from unsafe C to safer rust]]>urn:awesome-rust-papers:crusts22026-08-30T12:49:41.000Z<![CDATA[Integrating Rules and Semantics for LLM-Based C-to-Rust Translation]]>urn:awesome-rust-papers:irene2026-08-30T12:49:41.000Z<![CDATA[Is Rust Used Safely by Software Developers?]]>urn:awesome-rust-papers:is-rust-used-safely2026-08-30T12:49:41.000Z<![CDATA[Is Unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming]]>urn:awesome-rust-papers:achilles-heel2026-08-30T12:49:41.000Z<![CDATA[KRust: A Formal Executable Semantics of Rust]]>urn:awesome-rust-papers:krust2026-08-30T12:49:41.000Z<![CDATA[Kani: A Model Checker for Rust]]>urn:awesome-rust-papers:kani2026-08-30T12:49:41.000Z<![CDATA[Keeping Safe Rust Safe with Galeed]]>urn:awesome-rust-papers:galeed2026-08-30T12:49:41.000Z<![CDATA[Learning and Programming Challenges of Rust: A Mixed-Methods Study]]>urn:awesome-rust-papers:rust-programming-challenges2026-08-30T12:49:41.000Z<![CDATA[Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency]]>urn:awesome-rust-papers:rustc42026-08-30T12:49:41.000Z<![CDATA[Leveraging Rust Types for Modular Specification and Verification]]>urn:awesome-rust-papers:prusti2026-08-30T12:49:41.000Z<![CDATA[Leveraging Rust Types for Program Synthesis]]>urn:awesome-rust-papers:russol2026-08-30T12:49:41.000Z<![CDATA[Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs]]>urn:awesome-rust-papers:rust-cves2026-08-30T12:49:41.000Z<![CDATA[MetaSafe: Compiling for Protecting Smart Pointer Metadata to Ensure Safe Rust Integrity]]>urn:awesome-rust-papers:metasafe2026-08-30T12:49:41.000Z<![CDATA[MinsC2Rust: LLM-driven project-level code migration from C to safe Rust]]>urn:awesome-rust-papers:minc2rust2026-08-30T12:49:41.000Z<![CDATA[MirChecker: Detecting Bugs in Rust Programs via Static Analysis]]>urn:awesome-rust-papers:mirchecker2026-08-30T12:49:41.000Z<![CDATA[Miri: Practical Undefined Behavior Detection for Rust]]>urn:awesome-rust-papers:miri2026-08-30T12:49:41.000Z<![CDATA[Modular Specification and Verification of Closures in Rust]]>urn:awesome-rust-papers:prusti-closures2026-08-30T12:49:41.000Z<![CDATA[Modular information flow through ownership]]>urn:awesome-rust-papers:flowistry2026-08-30T12:49:41.000Z<![CDATA[Multiprogramming a 64kB Computer Safely and Efficiently]]>urn:awesome-rust-papers:tock2026-08-30T12:49:41.000Z<![CDATA[No Panic! Verification of Rust Programs by Symbolic Execution]]>urn:awesome-rust-papers:cargo-klee2026-08-30T12:49:41.000Z<![CDATA[OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach]]>urn:awesome-rust-papers:oom-guard2026-08-30T12:49:41.000Z<![CDATA[On the Dual Nature of Necessity in Use of Rust Unsafe Code]]>urn:awesome-rust-papers:dual-nature-unsafe2026-08-30T12:49:41.000Z<![CDATA[On the Termination of Borrow Checking in Featherweight Rust]]>urn:awesome-rust-papers:featherweight-termination2026-08-30T12:49:41.000Z<![CDATA[Ownership Guided C to Rust Translation]]>urn:awesome-rust-papers:crown2026-08-30T12:49:41.000Z<![CDATA[Oxide: The Essence of Rust]]>urn:awesome-rust-papers:oxide2026-08-30T12:49:41.000Z<![CDATA[Oxidizer: Toward Concise and High-fidelity Rust Decompilation]]>urn:awesome-rust-papers:oxidizer2026-08-30T12:49:41.000Z<![CDATA[PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage]]>urn:awesome-rust-papers:palm2026-08-30T12:49:41.000Z<![CDATA[PKRU-safe: automatically locking down the heap between safe and unsafe languages]]>urn:awesome-rust-papers:pkru-safe2026-08-30T12:49:41.000Z<![CDATA[PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs]]>urn:awesome-rust-papers:panicfi2026-08-30T12:49:41.000Z<![CDATA[Patina: A Formalization of the Rust Programming Language]]>urn:awesome-rust-papers:patina2026-08-30T12:49:41.000Z<![CDATA[Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees]]>urn:awesome-rust-papers:place-capability-graphs2026-08-30T12:49:41.000Z<![CDATA[Project-Level C-to-Rust Translation via Pointer Knowledge Graphs]]>urn:awesome-rust-papers:ptrtrans2026-08-30T12:49:41.000Z<![CDATA[RPG: Rust Library Fuzzing with Pool-Based Fuzz Target Generation and Generic Support]]>urn:awesome-rust-papers:rpg2026-08-30T12:49:41.000Z<![CDATA[RULF: Rust Library Fuzzing via API Dependency Graph Traversal]]>urn:awesome-rust-papers:rulf2026-08-30T12:49:41.000Z<![CDATA[RUSTMC: Automated Verification of Real-World Concurrent Rust]]>urn:awesome-rust-papers:rustmc2026-08-30T12:49:41.000Z<![CDATA[Raw Pointer Rewriting with LLMs for Translating C to Safer Rust]]>urn:awesome-rust-papers:pr22026-08-30T12:49:41.000Z<![CDATA[RedLeaf: Isolation and Communication in a Safe Operating System]]>urn:awesome-rust-papers:redleaf2026-08-30T12:49:41.000Z<![CDATA[RefinedRust: A Type System for High-Assurance Verification of Rust Programs]]>urn:awesome-rust-papers:refinedrust2026-08-30T12:49:41.000Z<![CDATA[RuMono: Fuzz Driver Synthesis for Rust Generic APIs]]>urn:awesome-rust-papers:rumono2026-08-30T12:49:41.000Z<![CDATA[Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning]]>urn:awesome-rust-papers:ruby2026-08-30T12:49:41.000Z<![CDATA[Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale]]>urn:awesome-rust-papers:rudra2026-08-30T12:49:41.000Z<![CDATA[Rug: Turbo LLM for Rust Unit Test Generation]]>urn:awesome-rust-papers:rug2026-08-30T12:49:41.000Z<![CDATA[Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust]]>urn:awesome-rust-papers:rupair2026-08-30T12:49:41.000Z<![CDATA[RusTEE: Developing Memory-Safe ARM TrustZone Applications]]>urn:awesome-rust-papers:rustee2026-08-30T12:49:41.000Z<![CDATA[Rust as a Language for High Performance GC Implementation]]>urn:awesome-rust-papers:rust-immix2026-08-30T12:49:41.000Z<![CDATA[Rust for Embedded Systems: Current State and Open Problems]]>urn:awesome-rust-papers:rust-for-embedded-systems2026-08-30T12:49:41.000Z<![CDATA[Rust for Linux: Understanding the Security Impact of Rust in the Linux Kernel]]>urn:awesome-rust-papers:rust-for-linux-security2026-08-30T12:49:41.000Z<![CDATA[Rust for Morello: Always-On Memory Safety, Even in Unsafe Code]]>urn:awesome-rust-papers:rust-morello2026-08-30T12:49:41.000Z<![CDATA[Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation]]>urn:awesome-rust-papers:rust-lancet2026-08-30T12:49:41.000Z<![CDATA[Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation]]>urn:awesome-rust-papers:rust-twins2026-08-30T12:49:41.000Z<![CDATA[RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code]]>urn:awesome-rust-papers:rustassistant2026-08-30T12:49:41.000Z<![CDATA[RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code]]>urn:awesome-rust-papers:rustassure2026-08-30T12:49:41.000Z<![CDATA[RustBelt Meets Relaxed Memory]]>urn:awesome-rust-papers:rustbelt-concurrency2026-08-30T12:49:41.000Z<![CDATA[RustBelt: Securing the Foundations of the Rust Programming Language]]>urn:awesome-rust-papers:rustbelt2026-08-30T12:49:41.000Z<![CDATA[RustC4++: Improving Rust Code-Comment Inconsistency Detection via Hybrid LLM and Static Analysis]]>urn:awesome-rust-papers:rustc4pp2026-08-30T12:49:41.000Z<![CDATA[RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust]]>urn:awesome-rust-papers:rustcompcert2026-08-30T12:49:41.000Z<![CDATA[RustHorn: CHC-Based Verification for Rust Programs]]>urn:awesome-rust-papers:rusthorn2026-08-30T12:49:41.000Z<![CDATA[RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code]]>urn:awesome-rust-papers:rusthornbelt2026-08-30T12:49:41.000Z<![CDATA[RustLIVE: Reducing the Learning Barriers of Rust Through Visualization]]>urn:awesome-rust-papers:rustlive2026-08-30T12:49:41.000Z<![CDATA[RustRepoTrans: Repository-level Context Code Translation Benchmark Targeting Rust]]>urn:awesome-rust-papers:rustrepotrans2026-08-30T12:49:41.000Z<![CDATA[RustSan: Retrofitting AddressSanitizer for Efficient Sanitization of Rust]]>urn:awesome-rust-papers:rustsan2026-08-30T12:49:41.000Z<![CDATA[RustSmith: Random Differential Compiler Testing for Rust]]>urn:awesome-rust-papers:rustsmith2026-08-30T12:49:41.000Z<![CDATA[RustViz: Interactively Visualizing Ownership and Borrowing]]>urn:awesome-rust-papers:rustviz2026-08-30T12:49:41.000Z<![CDATA[Rustlantis: Randomized Differential Testing of the Rust Compiler]]>urn:awesome-rust-papers:rustlantis2026-08-30T12:49:41.000Z<![CDATA[Rusty Variation: Deadlock-free Sessions with Failure in Rust]]>urn:awesome-rust-papers:rusty-variation2026-08-30T12:49:41.000Z<![CDATA[RustyDL: A Program Logic for Rust]]>urn:awesome-rust-papers:rustydl2026-08-30T12:49:41.000Z<![CDATA[RustyRTS: Regression Test Selection for Rust]]>urn:awesome-rust-papers:rustyrts2026-08-30T12:49:41.000Z<![CDATA[SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification]]>urn:awesome-rust-papers:sactor2026-08-30T12:49:41.000Z<![CDATA[Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs]]>urn:awesome-rust-papers:safe4u2026-08-30T12:49:41.000Z<![CDATA[SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis]]>urn:awesome-rust-papers:safedrop2026-08-30T12:49:41.000Z<![CDATA[Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust]]>urn:awesome-rust-papers:nader2026-08-30T12:49:41.000Z<![CDATA[Sandcrust: Automatic sandboxing of unsafe components in rust]]>urn:awesome-rust-papers:sandcrust2026-08-30T12:49:41.000Z<![CDATA[Scylla: Translating an Applicative Subset of C to Safe Rust]]>urn:awesome-rust-papers:scylla2026-08-30T12:49:41.000Z<![CDATA[Search-Based Test Suite Generation for Rust]]>urn:awesome-rust-papers:rustyunit2026-08-30T12:49:41.000Z<![CDATA[Securing Mixed Rust with Hardware Capabilities]]>urn:awesome-rust-papers:capslock2026-08-30T12:49:41.000Z<![CDATA[Securing Unsafe Rust Programs with XRust]]>urn:awesome-rust-papers:xrust2026-08-30T12:49:41.000Z<![CDATA[Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems]]>urn:awesome-rust-papers:unsafe-encapsulation2026-08-30T12:49:41.000Z<![CDATA[Session Types for Rust]]>urn:awesome-rust-papers:session-types2026-08-30T12:49:41.000Z<![CDATA[Sound Borrow-Checking for Rust via Symbolic Semantics]]>urn:awesome-rust-papers:sound-borrow-checking-rust2026-08-30T12:49:41.000Z<![CDATA[Specifying and Verifying Higher-Order Rust Iterators]]>urn:awesome-rust-papers:iterator-verify2026-08-30T12:49:41.000Z<![CDATA[SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency]]>urn:awesome-rust-papers:squirrelfs2026-08-30T12:49:41.000Z<![CDATA[Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis]]>urn:awesome-rust-papers:stack-filtering2026-08-30T12:49:41.000Z<![CDATA[Stacked Borrows: An Aliasing Model for Rust]]>urn:awesome-rust-papers:stacked-borrows2026-08-30T12:49:41.000Z<![CDATA[Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types]]>urn:awesome-rust-papers:multicrusty2026-08-30T12:49:41.000Z<![CDATA[Surveying the Rust Verification Landscape]]>urn:awesome-rust-papers:verification-landscape-survey2026-08-30T12:49:41.000Z<![CDATA[SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis]]>urn:awesome-rust-papers:syrust2026-08-30T12:49:41.000Z<![CDATA[SymRustC: A Hybrid Fuzzer for Rust]]>urn:awesome-rust-papers:symrustc2026-08-30T12:49:41.000Z<![CDATA[System Programming in Rust: Beyond Safety]]>urn:awesome-rust-papers:system-programming-rust2026-08-30T12:49:41.000Z<![CDATA[Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis]]>urn:awesome-rust-papers:syzygy2026-08-30T12:49:41.000Z<![CDATA[TRust: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code]]>urn:awesome-rust-papers:trust2026-08-30T12:49:41.000Z<![CDATA[TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs]]>urn:awesome-rust-papers:typepulse2026-08-30T12:49:41.000Z<![CDATA[The Prusti Project: Formal Verification for Rust]]>urn:awesome-rust-papers:prusti-project2026-08-30T12:49:41.000Z<![CDATA[The Rust Language]]>urn:awesome-rust-papers:rust-language2026-08-30T12:49:41.000Z<![CDATA[Theseus: An Experiment in Operating System Structure and State Management]]>urn:awesome-rust-papers:theseus2026-08-30T12:49:41.000Z<![CDATA[Thrust: A Prophecy-Based Refinement Type System for Rust]]>urn:awesome-rust-papers:thrust2026-08-30T12:49:41.000Z<![CDATA[TickTock: Verified Isolation in a Production Embedded OS]]>urn:awesome-rust-papers:ticktock2026-08-30T12:49:41.000Z<![CDATA[To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions]]>urn:awesome-rust-papers:urcrat2026-08-30T12:49:41.000Z<![CDATA[Tock: From Research To Securing 10 Million Computers]]>urn:awesome-rust-papers:tock-20252026-08-30T12:49:41.000Z<![CDATA[Towards Memory Safe Enclave Programming with Rust-SGX]]>urn:awesome-rust-papers:rust-sgx2026-08-30T12:49:41.000Z<![CDATA[Towards Repository-Level Program Verification with Large Language Models]]>urn:awesome-rust-papers:ragverus2026-08-30T12:49:41.000Z<![CDATA[Towards Translating Real-World Code with LLMs: A Study of Translating to Rust]]>urn:awesome-rust-papers:flourine2026-08-30T12:49:41.000Z<![CDATA[Towards Understanding the Runtime Performance of Rust]]>urn:awesome-rust-papers:runtime-performance2026-08-30T12:49:41.000Z<![CDATA[Towards making formal methods normal: meeting developers where they are]]>urn:awesome-rust-papers:rvt2026-08-30T12:49:41.000Z<![CDATA[Translating C To Rust: Lessons from a User Study]]>urn:awesome-rust-papers:c-to-rust-user-study2026-08-30T12:49:41.000Z<![CDATA[Translating C to Safer Rust]]>urn:awesome-rust-papers:translating-c-safer-rust2026-08-30T12:49:41.000Z<![CDATA[Tree Borrows]]>urn:awesome-rust-papers:tree-borrows2026-08-30T12:49:41.000Z<![CDATA[Trusting Code in the Wild: Exploring Contributor Reputation Measures to Review Dependencies in the Rust Ecosystem]]>urn:awesome-rust-papers:trusting-code-in-the-wild2026-08-30T12:49:41.000Z<![CDATA[Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs]]>urn:awesome-rust-papers:rcchecker2026-08-30T12:49:41.000Z<![CDATA[Type-Migrating C-to-Rust Translation Using a Large Language Model]]>urn:awesome-rust-papers:tymcrat2026-08-30T12:49:41.000Z<![CDATA[Understanding Atomics and Memory Ordering Issues in Real-World Rust Software]]>urn:awesome-rust-papers:atomvchecker2026-08-30T12:49:41.000Z<![CDATA[Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs]]>urn:awesome-rust-papers:memory-thread-safety2026-08-30T12:49:41.000Z<![CDATA[Understanding and Detecting Real-World Safety Issues in Rust]]>urn:awesome-rust-papers:lockbud2026-08-30T12:49:41.000Z<![CDATA[Unleashing the Efficiency of Rust: An Empirical Study of Performance Bugs in Rust Projects]]>urn:awesome-rust-papers:rust-performance-study2026-08-30T12:49:41.000Z<![CDATA[Unleashing the Power of Clippy in Real-World Rust Projects]]>urn:awesome-rust-papers:unleashing-power-clippy2026-08-30T12:49:41.000Z<![CDATA[UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking]]>urn:awesome-rust-papers:unsafecop2026-08-30T12:49:41.000Z<![CDATA[Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust]]>urn:awesome-rust-papers:ghost-ownership2026-08-30T12:49:41.000Z<![CDATA[VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models]]>urn:awesome-rust-papers:vert2026-08-30T12:49:41.000Z<![CDATA[VRLifeTime - An IDE Tool to Avoid Concurrency and Memory Bugs in Rust]]>urn:awesome-rust-papers:vrlifetime2026-08-30T12:49:41.000Z<![CDATA[Verifying Dynamic Trait Objects in Rust]]>urn:awesome-rust-papers:trait-objects2026-08-30T12:49:41.000Z<![CDATA[Verifying Rust Programs with SMACK]]>urn:awesome-rust-papers:smack2026-08-30T12:49:41.000Z<![CDATA[Verifying the Rust Standard Library]]>urn:awesome-rust-papers:verify-rust-std2026-08-30T12:49:41.000Z<![CDATA[Verus: A Practical Foundation for Systems Verification]]>urn:awesome-rust-papers:verus-practical-foundation2026-08-30T12:49:41.000Z<![CDATA[Verus: Verifying Rust Programs Using Linear Ghost Types]]>urn:awesome-rust-papers:verus2026-08-30T12:49:41.000Z<![CDATA[VerusBelt: A Semantic Foundation for Verus's Proof-Oriented Extensions to the Rust Type System]]>urn:awesome-rust-papers:verusbelt2026-08-30T12:49:41.000Z<![CDATA[Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust]]>urn:awesome-rust-papers:vest2026-08-30T12:49:41.000Z<![CDATA[When Is Parallelism Fearless and Zero-Cost with Rust?]]>urn:awesome-rust-papers:fearless-parallelism2026-08-30T12:49:41.000Z<![CDATA[Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language]]>urn:awesome-rust-papers:yuga2026-08-30T12:49:41.000Z<![CDATA[deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses]]>urn:awesome-rust-papers:deepsurf2026-08-30T12:49:41.000Z<![CDATA[hax: Verifying Security-Critical Rust Software Using Multiple Provers]]>urn:awesome-rust-papers:hax2026-08-30T12:49:41.000Z<![CDATA[rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in Rust]]>urn:awesome-rust-papers:rcanary2026-08-30T12:49:41.000Z