Path-based inductive synthesis for program inversion
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
Path-based inductive synthesis for program inversion
PLDI, 2011.

PLDI 2011
Full names Links ISxN
	author        = "Saurabh Srivastava and Sumit Gulwani and Swarat Chaudhuri and Jeffrey S. Foster",
	booktitle     = "{Proceedings of the 32nd Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/1993498.1993557",
	editor        = "Mary W. Hall and David A. Padua",
	isbn          = "978-1-4503-0663-8",
	pages         = "492--503",
	publisher     = "{ACM}",
	title         = "{Path-based inductive synthesis for program inversion}",
	year          = 2011,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.