Swarat Chaudhuri

Cited by

	All	Since 2016
Citations	3921	2433
h-index	29	23
i10-index	52	37

720

360

180

540

20072008200920102011201220132014201520162017201820192020202122 27 32 46 92 232 288 341 337 351 365 428 553 710 20

Co-authors

Lydia E. KavrakiRice UniversityVerified email at rice.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Chris JermaineAssociate Professor of Computer Science, Rice UniversityVerified email at cs.rice.edu
Vijayaraghavan MuraliFacebookVerified email at fb.com
Neil T. DantamAssistant Professor of Computer Science, Colorado School of MinesVerified email at mines.edu
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Abhinav VermaGraduate Student, Computer Science, University of Texas at AustinVerified email at utexas.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Patrick McDanielWilliam L. Weiss Professor, Computer Science and Engineering, Penn State UnviersityVerified email at cse.psu.edu
William EnckAssociate Professor of Computer Science, North Carolina State UniversityVerified email at ncsu.edu
Damien OcteauGoogleVerified email at google.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
Timon GehrETH ZürichVerified email at inf.ethz.ch
Dana Drachsler-CohenTechnionVerified email at ee.technion.ac.il
Armando Solar-LezamaMITVerified email at csail.mit.edu
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu

Swarat Chaudhuri

University of Texas at Austin

Verified email at cs.utexas.edu - Homepage

Programming Languages Formal Methods Machine Learning


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	1231	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	344	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	222	2015
Proving programs robust S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	141	2011
Incremental Task and Motion Planning: A Constraint-Based Approach. NT Dantam, ZK Kingston, S Chaudhuri, LE Kavraki Robotics: Science and systems 12, 00052, 2016	120	2016
Continuity analysis of programs S Chaudhuri, S Gulwani, R Lublinerman 37th Symposium on Principles of Programming Languages (POPL), 57-70, 2010	107	2010
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	98	2017
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	95	2018
Neural Sketch Learning for Conditional Program Generation V Murali, L Qi, S Chaudhuri, C Jermaine International Conference for Learning Representations (ICLR), 2018	88*	2018
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	76	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	71	2014
Subcubic algorithms for recursive state machines S Chaudhuri Symposium on Principles of Programming Languages (POPL), 159-169, 2008	66	2008
Continuity and robustness of programs S Chaudhuri, S Gulwani, R Lublinerman Communications of the ACM 55 (8), 107-115, 2012	63	2012
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	61	2011
Model checking of linearizability of concurrent list implementations P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur International Conference on Computer Aided Verification, 465-479, 2010	57	2010
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	56	2009
Smooth interpretation S Chaudhuri, A Solar-Lezama ACM Sigplan Notices 45 (6), 279-291, 2010	50	2010
Languages of nested trees R Alur, S Chaudhuri, P Madhusudan International Conference on Computer Aided Verification, 329-342, 2006	50*	2006
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	45	2018
A fixpoint calculus for local and global program flows R Alur, S Chaudhuri, P Madhusudan Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006	44	2006

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

Upload PDF

Follow this author

Cited by

Co-authors