BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
R.Bodík M.Arnold S.S.Sastry J.E.Smith
Talks about:
analysi (2) lightweight (1) increment (1) structur (1) optimist (1) special (1) automat (1) runtim (1) object (1) invari (1)

Person: Ajeet Shankar

DBLP DBLP: Shankar:Ajeet

Contributed to:

OOPSLA 20082008
PLDI 20072007
OOPSLA 20052005

Wrote 3 papers:

OOPSLA-2008-ShankarAB #dynamic analysis #lightweight #named
Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.
PLDI-2007-ShankarB #automation #data type #invariant #java #named
DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
OOPSLA-2005-ShankarSBS #analysis #runtime
Runtime specialization with optimistic heap analysis (AS, SSS, RB, JES), pp. 327–343.

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.