TA Training

Three day required training for new CS TAs.  TA training is offered once a year just prior to start of fall semester.  Exact times and locations for day 2 and day 3 will be announced on first day.

[pl-seminar] Syntax-Guided Synthesis with Quantitative Syntactic Objectives

Abstract: Automatic program synthesis promises to increase the productivity of programmers and end-users of computing devices by automating tedious and error-prone tasks. Despite the practical successes of program synthesis, we still do not have systematic frameworks to synthesize programs that are “good” according to certain metrics—e.g., produce programs of reasonable sizes or with good runtime—and to understand when synthesis can result in such good programs.

Pages

Subscribe to UW-Madison Computer Sciences Department RSS