Verifying GPU kernels by test amplification. - Alan Leung; Manish Gupta 010; Yuvraj Agarwal; Rajesh Gupta 001; Ranjit Jhala; Sorin Lerner (PLDI, 2012)

Reliability and Performance Trade-off Study of Heterogeneous Memories. - Manish Gupta 010; David Roberts; Mitesh R. Meswani; Vilas Sridharan; Dean M. Tullsen; Rajesh K. Gupta 001 (MEMSYS, 2016)

Compiler Techniques to Reduce the Synchronization Overhead of GPU Redundant Multithreading. - Manish Gupta 010; Daniel Lowell; John Kalamatianos; Steven Raasch; Vilas Sridharan; Dean M. Tullsen; Rajesh K. Gupta 001 (DAC, 2017)

Software Techniques to Enhance Reliability of Emerging Compute and Memory Units. - Manish Gupta 010 (2017)

Reliability-Aware Data Placement for Heterogeneous Memory Architecture. - Manish Gupta 010; Vilas Sridharan; David Roberts; Andreas Prodromou; Ashish Venkat; Dean M. Tullsen; Rajesh K. Gupta 001 (HPCA, 2018)