Person. Peter Hawkins link · theory.stanford.edu/~hawkinsp PhD advisorAlex Aiken UndergraduateThe University of Melbourne Papers Data representation synthesis hawkins-2011-dataPLDI · 2011 PDF · DOI · pldb