Adaptive Concretization for Parallel Program Synthesis.

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Browse the full CAV paper archive.