Calvin Smith

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 9

Top Topics

Referring Expressions

High Performance Data Mining

Datalog Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
Generating Programmatic Referring Expressions via Program Synthesis. ICML (2020)
Calvin Smith, Justin Hsu, Aws Albarghouthi
Trace abstraction modulo probability. Proc. ACM Program. Lang. 3 (POPL) (2019)
Calvin Smith, Aws Albarghouthi
Program Synthesis with Equivalence Reduction. VMCAI (2019)
Calvin Smith, Aws Albarghouthi
Synthesizing differentially private programs. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Calvin Smith, Justin Hsu, Aws Albarghouthi
Trace Abstraction Modulo Probability. CoRR (2018)
Calvin Smith, Gabriel Ferns, Aws Albarghouthi
Discovering relational specifications. ESEC/SIGSOFT FSE (2017)
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
Constraint-Based Synthesis of Datalog Programs. CP (2017)
Calvin Smith, Aws Albarghouthi
MapReduce program synthesis. PLDI (2016)
Abayomi Baiyere, Brian Donnellan, Alan R. Hevner, Calvin Smith, Jim Stikeleather
Disruptive Innovations and IT_x000D_ A Wicked yet Empowering combination. AMCIS (2015)