Modular synthesis of sketches using models

DOI10.1007/978-3-642-54013-4_22MaRDI QIDQ2938080zbMATH OpenOpenAlexFDO

Authors Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama

Publication date 13 January 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1721.1/91156

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Optimizing synthesis with metasketches
• Counterexample-guided inductive synthesis for probabilistic systems
• Counterexample guided inductive synthesis modulo theories
• From program verification to program synthesis
• Abstraction-based interaction model for synthesis

Cited in

(7)

• Automatic synthesis of constraints from examples using mixed integer linear programming
• Counterexample-guided inductive synthesis for probabilistic systems
• Satisfiability and synthesis modulo oracles
• Optimizing synthesis with metasketches
• Solving program sketches with large integer values
• Bootstrapping library-based synthesis
• Linear temporal constraints for sketch-based synthesizers

Describes a project that uses

Uses Software

• Dafny

This page was built for publication: Modular synthesis of sketches using models

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