University of Colorado program synthesis project