GitHub repository: plum-umd/adaptive-concretization
Primary language: Python
Description: Adaptive Concretization for Parallel Program Synthesis