Bootstrapping library-based synthesis

DOI10.1007/978-3-031-22308-2_13MaRDI QIDQ6164431zbMATH OpenFDO

Authors Kangjing Huang, Xiaokang Qiu

Publication date 28 July 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-22308-2_13

zbMATH Keywords

Javaprogram synthesislibrariesprogram sketching

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Modular synthesis of sketches using models
• Counterexample guided inductive synthesis modulo theories
• From program verification to program synthesis
• Programmable program synthesis
• Learning abstractions for program synthesis

Cites work

• Component-based synthesis for complex APIs
• Fiat: deductive synthesis of abstract data types in a proof assistant
• Fixing code that explodes under symbolic evaluation
• Learning programs from noisy data
• Look for the proof to find the program: decorated-component-based program synthesis
• Mining specifications
• Modular synthesis of sketches using models
• Nondeterministic Algorithms
• Program synthesis with equivalence reduction
• Programming with angelic nondeterminism
• Satisfiability and synthesis modulo oracles
• Specification inference using context-free language reachability
• Synthesis from Component Libraries
• The Daikon system for dynamic detection of likely invariants

This page was built for publication: Bootstrapping library-based synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164431)