Travelled to:1 × France
1 × Hungary
1 × India
1 × USA
1 × United Kingdom
Collaborated with:K.Pathade A.Sanyal B.Karkare ∅ D.M.Dhamdhere S.Kumar A.Mycroft P.S.Rawat A.Kanade
Talks about:analysi (4) flow (4) path (3) data (3) sensit (2) solut (2) slice (2) base (2) mfp (2) interprocedur (1)
Person: Uday P. Khedker
DBLP: Khedker:Uday_P=
Contributed to:
2015
2012
2008
2006
199320182019Wrote 8 papers:
- TACAS-2015-KumarSK #concept #scalability #slicing
- Value Slice: A New Slicing Concept for Scalable Property Checking (SK, AS, UPK), pp. 101–115.
- SAS-2012-KhedkerMR #analysis #pointer
- Liveness-Based Pointer Analysis (UPK, AM, PSR), pp. 265–282.
- CC-2008-KhedkerK #analysis #data flow #interprocedural #performance #precise #string
- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.
- SEFM-2006-KanadeSK #compilation #framework #optimisation #validation
- A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
- SEFM-2006-Khedker #perspective #source code #static analysis
- Static Analysis of Programs: A Heap Centric View (UPK), p. 261.
- POPL-1993-DhamdhereK #analysis #bidirectional #complexity #data flow
- Complexity of Bidirectional Data Flow Analysis (DMD, UPK), pp. 397–408.
- 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.