Calvin Smith

Identifiers

No identifiers captured yet.

Papers (2)

1. The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents cs.SE · 2025 · author #4
2. Trace Abstraction Modulo Probability cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aws Albarghouthi 1 shared papers
• Engel Nyst 1 shared papers
• Graham Neubig 1 shared papers
• Hoang Tran 1 shared papers
• Juan Michelini 1 shared papers
• Justin Hsu 1 shared papers
• Robert Brennan 1 shared papers
• Rohit Malhotra 1 shared papers
• Simon Rosenberg 1 shared papers
• Valerie Chen 1 shared papers
• Xingyao Wang 1 shared papers
• Xuhui Zhou 1 shared papers