TraceSynth: Generating Production-Quality Kernel Traces with Constraint-Guided Diffusion Models

arXiv:2607.12104 · cs.SE, cs.LG · Submitted 2026-07-13 · Read on arXiv

cs.SE, cs.LG

Submitted: 2026-07-13

Updated: 2026-07-13

Terminology

• Trace — 7× in this paper · explained in 2 episodes
• Augmentation — 2× in this paper · explained in 2 episodes
• Ablation — 1× in this paper · explained in 1 episode
• Ablation Studies — 1× in this paper · explained in 1 episode
• Benchmark — 1× in this paper · explained in 2 episodes
• Diffusion Model — 1× in this paper · explained in 10 episodes
• Diffusion Models — 1× in this paper · explained in 9 episodes
• Diffusion Process — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• For Coding Agents, the Repository Matters
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation