| A study of android application security. W Enck, D Octeau, PD McDaniel, S Chaudhuri USENIX security symposium 2 (2), 2011 | 1353 | 2011 |
| Ai2: Safety and robustness certification of neural networks with abstract interpretation T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ... 2018 IEEE symposium on security and privacy (SP), 3-18, 2018 | 777 | 2018 |
| Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig Symposium on Programming Language Design and Implementation (PLDI), 229-239, 2015 | 348 | 2015 |
| Programmatically Interpretable Reinforcement Learning A Verma, V Murali, R Singh, P Kohli, S Chaudhuri Proceedings of the 35th International Conference on Machine Learning (ICML …, 2018 | 300 | 2018 |
| Incremental task and motion planning: A constraint-based approach. NT Dantam, ZK Kingston, S Chaudhuri, LE Kavraki Robotics: Science and systems 12, 00052, 2016 | 206 | 2016 |
| Component-based synthesis of table consolidation and transformation tasks from examples Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri ACM SIGPLAN Notices 52 (6), 422-436, 2017 | 180 | 2017 |
| Proving programs robust S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 158 | 2011 |
| Neural Sketch Learning for Conditional Program Generation V Murali, L Qi, S Chaudhuri, C Jermaine International Conference for Learning Representations (ICLR), 2018 | 155* | 2018 |
| An incremental constraint-based framework for task and motion planning NT Dantam, ZK Kingston, S Chaudhuri, LE Kavraki The International Journal of Robotics Research 37 (10), 1134-1151, 2018 | 130 | 2018 |
| Continuity analysis of programs S Chaudhuri, S Gulwani, R Lublinerman 37th Symposium on Principles of Programming Languages (POPL), 57-70, 2010 | 122 | 2010 |
| SMT-based synthesis of integrated task and motion plans from plan outlines S Nedunuri, S Prabhu, M Moll, S Chaudhuri, LE Kavraki 2014 IEEE International Conference on Robotics and Automation (ICRA), 655-662, 2014 | 102 | 2014 |
| A constraint-based approach to solving games on infinite graphs T Beyene, S Chaudhuri, C Popeea, A Rybalchenko Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 96 | 2014 |
| Subcubic algorithms for recursive state machines S Chaudhuri Symposium on Principles of Programming Languages (POPL), 159-169, 2008 | 91 | 2008 |
| Optimization and abstraction: a synergistic approach for analyzing neural network robustness G Anderson, S Pailoor, I Dillig, S Chaudhuri Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019 | 80 | 2019 |
| Continuity and robustness of programs S Chaudhuri, S Gulwani, R Lublinerman Communications of the ACM 55 (8), 107-115, 2012 | 76 | 2012 |
| Houdini: Lifelong learning as program synthesis L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri Neural Information Processing Systems (NeurIPS), 2018 | 71 | 2018 |
| Path-based inductive synthesis for program inversion S Srivastava, S Gulwani, S Chaudhuri, JS Foster proceedings of the 32nd ACM SIGPLAN Conference on Programming Language …, 2011 | 71 | 2011 |
| Symbolic pruning of concurrent program executions C Wang, S Chaudhuri, A Gupta, Y Yang Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 70* | 2009 |
| Bayesian specification learning for finding API usage errors V Murali, S Chaudhuri, C Jermaine Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 69* | 2017 |
| Synthesizing transformations on hierarchically structured data N Yaghmazadeh, C Klinger, I Dillig, S Chaudhuri ACM SIGPLAN Notices 51 (6), 508-521, 2016 | 69 | 2016 |
Lydia E. KavrakiRice UniversityVerified email at rice.edu
