Copertina

HELIX: Verified compilation of cyber-physical control systems to LLVM IR

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zaliva, Vadim, Zakowski, Yannick, Zaichuk, Ilia, Huhnin, Valerii, Beck, Calvin, Yoon, Irene, Zdancewic, Steve
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 Two-Phase Infinite/Finite Low-Level Memory Model
di: Beck, Calvin, et al.
Pubblicazione: (2024)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Functional Meaning for Parallel Streaming
di: Rioux, Nick, et al.
Pubblicazione: (2025)

Optimal Program Synthesis via Abstract Interpretation
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization
di: Fang, Shihan, et al.
Pubblicazione: (2025)

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
di: Chen, Kean, et al.
Pubblicazione: (2025)

Compiling to recurrent neurons
di: Velez-Ginorio, Joey, et al.
Pubblicazione: (2025)

Compiling to linear neurons
di: Velez-Ginorio, Joey, et al.
Pubblicazione: (2025)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
di: Muravev, Ilia
Pubblicazione: (2024)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
di: Mell, Stephen, et al.
Pubblicazione: (2025)

Sidekick compilation with xDSL
di: Fehr, Mathieu, et al.
Pubblicazione: (2023)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
di: Wu, Jinhua, et al.
Pubblicazione: (2025)

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

Verified Code Transpilation with LLMs
di: Bhatia, Sahil, et al.
Pubblicazione: (2024)

Meta-compilation of Baseline JIT Compilers with Druid
di: Palumbo, Nahuel, et al.
Pubblicazione: (2025)

BeePL: Correct-by-compilation kernel extensions
di: Priya, Swarn, et al.
Pubblicazione: (2025)

Verified Parameterized Choreographies Technical Report
di: Rubbens, Robert, et al.
Pubblicazione: (2025)

Increasing the Expressiveness of a Gradual Verifier
di: Gupta, Priyam
Pubblicazione: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
di: Jamner, Dustin, et al.
Pubblicazione: (2025)

Automatically Verifying Replication-aware Linearizability
di: Soundarapandian, Vimala, et al.
Pubblicazione: (2025)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
di: Pezeshkpour, Pouya, et al.
Pubblicazione: (2026)

Eliminate Branches by Melding IR Instructions
di: Li, Yuze, et al.
Pubblicazione: (2025)

Verification Algorithms for Automated Separation Logic Verifiers
di: Eilers, Marco, et al.
Pubblicazione: (2024)

Verifying Sequential Consistency under Bounded Preemptions
di: Govind, R., et al.
Pubblicazione: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
di: Yang, Xiaoxiao, et al.
Pubblicazione: (2017)

Dependent Session Types for Verified Concurrent Programming
di: Fu, Qiancheng, et al.
Pubblicazione: (2025)

Caesar: A Deductive Verifier for Probabilistic Programs
di: Schröer, Philipp, et al.
Pubblicazione: (2026)

Improving compiler support for SIMD offload using Arm Streaming SVE
di: Mohamed, Mohamed Husain Noor, et al.
Pubblicazione: (2025)

Efficient compilation and execution of synchronous programs via type-state programming
di: Malik, Avinash
Pubblicazione: (2025)

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

KATch: A Fast Symbolic Verifier for NetKAT
di: Moeller, Mark, et al.
Pubblicazione: (2024)

The MLIR Transform Dialect. Your compiler is more powerful than you think
di: Lücke, Martin Paul, et al.
Pubblicazione: (2024)

A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
di: Yang, Chengxi, et al.
Pubblicazione: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
di: Tušil, Jan, et al.
Pubblicazione: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
di: Shen, Gan, et al.
Pubblicazione: (2024)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2024)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
di: Mutlu, Doruk Alp
Pubblicazione: (2025)