:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kan, Shuanglong, Ertel, Sebastian
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2605.04933
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
von: Lopoukhine, Alexandre, et al.
Veröffentlicht: (2025)

Denotation-based Compositional Compiler Verification
von: Cheng, Zhang, et al.
Veröffentlicht: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
von: Rinard, Martin
Veröffentlicht: (2026)

Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
von: Xu, Siyi, 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)

Compilation as Multi-Language Semantics
von: Bowman, William J.
Veröffentlicht: (2025)

Generation of Compiler Backends from Formal Models of Hardware
von: Smith, Gus Henry
Veröffentlicht: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

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

Verification of the Release-Acquire Semantics
von: Abdulla, Parosh, et al.
Veröffentlicht: (2025)

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

A Compiler for Operations on Relations with Bag Semantics
von: Dong, James, et al.
Veröffentlicht: (2025)

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

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

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
von: Bolotina, Anna, et al.
Veröffentlicht: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
von: Nagar, Kartik, et al.
Veröffentlicht: (2020)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
von: Mikuriya, Taku, et al.
Veröffentlicht: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
von: Hu, Lifan
Veröffentlicht: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Compiling with Arrays
von: Richter, David, 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)

From CISC to RISC: language-model guided assembly transpilation
von: Heakl, Ahmed, et al.
Veröffentlicht: (2024)

Compiling Gradual Types with Evidence
von: Romero, José Luis, et al.
Veröffentlicht: (2025)

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
von: Menon, Anand, et al.
Veröffentlicht: (2025)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2026)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
von: Barrière, Aurèle, et al.
Veröffentlicht: (2025)

Bonsai: Compiling Queries to Pruned Tree Traversals
von: Root, Alexander J, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

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

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

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

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
von: Haynes, Houston
Veröffentlicht: (2026)

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

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

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
von: Barone, Antonio Valerio Miceli, et al.
Veröffentlicht: (2026)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
von: Izawa, Yusuke, et al.
Veröffentlicht: (2025)

Compiling to recurrent neurons
von: Velez-Ginorio, Joey, et al.
Veröffentlicht: (2025)