Anand Haridass

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 6

Top Topics

Formal Verification

Machine Learning Systems

Top Venues

ACM J. Emerg. Technol. Comput. Syst.

Publications

Sathwika Bavikadi, Abhijitt Dhavlle, Amlan Ganguly, Anand Haridass, Hagar Hendy, Cory E. Merkel, Vijay Janapa Reddi, Purab Ranjan Sutradhar, Arun Joseph, Sai Manoj Pudukotai Dinakarrao
A Survey on Machine Learning Accelerators and Evolutionary Hardware Platforms. IEEE Des. Test 39 (3) (2022)
Sai Manoj Pudukotai Dinakarrao, Arun Joseph, Amlan Ganguly, Anand Haridass, Vijay Janappa Reddi
Guest Editors' Introduction: Special Issue on Benchmarking Machine Learning Systems and Applications. IEEE Des. Test 39 (3) (2022)
Sai Manoj Pudukotai Dinakarrao, Arun Joseph, Anand Haridass, Muhammad Shafique, Jörg Henkel, Houman Homayoun
Application and Thermal-reliability-aware Reinforcement Learning Based Multi-core Power Management. ACM J. Emerg. Technol. Comput. Syst. 15 (4) (2019)
Arun Joseph, Spandana Rachamalla, Rahul M. Rao, Anand Haridass, Pradeep Kumar Nalla
FVCAG: A framework for formal verification driven power modeling and verification. ISLPED (2016)
Arun Joseph, Anand Haridass, Charles Lefurgy, Spandana Rachamalla, Sreekanth Pai, Diyanesh Chinnakkonda, Vidushi Goyal
FirmLeak: A Framework for Efficient and Accurate Runtime Estimation of Leakage Power by Firmware. VLSI Design (2015)
Arun Joseph, Anand Haridass, Charles Lefurgy, Sreekanth Pai, Spandana Rachamalla, Francesco Campisano
FreqLeak: A frequency step based method for efficient leakage power characterization in a system. ISLPED (2015)
Rohan Mandrekar, Yaping Zhou, Sungjun Chun, Anand Haridass, Jinwoo Choi, Nanju Na, Daniel M. Dreps, Roger D. Weekly, Paul Harvey
Channel Optimization for the Design of High Speed I/O links. VLSI Design (2010)
John U. Knickerbocker, Frank L. Pompeo, Alice F. Tai, Donald L. Thomas, Roger D. Weekly, Michael G. Nealon, Harvey C. Hamel, Anand Haridass, James N. Humenik, Richard A. Shelleman, Srinivasa N. Reddy, Kevin M. Prettyman, Benjamin V. Fasano, Sudipta K. Ray, Thomas E. Lombardi, Kenneth C. Marston, Patrick A. Coico, Peter J. Brofman, Lewis S. (Lew) Goldmann, David L. Edwards, Jeffrey A. Zitz, Sushumna Iruvanti, Subhash L. Shinde, Hai P. Longworth
An advanced multichip module (MCM) for high-performance UNIX servers. IBM J. Res. Dev. 46 (6) (2002)