Answers are grounded in this paper and cite their sources.
We describe PSketch, a program synthesizer that helps programmers implement concurrent data structures. The system is based on the concept of sketching, a form of synthesis that allows programmers to express their insight about an implementation as a partial program: a sketch. The synthesizer automatically completes the sketch to produce an implementation that matches a given correctness criteria.
No takes yet. Share an insight, caveat, or question.
Solar-Lezama et al. (2008) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: