Ankush Desai

Identifiers

No identifiers captured yet.

Papers (2)

1. Trace-Guided Synthesis of Effectful Test Generators cs.PL · 2026 · author #2
2. SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems cs.RO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashish Tiwari 1 shared papers
• Benjamin Delaware 1 shared papers
• Natarajan Shankar 1 shared papers
• Sanjit A. Seshia 1 shared papers
• Shromona Ghosh 1 shared papers
• Suresh Jagannathan 1 shared papers
• Zhe Zhou 1 shared papers