Swarat Chaudhuri

A study of android application security

William Enck, Damien Octeau, Patrick McDaniel et al. · 2011 · 859 citations

Computing, Computer Science, Cybersecurity +16

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

Synthesizing data structure transformations from input-output examples

John Feser, Swarat Chaudhuri · 2015 · 258 citations

Computing, Computer Science, Data Structures +12

Incremental Task and Motion Planning: A Constraint-Based Approach

Neil T. Dantam, Zachary Kingston, Swarat Chaudhuri et al. · 2016 · 169 citations · Full text

Computing, Computer Science, Robotics Engineering +13

Proving programs robust

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman et al. · 2011 · 140 citations

Computing, Computer Science, Formal Methods +15