Image de couverture de livre

Literate Tracing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Sotoudeh, Matthew
Format:	Preprint
Publié:	2025
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

A Trace-based Approach for Code Safety Analysis
par: Xu, Hui
Publié: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

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

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

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
par: Schiavio, Filippo, et autres
Publié: (2026)

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)

Generating Verifiable Chain of Thoughts from Exection-Traces
par: Thakur, Shailja, et autres
Publié: (2025)

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

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
par: Zhang, Yiyu, et autres
Publié: (2024)

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

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
par: Chen, Zhiyang, et autres
Publié: (2024)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
par: Zhang, Yifan, et autres
Publié: (2025)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
par: Barth, Max, et autres
Publié: (2025)

Getting Python Types Right with RightTyper
par: Pizzorno, Juan Altmayer, et autres
Publié: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
par: Liu, Peipei, et autres
Publié: (2025)

An Encoding of Interaction Nets in OCaml
par: Huber, Nikolaus, et autres
Publié: (2025)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
par: Zhu, Qian, et autres
Publié: (2025)

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

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

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

Evaluate the Stack Management in Effect Handlers using the libseff C Library
par: Yu, ZeHao
Publié: (2025)

Reflections on the design, applications and implementations of the normative specification language eFLINT
par: van Binsbergen, L. Thomas, et autres
Publié: (2025)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
par: Sulzmann, Martin
Publié: (2025)

Micro-Patterns in Solidity Code
par: Ruschioni, Luca, et autres
Publié: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
par: Liu, Yuchen, et autres
Publié: (2025)

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
par: Karapetyan, Daniel
Publié: (2025)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
par: Stemmler, Fabian, et autres
Publié: (2025)

An Interactive Debugger for Rust Trait Errors
par: Gray, Gavin, et autres
Publié: (2025)

Concept-Based Generic Programming in C++
par: Stroustrup, Bjarne
Publié: (2025)

Try-Mopsa: Relational Static Analysis in Your Pocket
par: Monat, Raphaël
Publié: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
par: Schwarz, Michael, et autres
Publié: (2025)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
par: Zhou, Xintong, et autres
Publié: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)

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

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

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
par: Li, Hebi, et autres
Publié: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
par: Diamantakis, Panagiotis, et autres
Publié: (2025)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
par: Zhang, Jiahao, et autres
Publié: (2025)