Copertina

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Britton, Matthew, Pak, Sasha, Potanin, Alex
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Coq implementation of a Theory of Tagged Objects
di: Gates, Matthew, et al.
Pubblicazione: (2025)

Proof Repair across Quotient Type Equivalences
di: Viola, Cosmo, et al.
Pubblicazione: (2023)

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

Equivalence Checking of ML GPU Kernels
di: Dubey, Kshitij, et al.
Pubblicazione: (2025)

Evaluating the Language-Based Security for Plugin Development
di: Liang, Naisheng, et al.
Pubblicazione: (2024)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
di: Amaral, Isabella Basso do, et al.
Pubblicazione: (2025)

Generating Equivalent Representations of Code By A Self-Reflection Approach
di: Li, Jia, et al.
Pubblicazione: (2024)

Interaction Equivalence
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

On Propositional Program Equivalence (extended abstract)
di: Kappé, Tobias
Pubblicazione: (2025)

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

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
di: Young, David, et al.
Pubblicazione: (2024)

Refuting Equivalence in Probabilistic Programs with Conditioning
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

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

Is Productivity in Quantum Programming Equivalent to Expressiveness?
di: Corrales-Garro, Francini, et al.
Pubblicazione: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)

Parametrizing Reads-From Equivalence for Predictive Monitoring
di: Farzan, Azadeh, et al.
Pubblicazione: (2026)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Leveraging LLMs to Automate Energy-Aware Refactoring of Parallel Scientific Codes
di: Dearing, Matthew T., et al.
Pubblicazione: (2025)

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

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

Automating Equational Proofs in Dirac Notation
di: Xu, Yingte, et al.
Pubblicazione: (2024)

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

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
di: He, Yang, et al.
Pubblicazione: (2024)

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
di: Young, Halley
Pubblicazione: (2026)

Validating Quantum State Preparation Programs (Extended Version)
di: Li, Liyi, et al.
Pubblicazione: (2025)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
di: Yin, Jiaqi, et al.
Pubblicazione: (2025)

Agentic Proof Automation: A Case Study
di: Xu, Yichen, et al.
Pubblicazione: (2026)

Auditing Rust Crates Effectively
di: Zoghbi, Lydia, et al.
Pubblicazione: (2026)

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

A High-level Synthesis Toolchain for the Julia Language
di: Short, Benedict, et al.
Pubblicazione: (2025)

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
di: Zhan, Bohua, et al.
Pubblicazione: (2024)

Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents
di: Li, Xinze, et al.
Pubblicazione: (2026)

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

Semantically Separating Nominal Wyvern for Usability and Decidability
di: Zhu, Yu Xiang, et al.
Pubblicazione: (2025)

Equivalence of Applicative Functors and Multifunctors
di: Abel, Andreas
Pubblicazione: (2024)

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

EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
di: Pomian, Dorin, et al.
Pubblicazione: (2024)

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