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