Calvin Smith

About

I’m a 5th-year graduate student working for Aws Albarghouthi. I’m interested in program synthesis and type systems, and how both can be applied to lower the barrier of entry for tasks such as big-data processing or privacy-preserving computation.

My CV is available on request.

Publications

• Synthesizing Differentially Private Programs @ ICFP 19
  Calvin Smith and Aws Albarghouthi
  
• Trace Abstraction Modulo Probability @ POPL 19
  Calvin Smith, Justin Hsu, and Aws Albarghouthi
  
• Program Synthesis with Equivalence Reduction @ VMCAI 19
  Calvin Smith and Aws Albarghouthi
  
• Discovering Relational Specifications @ FSE 17
  Calvin Smith, Gabriel Ferns, and Aws Albarghouthi
  Best Paper Award
• Constraint-Based Synthesis of Datalog Programs @ CP 17
  Aws Albarghouthi, Paris Koutris, Mayur Naik, and Calvin Smith
  
• MapReduce Program Synthesis @ PLDI 16
  Calvin Smith and Aws Albarghouthi
  

Workshops

• On Synthesis for Differential Privacy @ SYNT 19
  

Community

• 2019 CAV AEC