Fair Simulation Minimization. - Sankar Gurumurthy; Roderick Bloem; Fabio Somenzi (CAV, 2002)

On Complementing Nondeterministic Büchi Automata. - Sankar Gurumurthy; Orna Kupferman; Fabio Somenzi; Moshe Y. Vardi (CHARME, 2003)

Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor. - Sankar Gurumurthy; Shobha Vasudevan; Jacob A. Abraham (ITC, 2006)

Automatic Generation of Instructions to Robustly Test Delay Defects in Processors. - Sankar Gurumurthy; Ramtilak Vemu; Jacob A. Abraham; Daniel G. Saab (ETS, 2007)

ACCE: Automatic correction of control-flow errors. - Ramtilak Vemu; Sankar Gurumurthy; Jacob A. Abraham (ITC, 2007)

On efficient generation of instruction sequences to test for delay defects in a processor. - Sankar Gurumurthy; Ramtilak Vemu; Jacob A. Abraham; Suriyaprakash Natarajan (ACM Great Lakes Symposium on VLSI, 2008)

Functionally valid gate-level peak power estimation for processors. - Sriram Sambamurthy; Sankar Gurumurthy; Ramtilak Vemu; Jacob A. Abraham (ISQED, 2009)

Cache-resident self-testing for I/O circuitry. - Sankar Gurumurthy; D. Bertanzetti; P. Jakobsen; Jeff Rearick (ITC, 2009)

Comparing the effectiveness of cache-resident tests against cycleaccurate deterministic functional patterns. - Sankar Gurumurthy; Mustansir Pratapgarhwala; Curtis Gilgan; Jeff Rearick (ITC, 2014)

Silent Data Corruptions in Computing: Understand and Quantify. - Thiago Macieira; Sankar Gurumurthy; Sudhanva Gurumurthi; Amr Haggag; George Papadimitriou 001; Dimitris Gizopoulos (IOLTS, 2024)