Papers

Publications

• CP 2017

  Constraint-Based Synthesis of Datalog Programs

  A. Albarghouthi

  P. Koutris

  M. Naik

  C. Smith
• FSE 2017

  Discovering Relational Specifications

  C. Smith

  G. Ferns

  A. Albarghouthi

  Best Paper Award
• ICFP 2019

  Synthesizing Differentially Private Programs

  C. Smith

  A. Albarghouthi
• ICML 2020

  Generating Programmatic Referring Expressions via Program Synthesis

  J. Huang

  C. Smith

  O. Bastani

  R. Singh

  A. Albarghouthi

  M. Naik
• PLDI 2016

  MapReduce Program Synthesis

  C. Smith

  A. Albarghouthi
• POPL 2019

  Trace Abstraction Modulo Probability

  C. Smith

  J. Hsu

  A. Albarghouthi
• VMCAI 2019

  Program Synthesis with Equivalence Reduction

  C. Smith

  A. Albarghouthi

Workshops

• SYNT 2019

  On Synthesis for Differential Privacy

  C. Smith

My thesis explores program synthesis techniques for data access.

If you lack institutional access to any of the works above, feel free to contact me directly for a pre-print.