Image de couverture de livre

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhao, Jianhong, Kang, Jinhui, Zhao, Yongwang
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
par: Zhao, Jianhong, et autres
Publié: (2024)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Container Morphisms for Composable Interactive Systems
par: Videla, André
Publié: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
par: Zhao, Jianhong, et autres
Publié: (2025)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
par: Yu, Simon, et autres
Publié: (2026)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
par: Guerin, Cormac, et autres
Publié: (2026)

LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
par: Zhang, Shuoming, et autres
Publié: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)

FLAT: Formal Languages as Types
par: Zhu, Fengmin, et autres
Publié: (2025)

CUTECat: Concolic Execution for Computational Law
par: Goutagny, Pierre, et autres
Publié: (2024)

Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)

Package Managers à la Carte: A Formal Model of Dependency Resolution
par: Gibb, Ryan, et autres
Publié: (2026)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
par: Saumya, Charitha, et autres
Publié: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
par: Bouras, Dimitrios Stamatios, et autres
Publié: (2026)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
par: Bhatia, Rishipal Singh
Publié: (2026)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

From a Natural to a Formal Language with DSL Assistant
par: Mosthaf, My M., et autres
Publié: (2024)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
par: Le-Cong, Thanh, et autres
Publié: (2025)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
par: Feng, Rong, et autres
Publié: (2025)

On Repairing Quantum Programs Using ChatGPT
par: Guo, Xiaoyu, et autres
Publié: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
par: Arfi, Farid, et autres
Publié: (2024)

React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
par: van der Vleuten, Noah, et autres
Publié: (2025)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
par: Yrievich, Petro Baran
Publié: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
par: Yao, Bingkun, et autres
Publié: (2025)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
par: Sharp, Toby
Publié: (2025)

The Argument for Meta-Modeling-Based Approaches to Hardware Generation Languages
par: Schreiner, Johannes, et autres
Publié: (2024)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
par: He, Yifeng, et autres
Publié: (2025)

Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress)
par: Short, Benedict, et autres
Publié: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
par: Dahou, Abdelhalim, et autres
Publié: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
par: Cai, Jianfeng, et autres
Publié: (2026)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
par: Sanchez-Stern, Alex, et autres
Publié: (2024)