FreqLeak: A frequency step based method for efficient leakage power characterization in a system. - Arun Joseph; Anand Haridass; Charles Lefurgy; Sreekanth Pai; Spandana Rachamalla; Francesco Campisano (ISLPED, 2015)

Virtual logic netlist: Enabling efficient RTL analysis. - Spandana Rachamalla; Arun Joseph; Rahul M. Rao; Diwesh Pandey (ISQED, 2015)

FirmLeak: A Framework for Efficient and Accurate Runtime Estimation of Leakage Power by Firmware. - Arun Joseph; Anand Haridass; Charles Lefurgy; Spandana Rachamalla; Sreekanth Pai; Diyanesh Chinnakkonda; Vidushi Goyal (VLSID, 2015)

FVCAG: A framework for formal verification driven power modeling and verification. - Arun Joseph; Spandana Rachamalla; Rahul M. Rao; Anand Haridass; Pradeep Kumar Nalla (ISLPED, 2016)

Heterogeneity Aware Power Abstraction for Hierarchical Power Analysis. - Arun Joseph; Spandana Rachamalla; Shashidhar Reddy; Nagu R. Dhanwada (VLSID, 2019)

Heterogeneity aware power abstractions for dynamic power dominated FinFET-based microprocessors. - Spandana Rachamalla; Shashidhar Reddy; Arun Joseph (IET Comput. Digit. Tech., 2019)