Buchumschlag

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tekriwal, Mohit, Sarracino, John
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards Richer Challenge Problems for Scientific Computing Correctness
von: Sottile, Matthew, et al.
Veröffentlicht: (2025)

Verifying Floating-Point Programs in Stainless
von: Gilot, Andrea, et al.
Veröffentlicht: (2026)

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

Formally verified asymptotic consensus in robust networks
von: Tekriwal, Mohit, et al.
Veröffentlicht: (2022)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
von: Rinard, Martin
Veröffentlicht: (2026)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
von: Wu, Jinhua, et al.
Veröffentlicht: (2026)

A Verified Compiler for Quantum Simulation
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Polynomial Invariant Generation for Floating-Point Programs
von: Cai, Xuran, et al.
Veröffentlicht: (2025)

Scaling Optimization Over Uncertainty via Compilation
von: Cho, Minsung, et al.
Veröffentlicht: (2025)

Verifying Peephole Rewriting In SSA Compiler IRs
von: Bhat, Siddharth, et al.
Veröffentlicht: (2024)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
von: Paraskevopoulou, Zoe
Veröffentlicht: (2026)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
von: Qiu, Jie, et al.
Veröffentlicht: (2024)

Partial Evaluation, Whole-Program Compilation
von: Fallin, Chris, et al.
Veröffentlicht: (2024)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
von: Monniaux, David
Veröffentlicht: (2024)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

An Optimizing Just-In-Time Compiler for Rotor
von: Trindade, João H., et al.
Veröffentlicht: (2024)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
von: Parthasarathy, Gaurav, et al.
Veröffentlicht: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
von: Szabo, Violet, et al.
Veröffentlicht: (2024)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
von: Seidel, Raphael, et al.
Veröffentlicht: (2024)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
von: Pirkelbauer, Peter, et al.
Veröffentlicht: (2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
von: Ma, Haoyang, et al.
Veröffentlicht: (2025)

Scalable Floating-Point Satisfiability via Staged Optimization
von: Zhang, Yuanzhuo, et al.
Veröffentlicht: (2026)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
von: Conoly, Owen, et al.
Veröffentlicht: (2025)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
von: Zheng, Size, et al.
Veröffentlicht: (2026)

The Program Hypergraph: Multi-Way Relational Structure for Geometric Algebra, Spatial Compute, and Physics-Aware Compilation
von: Haynes, Houston
Veröffentlicht: (2026)

Qafny: A Quantum-Program Verifier
von: Li, Liyi, et al.
Veröffentlicht: (2022)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
von: Cummins, Chris, et al.
Veröffentlicht: (2024)

Agentic Code Optimization via Compiler-LLM Cooperation
von: Mikek, Benjamin, et al.
Veröffentlicht: (2026)

Foundational Verification of Smart Contracts through Verified Compilation
von: Sjöberg, Vilhelm, et al.
Veröffentlicht: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

CompilerDream: Learning a Compiler World Model for General Code Optimization
von: Deng, Chaoyi, et al.
Veröffentlicht: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
von: Kalade, Sarunas, et al.
Veröffentlicht: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)