Publications tagged "synthesis"

Journal, Conference, and Workshop Papers

2017

An Empirical Study of Adaptive Concretization for Parallel Program Synthesis
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster
Formal Methods in System Design (FMSD), 50(1):75–95, March 2017.
tags: synthesis
[ bibtex | doi ]

2016

Synthesizing Framework Models for Symbolic Execution
Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, and Armando Solar-Lezama
In Proceedings of the 35th International Conference on Software Engineering (ICSE), Austin, TX, May 2016.
tags: synthesis
[ bibtex | doi ]

2015

JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster
In European Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE), Tool Demo Track, Bergamo, Italy, September 2015.
tags: java, synthesis
[ bibtex | doi ]

Adaptive Concretization for Parallel Program Synthesis
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster
In Computer Aided Verification (CAV), volume 9207 of Lecture Notes in Computer Science, pages 377–394, San Francisco, CA, USA, July 2015. Springer International Publishing.
tags: synthesis
[ bibtex | doi ]

2012

Template-based Program Verification and Program Synthesis
Saurabh Srivastava, Sumit Gulwani, and Jeffrey S. Foster
International Journal on Software Tools for Technology Transfer (STTT), special issue on Algorithmic Program Synthesis:1–22, January 2012.
tags: analysis, synthesis
[ bibtex | doi ]

2011

Path-Based Inductive Synthesis for Program Inversion
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, and Jeffrey S. Foster
In Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 492–503, San Jose, California, June 2011.
tags: synthesis
[ bibtex | doi ]

2010

From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, and Jeffrey S. Foster
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 313–326, Madrid, Spain, January 2010.
tags: analysis, synthesis
[ bibtex | doi ]

Technical Reports

JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster
Technical Report arXiv:1507.03577, CoRR, July 2015.
tags: java, synthesis
[ bibtex ]

Program Inversion Revisited
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, and Jeff Foster
Technical Report MSR-TR-2010-34, Microsoft Research, April 2010.
tags: synthesis
[ bibtex ]