Software synthesis with sketching
Rastislav Bodík · 2008
Software verification and synthesis are among the most promising ideas contributed to computer science by our community. Recent advances in formal verification turned verifiers and checkers into invaluable industrial tools. It is now time to revisit the promise of software synthesis.