BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Khedker:Uday_P=

Contributed to:

TACAS 20152015
SAS 20122012
CC 20082008
SEFM 20062006
POPL 19931993
CC 20182018
CC 20192019

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

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.