Swarat Chaudhuri - Concepedia

Author

Swarat Chaudhuri

Rice University ORCID

Also Known As

Chaudhuri, Swarat, Farzan, Azadeh, Pistone, Paolo, Swarat Chaudhuri, Wen, Yeming

193

Publications

4.9K

Citations

H-Index

158

Concepts

All Affiliations

Rice University Pennsylvania State University The University of Texas at Austin Microsoft (United States)Google (United States)

About

Swarat Chaudhuri is an author at Rice University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	28	50	3.1K
2	Health Sciences	4	4	248
3	Education	3	3	66
4	Language Studies	3	3	76
5	Business	2	2	95

Swarat Chaudhuri

Publications

4.4K

Citations

H-Index

Page 1

	Year	Citations
A study of android application security William Enck, Damien Octeau, Patrick McDaniel,	2011	856
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Artificial IntelligenceEngineeringMachine LearningNeural Networks (Machine Learning)Verification	2018	798
Synthesizing data structure transformations from input-output examples John Feser, Swarat Chaudhuri EngineeringComputer-aided DesignData Structure TransformationsFunctional LanguageSoftware Analysis	2015	255
Incremental Task and Motion Planning: A Constraint-Based Approach Neil T. Dantam, Zachary Kingston, Swarat Chaudhuri,	2016	168
Proving programs robust Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Program CheckingEngineeringProgram AnalysisAutomated ReasoningSoftware Testing	2011	140
Component-based synthesis of table consolidation and transformation tasks from examples Yu Feng, Ruben Martins, Jacob Van Geffen, EngineeringSoftware EngineeringSynthesis AlgorithmFormal VerificationSoftware Analysis	2017	137
An incremental constraint-based framework for task and motion planning Neil T. Dantam, Zachary Kingston, Swarat Chaudhuri, The International Journal of Robotics Research EngineeringRobot PlanningPhysical RobotField RoboticsIncremental Constraint-based Framework	2018	122
Continuity analysis of programs Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman Mathematical ProgrammingSoftware MaintenanceProgram CheckingEngineeringVerification	2010	112
Programmatically Interpretable Reinforcement Learning Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, arXiv (Cornell University) Artificial IntelligenceEngineeringMachine LearningMulti-agent LearningLearning Control	2018	97
Subcubic algorithms for recursive state machines Swarat Chaudhuri Reachability AnalysisComputational Complexity TheoryEngineeringSubcubic AlgorithmsReachability Problem	2008	90

Page 1