Calvin Smith
email (at) cjsmith (dot) io
Computer Scientist

Papers

During my academic research career, I specialized in program synthesis (generating code to meet some spec) and static analysis (understanding code without running it). My thesis explores techniques for generating and understanding programs that access and manipulate data at-scale.

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

Publications

Workshops