Collaborated with:
U.P.Khedker
Talks about:
path (3) sensit (2) solut (2) flow (2) mfp (2) intersect (1) segment (1) presenc (1) partial (1) control (1)
Person: Komal Pathade
DBLP: Pathade:Komal
Contributed to:
Wrote 2 papers:
- CC-2018-PathadeK #analysis #data flow
- Computing partially path-sensitive MFP solutions in data flow analyses (KP, UPK), pp. 37–47.
- CC-2019-PathadeK #control flow
- Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments (KP, UPK), pp. 159–169.