Cover Image

Crux, a Precise Verifier for Rust and Other Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pernsteiner, Stuart, Diatchki, Iavor S., Dockins, Robert, Dodds, Mike, Hendrix, Joe, Ravich, Tristan, Redmond, Patrick, Scott, Ryan, Tomb, Aaron
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
by: Scott, Ryan G., et al.
Published: (2024)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
by: Wu, Jinhua, et al.
Published: (2026)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
by: Blanc, Alex Le, et al.
Published: (2025)

Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
by: Chen, Victor, et al.
Published: (2026)

Inductive diagrams for causal reasoning
by: Castello, Jonathan, et al.
Published: (2023)

a¿Por qué pagar primas por la compra de un hotel? / Carol Pernsteiner, Alan Gart
by: Pernsteiner, Carol

Citizen Access to Government and Other Information.
by: Ryan, Joe, et al.
Published: (1997)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)

NPB-Rust: NAS Parallel Benchmarks in Rust
by: Martins, Eduardo M., et al.
Published: (2025)

PermRust: A Token-based Permission System for Rust
by: Gehring, Lukas, et al.
Published: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
by: Pearce, Oliver, et al.
Published: (2025)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
by: Oishi, Mebuki, et al.
Published: (2025)

Charon: An Analysis Framework for Rust
by: Ho, Son, et al.
Published: (2024)

Auditing Rust Crates Effectively
by: Zoghbi, Lydia, et al.
Published: (2026)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

Annotating and Auditing the Safety Properties of Unsafe Rust
by: Rao, Zihao, et al.
Published: (2025)

Cocoon: Static Information Flow Control in Rust
by: Lamba, Ada, et al.
Published: (2023)

Tinkering with Technology: A Library Workshop to Support 4-H Youth Development
by: Hendrix, Beth, et al.
Published: (2017)

Corporate Environmental Responsibility and Cost of Equity Capital: A Meta‐Analytical Review
by: Robert Witte, et al.
Published: (2026)

An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, et al.
Published: (2025)

Garbage Collection for Rust: The Finalizer Frontier
by: Hughes, Jacob, et al.
Published: (2025)

A Hybrid Approach to Semi-automated Rust Verification
by: Ayoun, Sacha-Élie, et al.
Published: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
by: Fromherz, Aymeric, et al.
Published: (2024)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
by: Liu, Zixi, et al.
Published: (2025)

Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)

Reimplementing Mizar in Rust
by: Carneiro, Mario
Published: (2023)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
by: Matsushita, Yusuke, et al.
Published: (2026)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
by: Sim, HoHyun, et al.
Published: (2025)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

Suki: Choreographed Distributed Dataflow in Rust
by: Laddad, Shadaj, et al.
Published: (2024)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
by: Dehghan, Saman, et al.
Published: (2025)

Filament: Denning-Style Information Flow Control for Rust
by: Ching, Jeffrey C., et al.
Published: (2026)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
by: Braunsdorf, Oliver, et al.
Published: (2025)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
by: Lian, Qihao, et al.
Published: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)