Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. - Aditya Desai; Era Jain; Subhajit Roy 001 (APSEC (1), 2013)

Phase Directed Compiler Optimizations. - Era Jain; Subhajit Roy 001 (HiPC, 2016)