Imagen de Portada

Charon: An Analysis Framework for Rust

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ho, Son, Boisseau, Guillaume, Franceschino, Lucas, Prak, Yoann, Fromherz, Aymeric, Protzenko, Jonathan
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
por: Reitz, Antonin, et al.
Publicado: (2024)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
por: Monat, Raphaël, et al.
Publicado: (2024)

CUTECat: Concolic Execution for Computational Law
por: Goutagny, Pierre, et al.
Publicado: (2024)

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

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

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

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

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

Auditing Rust Crates Effectively
por: Zoghbi, Lydia, et al.
Publicado: (2026)

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

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

Incremental Proof Development in Dafny with Module-Based Induction
por: Ho, Son, et al.
Publicado: (2024)

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

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

Charon: A Unified and Fine-Grained Simulator for Large-Scale LLM Training and Inference
por: Yang, Mengtian, et al.
Publicado: (2026)

Crux, a Precise Verifier for Rust and Other Languages
por: Pernsteiner, Stuart, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
por: Grannan, Zachary, et al.
Publicado: (2025)

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

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

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

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

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
por: Britton, Matthew, et al.
Publicado: (2026)

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

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

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
por: Rao, Zihao, et al.
Publicado: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
por: Zhou, Zixu
Publicado: (2025)

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

An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
por: Jacobs, Bart, et al.
Publicado: (2025)

Reimplementing Mizar in Rust
por: Carneiro, Mario
Publicado: (2023)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
por: Zhou, Tianyang, et al.
Publicado: (2025)