Swarat Chaudhuri
The University of Texas at Austin(US)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Software Engineering Research
Most-Cited Works
- A study of android application security(2011)
- → AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation(2018)801 cited
- → Synthesizing data structure transformations from input-output examples(2015)255 cited
- → Incremental Task and Motion Planning: A Constraint-Based Approach(2016)168 cited
- → Proving programs robust(2011)140 cited
- → Component-based synthesis of table consolidation and transformation tasks from examples(2017)137 cited
- → An incremental constraint-based framework for task and motion planning(2018)123 cited
- → Continuity analysis of programs(2010)112 cited
- → Programmatically Interpretable Reinforcement Learning(2018)97 cited
- → Subcubic algorithms for recursive state machines(2008)90 cited