Person. Alex Aiken Professor · Stanford University · theory.stanford.edu/~aiken · 0000-0002-3723-9555 PhD studentsPeter Hawkins Papers Data representation synthesis hawkins-2011-dataPLDI · 2011 PDF · DOI · pldb