Travelled to:
1 × Ireland
Collaborated with:
S.Gulwani E.Koskinen
Talks about:
progress (1) control (1) analysi (1) invari (1) refin (1) bound (1) flow (1)
Person: Sagar Jain
DBLP: Jain:Sagar
Contributed to:
Wrote 1 papers:
- PLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement
- Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.