Swarat Chaudhuri

Cited by

	All	Since 2018
Citations	6071	3843
h-index	37	27
i10-index	66	50

880

440

220

660

2007200820092010201120122013201420152016201720182019202020212022202321 27 34 43 88 239 278 357 337 351 376 464 551 736 809 872 408

Public access

View all

28 articles

1 article

available

not available

Based on funding mandates

Co-authors

Lydia E. KavrakiRice UniversityVerified email at rice.edu
Chris JermaineAssociate Professor of Computer Science, Rice UniversityVerified email at cs.rice.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Vijayaraghavan MuraliFacebookVerified email at fb.com
Abhinav VermaPennsylvania State UniversityVerified email at psu.edu
Yisong YueCalifornia Institute of Technology; Latitude AIVerified email at caltech.edu
Neil T. DantamAssistant Professor of Computer Science, Colorado School of MinesVerified email at mines.edu
Armando Solar-LezamaMITVerified email at csail.mit.edu
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonVerified email at cs.wisc.edu
William EnckProfessor of Computer Science, North Carolina State UniversityVerified email at ncsu.edu
Damien OcteauGoogleVerified email at google.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Dipak ChaudhariApplied Research Scientist, Meta Platforms, IncVerified email at fb.com
Yue WangFacebook Inc.Verified email at fb.com
Petar TsankovSenior researcher, ETH ZurichVerified email at inf.ethz.ch
Martin VechevProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Matthew MirmanETH ZürichVerified email at inf.ethz.ch

Swarat Chaudhuri

UT Austin

Verified email at cs.utexas.edu - Homepage

Programming Languages Machine Learning Formal Methods Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	782	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	349	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	302	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	181	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	156*	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	104	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	97	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	81	2019
Continuity and robustness of programs S Chaudhuri, S Gulwani, R Lublinerman Communications of the ACM 55 (8), 107-115, 2012	77	2012
Houdini: Lifelong learning as program synthesis L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri Neural Information Processing Systems (NeurIPS), 2018	72	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors