Calvin Smith

11 papers A* 2A 1B 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
How can we assess human-agent interactions? Case studies in software agent design.
CoRR
Valerie Chen, Rohit Malhotra, Xingyao Wang, Juan Michelini, Xuhui Zhou, Aditya Bharat Soni, Hoang H. Tran, Calvin Smith, Ameet Talwalkar, Graham Neubig
2025 J jnl
The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents.
CoRR
Xingyao Wang, Simon Rosenberg, Juan Michelini, Calvin Smith, Hoang H. Tran, Engel Nyst, Rohit Malhotra, Xuhui Zhou, Valerie Chen, Robert Brennan, Graham Neubig
2020 A* conf
Generating Programmatic Referring Expressions via Program Synthesis.
ICML
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
2019 B conf
Program Synthesis with Equivalence Reduction.
VMCAI
Calvin Smith, Aws Albarghouthi
2019 J jnl
Synthesizing differentially private programs.
Proc. ACM Program. Lang.
Calvin Smith, Aws Albarghouthi
2019 J jnl
Trace abstraction modulo probability.
Proc. ACM Program. Lang.
Calvin Smith, Justin Hsu, Aws Albarghouthi
2018 J jnl
Trace Abstraction Modulo Probability.
CoRR
Calvin Smith, Justin Hsu, Aws Albarghouthi
2017 A conf
Constraint-Based Synthesis of Datalog Programs.
CP
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
2017 — conf
Discovering relational specifications.
ESEC/SIGSOFT FSE
Calvin Smith, Gabriel Ferns, Aws Albarghouthi
2016 A* conf
MapReduce program synthesis.
PLDI
Calvin Smith, Aws Albarghouthi
2015 — conf
Disruptive Innovations and IT_x000D_ A Wicked yet Empowering combination.
AMCIS
Abayomi Baiyere, Brian Donnellan, Alan R. Hevner, Calvin Smith, Jim Stikeleather