@inproceedings{pldi11-pins,
    author    = {Saurabh Srivastava and Sumit Gulwani and Jeffrey S. Foster and 
			Swarat Chaudhuri},
    title     = {Path-based Inductive Synthesis for Program Inversion},
    booktitle = {PLDI '11: Proceedings of the 2011 ACM SIGPLAN conference on 
		   Programming language design and implementation},
    year      = {2011},
}

@inproceedings{popl10-syn,
    author    = {Saurabh Srivastava and Sumit Gulwani and Jeffrey S. Foster},
    title     = {From Program Verification to Program Synthesis},
    booktitle = {POPL '10: Proceedings of the 37th ACM SIGACT-SIGPLAN conference
		   on Principles of Programming Languages},
    year      = {2010},
}

@inproceedings{cav09-tools,
    author    = {Saurabh Srivastava and Sumit Gulwani and Jeffrey S. Foster},
    title     = {VS3: SMT Solvers for Program Verification},
    booktitle = {CAV '09: Proceedings of Computer Aided Verification 2009 },
    year      = {2009},
}

@inproceedings{pldi09-pvpa,
    author    = {Saurabh Srivastava and Sumit Gulwani},
    title     = {Program Verification using Templates over Predicate
			Abstraction},
    booktitle = {PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on 
		   Programming language design and implementation},
    year      = {2009},
}

@inproceedings{vmcai09-pa,
  author    = {Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan},
  title     = {Constraint-Based Invariant Inference over Predicate
			Abstraction},
  booktitle = {VMCAI '09: Proceedings of the 2009 Conference on Verification
			Model Checking and Abstract Interpretation},
  year      = {2009},
  pages     = {120-135},
  ee        = {http://dx.doi.org/10.1007/978-3-540-93900-9_13},
}

@inproceedings{pldi08-pacs,
    author    = {Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan},
    title     = {Program analysis as constraint solving},
    booktitle = {PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on 
		   Programming language design and implementation},
    year      = {2008},
    isbn      = {978-1-59593-860-2},
    pages     = {281--292},
    location  = {Tucson, AZ, USA},
    doi       = {http://doi.acm.org/10.1145/1375581.1375616},
    publisher = {ACM},
    address   = {New York, NY, USA},
}

@inproceedings{tldi07-cmod,
    author	= {Saurabh Srivastava and Michael Hicks and Jeffrey S. Foster},
    title 	= {Modular information hiding and type-safe linking for C},
    booktitle 	= {TLDI '07: Proceedings of the 2007 ACM SIGPLAN International 
			Workshop on Types in Languages Design and Implementation},
    year 	= {2007},
    isbn 	= {1-59593-393-X},
    pages 	= {3--14},
    location 	= {Nice, Nice, France},
    doi		= {http://doi.acm.org/10.1145/1190315.1190319},
    publisher 	= {ACM},
    address 	= {New York, NY, USA},
}

@article{tse-cmod,
    author 	= {Saurabh Srivastava and Michael Hicks and Jeffrey S. Foster 
		and Patrick Jenkins},
    title 	= {Modular Information Hiding and Type-Safe Linking for C},
    journal 	= {IEEE Transactions on Software Engineering},
    volume 	= {34},
    number 	= {3},
    year 	= {2008},
    issn 	= {0098-5589},
    pages 	= {357--376},
    doi 	= {http://dx.doi.org/10.1109/TSE.2008.25},
    publisher 	= {IEEE Press},
    address 	= {Piscataway, NJ, USA},
}

@article{ipl-ktree,
    author 	= {Saurabh Srivastava and R. K. Ghosh},
    title 	= {Distributed algorithms for finding and maintaining 
			a k-tree core in a dynamic network},
    journal 	= {Information Processing Letters},
    volume 	= {88},
    number 	= {4},
    year 	= {2003},
    issn 	= {0020-0190},
    pages 	= {187--194},
    doi 	= {http://dx.doi.org/10.1016/S0020-0190(03)00365-X},
    publisher 	= {Elsevier North-Holland, Inc.},
    address 	= {Amsterdam, The Netherlands, The Netherlands},
}