Home

I'm an applied scientist at Durable, where I work on combining traditional program synthesis and verification techniques with modern AI.

Texas A&M → UW Madison | madPL → UT Austin | Trishul

My CV is available upon request.

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