5
Publications
220
Citations
5
H-Index
2014
Active since
Affiliations
Ravi Mangal is an author at Georgia Institute of Technology specializing in software design, program analysis, and computer science.
Top concepts
EngineeringSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringFormal MethodsData ScienceFormal Verification
Publications per year
2014–2016
5
5
On abstraction refinement for program analyses in Datalog
Xin Zhang, Ravi Mangal, Radu Grigore et al. · 2014 · 86 citations
A user-guided approach to program analysis
Ravi Mangal, Xin Zhang, Aditya V. Nori et al. · 2015 · 70 citations
Hybrid top-down and bottom-up interprocedural analysis
Xin Zhang, Ravi Mangal, Mayur Naik et al. · 2014 · 30 citations
Accelerating program analyses by cross-program training
Sulekha Kulkarni, Ravi Mangal, Xin Zhang et al. · 2016 · 18 citations · Full text
On abstraction refinement for program analyses in Datalog
Xin Zhang, Ravi Mangal, Radu Grigore et al. · ACM SIGPLAN Notices · 2014 · 16 citations
Rows per page
1–5 of 5