POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France

This program is tentative and subject to change.

Wed 14 Jan 2026 16:10 - 16:35 at Nef - Synthesis 1

Syntax-guided program synthesis relies on domain-specific languages (DSLs) to constrain the search space and improve efficiency. However, manually designing optimal DSLs is challenging and often results in suboptimal performance. In this paper, we propose AMaze, a novel framework that automatically optimizes DSLs to accelerate synthesis. AMaze iteratively refines a DSL by identifying key program fragments, termed feature components, whose enumeration ranks correlate with synthesis time. Using a dynamic-programming-based algorithm to calculate enumeration ranks of feature components and a machine learning model based on them, AMaze estimates synthesis cost instead of directly invoking the synthesizer, which is impractical due to high computational cost. We evaluate AMaze on state-of-the-art synthesizers, including DryadSynth, Duet, Polygen, and EUsolver, across multiple domains. Empirical results demonstrate that AMaze achieves up to 4.35X speedup, effectively reducing synthesis time while maintaining expressiveness.

This program is tentative and subject to change.

Wed 14 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:10 - 17:25
Synthesis 1POPL at Nef
16:10
25m
Talk
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
POPL
Zhentao Ye Peking University, Ruyi Ji Peking University, Yingfei Xiong Peking University, Xin Zhang Peking University
DOI
16:35
25m
Talk
Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling
POPL
Doyoon Lee Seoul National University, Woosuk Lee Hanyang University, Kwangkeun Yi Seoul National University
DOI
17:00
25m
Talk
Oriented Metrics for Bottom-Up Enumerative Synthesis
POPL
Roland Meyer TU Braunschweig, Jakob Tepe TU Braunschweig
DOI