Runtime specialization with optimistic heap analysis. - Ajeet Shankar; S. Subramanya Sastry; Rastislav Bodík; James E. Smith 001 (OOPSLA, 2005)

DITTO: automatic incrementalization of data structure invariant checks (in Java). - Ajeet Shankar; Rastislav Bodík (PLDI, 2007)

Jolt: lightweight dynamic analysis and removal of object churn. - Ajeet Shankar; Matthew Arnold; Rastislav Bodík (OOPSLA, 2008)