Travelled to:1 × France
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:M.Naik X.Zhang H.Yang A.V.Nori Sulekha Kulkarni R.Grigore
Talks about:program (4) analysi (3) interprocedur (2) approach (2) analys (2) guid (2) correspond (1) framework (1) abstract (1) satisfi (1)
Person: Ravi Mangal
DBLP: Mangal:Ravi
Contributed to:
2015
2015
2014
2014
2016
2016Wrote 7 papers:
- ESEC-FSE-2015-MangalZNN #approach #program analysis
- A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.
- SAT-2015-MangalZNN #framework #lazy evaluation #named #satisfiability #scalability
- Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (RM, XZ, AVN, MN), pp. 299–306.
- ESOP-2014-MangalNY #analysis #interprocedural
- A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
- PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement
- On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
- PLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down
- Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
- OOPSLA-2016-KulkarniMZN #analysis
- Accelerating program analyses by cross-program training (SK, RM, XZ, MN), pp. 359–377.
- POPL-2016-ZhangMNN #satisfiability
- Query-guided maximum satisfiability (XZ, RM, AVN, MN), pp. 109–122.