From program verification to program synthesis.

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Browse the full POPL paper archive.