LooPy: Interactive Program Synthesis with Control Structures
summary
A Live Programming–integrated synthesizer called LooPy extends Small-Step Live PBE to handle loops by treating holes as runtime pauses and asking the programmer for values via Live Execution, keeping start-states accurate, and by searching a compact Intermediate State Graph of partial states rather than enumerating all orders. It plugs into Projection Boxes, synthesizes loop bodies with assignments and conditionals, solves 125 of 131 benchmarks within 5 minutes and 120 within 7 seconds, and a 5-participant study finds block specs usable.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 0:39Program Synthesis
- 3:04Coding Interview
- 5:12Synthesis
- 6:18Live Execution
- 7:51Small Step
- 11:58Speed
- 12:38Benchmarks
- 13:22User Study
related talks
25mLive Programming and Programming by Example: Better Together
13mProgramming with a Read-Eval-Synth Loop
35mA Live Programming Experience
28mScooPy: Enhancing Program Synthesis with Nested Example Specifications
15mProgram Sketching with Live Bidirectional Evaluation
25mPlay with your code
14mExample-Based Live Programming for Everyone: Building Language-Agnostic Tools for Live Programming w
14mPYLIVE: On-the-Fly Code Change for Python-based Online Services