Program Synthesis From Partial Traces
summary
A technique called Siren synthesizes API- and system-automation scripts from partial traces that record only side-effecting calls, combining compiler-style optimizing rewrites with an off‑the‑shelf example-based synthesizer to recover hidden decisions and functions. The pipeline maintains a correct-by-construction candidate throughout, produces programs with up to four control-flow constructs and two synthesized hidden functions, and solves 72% of 54 real-world benchmarks within a 5 minute timeout; an LLM baseline hits 53%.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 2:49Goal of traces synthesis
- 6:01Siren’s rewriting process
- 11:41Synthesis procedure summary
- 12:23Evaluating Siren
- 14:30Applications and future
- 15:12Q&A
- 20:00Q&A
related talks
22mProgram Synthesis for Artifacts beyond Programs
15mHieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical(…)
19mSynthesizing Specifications
01h 05mVerifying Infinitely Many Programs at Once
15mAutomatic Synthesis of Data-Flow Analyzers
14mSynthesizing Contracts Correct Modulo a Test Generator
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
27mOperationalizing the Integration of User Interaction Specifications in Modeling Editor Synthesis