Efficient and accurate data dependence profiling using software signatures. - Rajeshwar Vanka; James Tuck 001 (CGO, 2012)

Runtime checking C programs. - Reed Milewicz; Rajeshwar Vanka; James Tuck 001; Daniel J. Quinlan; Peter Pirkelbauer (SAC, 2015)

Lightweight runtime checking of C programs with RTC. - Reed Milewicz; Rajeshwar Vanka; James Tuck 001; Daniel J. Quinlan; Peter Pirkelbauer (Comput. Lang. Syst. Struct., 2016)