[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.

Undergraduate Assistant

Seeking undergraduate assistant

The Pepperell Lab in the Microbial Sciences building is searching for a computer science undergraduate student to assist with Systems Administration. The Pepperell lab is a bioinformatics/ computational biology research group focused on infectious diseases. We are looking for students graduating on or after May 2019. The applicant will work alongside the current System Administrator initially with the aim of assuming full responsibility in subsequent semesters.


Subscribe to UW-Madison Computer Sciences Department RSS