Person. Martin Rinard ORCID · 0000-0001-8095-8523 Papers Data representation synthesis hawkins-2011-dataPLDI · 2011 PDF · DOI · pldb