Calvin Smith

According to our database, Calvin Smith authored at least 8 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Generating Programmatic Referring Expressions via Program Synthesis.

Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik

Proceedings of the 37th International Conference on Machine Learning, 2020

2019

Trace abstraction modulo probability.

Calvin Smith, Justin Hsu, Aws Albarghouthi

Proc. ACM Program. Lang., 2019

Synthesizing differentially private programs.

Calvin Smith, Aws Albarghouthi

Proc. ACM Program. Lang., 2019

Program Synthesis with Equivalence Reduction.

Calvin Smith, Aws Albarghouthi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017

Discovering relational specifications.

Calvin Smith, Gabriel Ferns, Aws Albarghouthi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Constraint-Based Synthesis of Datalog Programs.

Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

MapReduce program synthesis.

Calvin Smith, Aws Albarghouthi

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Disruptive Innovations and IT_x000D_ A Wicked yet Empowering combination.

Abayomi Baiyere, Brian Donnellan, Alan R. Hevner, Calvin Smith, Jim Stikeleather

Proceedings of the 21st Americas Conference on Information Systems, 2015