Home

I'm on the job market! Take a look at my resume and CV to see if we're a good fit.

Selected Publications

• FSE 2017

  Discovering Relational Specifications

  C. Smith

  G. Ferns

  A. Albarghouthi

  Best Paper Award
• ICFP 2019

  Synthesizing Differentially Private Programs

  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