Adaptive Concretization for Parallel Program Synthesis

Adaptive Concretization for Parallel Program Synthesis

Program synthesis tools work by searching for an implementation that satisfies a given specification. Two popular search strategies are symbolic search, which reduces synthesis to a formula passed to a SAT solver, and explicit search, which uses brute force or random search to find a solution. In th...

Full description

Bibliographic Details
Main Authors: Jeon, Jinseong (Author), Foster, Jeffrey S. (Author), Qiu, Xiaokang (Contributor), Solar Lezama, Armando (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Springer-Verlag, 2017-08-28T18:44:36Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items