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.
Dissertation Title: Sparse Paged Grid and its Applications to Adaptivity and Material Point Method in Physics Based Simulation
Committee: Dr.Eftychios Sifakis (Advisor)
Dr. Michael Gleicher
Dr. Dan Negrut
Dr. Jean-Luc Thiffeault
Dr. Chenfanfu Jiang
Dissertation Title: Large-Scale Information Extraction Using Rules, Machine Learning, and Human Computation
Committee: Dr. AnHai Doan (Advisor)
Dr. Amir H. Assadi
Dr. Paul Hanson
Dr. Paraschos Koutris
Dr. Theodoros Rekatsinas
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.