K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Zhao, Jianhong, Kang, Jinhui, Zhao, Yongwang |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| 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)
par: Tempel, Sören, et autres
Publié: (2024)
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
par: Zhao, Jianhong, et autres
Publié: (2024)
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)
par: Erata, Ferhat, et autres
Publié: (2024)
Container Morphisms for Composable Interactive Systems
par: Videla, André
Publié: (2024)
par: Videla, André
Publié: (2024)
Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
par: Zhao, Jianhong, et autres
Publié: (2025)
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)
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)
par: Guerin, Cormac, et autres
Publié: (2026)
LEGO-Compiler: Enhancing Neural Compilation Through Translation Composability
par: Zhang, Shuoming, et autres
Publié: (2025)
par: Zhang, Shuoming, et autres
Publié: (2025)
Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)
par: Bayer, Jonas, et autres
Publié: (2026)
FLAT: Formal Languages as Types
par: Zhu, Fengmin, et autres
Publié: (2025)
par: Zhu, Fengmin, et autres
Publié: (2025)
CUTECat: Concolic Execution for Computational Law
par: Goutagny, Pierre, et autres
Publié: (2024)
par: Goutagny, Pierre, et autres
Publié: (2024)
Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)
par: Yavuz, Tuba
Publié: (2024)
Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)
par: Wang, Wenhan, et autres
Publié: (2024)
Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)
par: Fang, Yuzhou, et autres
Publié: (2025)
Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)
par: Gorna, Karolina, et autres
Publié: (2025)
Package Managers à la Carte: A Formal Model of Dependency Resolution
par: Gibb, Ryan, et autres
Publié: (2026)
par: Gibb, Ryan, et autres
Publié: (2026)
Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)
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)
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)
par: Bouras, Dimitrios Stamatios, et autres
Publié: (2026)
PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
par: Ye, He, et autres
Publié: (2023)
par: Ye, He, et autres
Publié: (2023)
Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
par: Bhatia, Rishipal Singh
Publié: (2026)
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)
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)
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)
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)
par: Feng, Rong, et autres
Publié: (2025)
On Repairing Quantum Programs Using ChatGPT
par: Guo, Xiaoyu, et autres
Publié: (2024)
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)
par: Arfi, Farid, et autres
Publié: (2024)
React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)
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)
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)
par: Yrievich, Petro Baran
Publié: (2026)
Executing as You Generate: Hiding Execution Latency in LLM Code Generation
par: Sun, Zhensu, et autres
Publié: (2026)
par: Sun, Zhensu, et autres
Publié: (2026)
ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
par: Yao, Bingkun, et autres
Publié: (2025)
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)
par: Sharp, Toby
Publié: (2025)
The Argument for Meta-Modeling-Based Approaches to Hardware Generation Languages
par: Schreiner, Johannes, et autres
Publié: (2024)
par: Schreiner, Johannes, et autres
Publié: (2024)
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
par: Mitchell, Jacqueline L., et autres
Publié: (2025)
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)
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)
par: Short, Benedict, et autres
Publié: (2025)
Semantic Source Code Segmentation using Small and Large Language Models
par: Dahou, Abdelhalim, et autres
Publié: (2025)
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)
par: Cai, Jianfeng, et autres
Publié: (2026)
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
par: Sanchez-Stern, Alex, et autres
Publié: (2024)
par: Sanchez-Stern, Alex, et autres
Publié: (2024)
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)