BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mangal:Ravi

Contributed to:

ESEC/FSE 20152015
SAT 20152015
ESOP 20142014
PLDI 20142014
OOPSLA 20162016
POPL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.