Copertina

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Erata, Ferhat, Goknil, Arda, Tekinerdogan, Bedir, Kardas, Geylani
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

ModelWriter: Text & Model-Synchronized Document Engineering Platform
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
di: Le-Cong, Thanh, et al.
Pubblicazione: (2025)

Learning Randomized Reductions
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
di: Zhao, Jianhong, et al.
Pubblicazione: (2024)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
di: Yao, Bingkun, et al.
Pubblicazione: (2025)

Privacy Policy Analysis through Prompt Engineering for LLMs
di: Goknil, Arda, et al.
Pubblicazione: (2024)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
di: van der Vleuten, Noah, et al.
Pubblicazione: (2025)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
di: Yu, Simon, et al.
Pubblicazione: (2026)

FLAT: Formal Languages as Types
di: Zhu, Fengmin, et al.
Pubblicazione: (2025)

Literate Tracing
di: Sotoudeh, Matthew
Pubblicazione: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2025)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
di: Sanchez-Stern, Alex, et al.
Pubblicazione: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
di: He, Yifeng, et al.
Pubblicazione: (2025)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
di: Mavridou, Anastasia, et al.
Pubblicazione: (2025)

A Trace-based Approach for Code Safety Analysis
di: Xu, Hui
Pubblicazione: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
di: Bayer, Jonas, et al.
Pubblicazione: (2026)

Package Managers à la Carte: A Formal Model of Dependency Resolution
di: Gibb, Ryan, et al.
Pubblicazione: (2026)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
di: Bucev, Mario, et al.
Pubblicazione: (2024)

From a Natural to a Formal Language with DSL Assistant
di: Mosthaf, My M., et al.
Pubblicazione: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
di: Cirstea, Horatiu, et al.
Pubblicazione: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
di: Arfi, Farid, et al.
Pubblicazione: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
di: Pouget, Stéphane, et al.
Pubblicazione: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
di: Wu, Xiwei, et al.
Pubblicazione: (2025)

Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis
di: Zhang, Ke, et al.
Pubblicazione: (2026)

Automated Insertion of Flushes and Fences for Persistency
di: Guo, Yutong, et al.
Pubblicazione: (2025)

React-tRace: A Semantics for Understanding React Hooks
di: Lee, Jay, et al.
Pubblicazione: (2025)

RaceFixer -- An Automated Data Race Fixer
di: Malakar, Sanjay, et al.
Pubblicazione: (2024)

Mica: Automated Differential Testing for OCaml Modules
di: Ng, Ernest, et al.
Pubblicazione: (2024)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

ProDebug: An Automated Debugging System for Prolog
di: Brancas, Ricardo, et al.
Pubblicazione: (2026)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
di: Rho, Sanghoon, et al.
Pubblicazione: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
di: Ke, Kaiyao, et al.
Pubblicazione: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
di: Svoboda, David, et al.
Pubblicazione: (2025)

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

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
di: Karapetyan, Daniel
Pubblicazione: (2025)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
di: Zhang, Weixing, et al.
Pubblicazione: (2024)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
di: Si, Yuan, et al.
Pubblicazione: (2025)