Disruptive Innovations and IT_x000D_ A Wicked yet Empowering combination. - Abayomi Baiyere; Brian Donnellan; Alan R. Hevner; Calvin Smith; Jim Stikeleather (AMCIS, 2015)

MapReduce program synthesis. - Calvin Smith; Aws Albarghouthi (PLDI, 2016)

Constraint-Based Synthesis of Datalog Programs. - Aws Albarghouthi; Paraschos Koutris; Mayur Naik; Calvin Smith (CP, 2017)

Discovering relational specifications. - Calvin Smith; Gabriel Ferns; Aws Albarghouthi (ESEC/SIGSOFT FSE, 2017)

Program Synthesis with Equivalence Reduction. - Calvin Smith; Aws Albarghouthi (VMCAI, 2019)

Synthesizing differentially private programs. - Calvin Smith; Aws Albarghouthi (Proc. ACM Program. Lang., 2019)

Trace abstraction modulo probability. - Calvin Smith; Justin Hsu; Aws Albarghouthi (Proc. ACM Program. Lang., 2019)

Generating Programmatic Referring Expressions via Program Synthesis. - Jiani Huang; Calvin Smith; Osbert Bastani; Rishabh Singh; Aws Albarghouthi; Mayur Naik (ICML, 2020)