Ravi Mangal - Concepedia

Author

Ravi Mangal

Also Known As

Mangal, Ravi, Ravi Mangal, Wilson, James

Publications

346

Citations

H-Index

Concepts

All Affiliations

Ravi Mangal is an author at Georgia Institute of Technology specializing in software design, program analysis, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	220
2	Computer Science	5	5	220
3	Data Science	3	3	118
4	Civil Engineering	1	1	30
5	Computer Engineering	1	1	30

Ravi Mangal

Publications

220

Citations

H-Index

Page 1

	Year	Citations
On abstraction refinement for program analyses in Datalog Xin Zhang, Ravi Mangal, Radu Grigore, Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2014	86
A user-guided approach to program analysis Ravi Mangal, Xin Zhang, Aditya V. Nori, Software MaintenanceProgram CheckingEngineeringSoftware SystemsSoftware Engineering	2015	70
Hybrid top-down and bottom-up interprocedural analysis Xin Zhang, Ravi Mangal, Mayur Naik, Software MaintenanceEngineeringMeasurementCompiler TechnologySoftware Engineering	2014	30
Accelerating program analyses by cross-program training Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Software MaintenanceShare CodeEngineeringSoftware SystemsSoftware Engineering	2016	18
On abstraction refinement for program analyses in Datalog Xin Zhang, Ravi Mangal, Radu Grigore, ACM SIGPLAN Notices Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2014	16

Page 1