Towards Formal Approaches to System Resilience. - Vishal Chandra Sharma; Arvind Haran; Zvonimir Rakamaric; Ganesh Gopalakrishnan (PRDC, 2013)

SMACK+Corral: A Modular Verifier - (Competition Contribution). - Arvind Haran; Montgomery Carter; Michael Emmi; Akash Lal; Shaz Qadeer; Zvonimir Rakamaric (TACAS, 2015)

An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems. - Flavio M. de Paula; Arvind Haran; Brad Bingham (NFM, 2018)

Rewriting toward trace coverage analysis of symmetric systems. - Flavio M. de Paula; Arvind Haran; Brad Bingham (Innov. Syst. Softw. Eng., 2019)

Characterization and Exploration of Latch Checkers for Efficient RAS Protection. - Karthik Swaminathan; Ramon Bertran; Doug Balazich; Alper Buyuktosunoglu; Arvind Haran; Sean M. Carey; Karl Anderson; Hans M. Jacobson; Matthias Pflanz; Pradip Bose (DSN-S, 2023)

Chain-of-Descriptions: Improving Code LLMs for VHDL Code Generation and Summarization. - Prashanth Vijayaraghavan; Apoorva Nitsure; Charles Mackin; Luyao Shi; Stefano Ambrogio; Arvind Haran; Viresh Paruthi; Ali El-Zein; Dan Coops; David Beymer; Tyler Baldwin; Ehsan Degan (MLCAD, 2024)

37.1 IBM Telum II Processor Design-Technology Co-Optimizations for Power, Performance, Area, and Reliability. - David Wolpert 001; Gerry Strevig; Christopher J. Berry; Leon J. Sigal; Bill Huott; Mark Cichanowski; Matthias Pflanz; Tobias Werner 001; Philipp Salz; Nick Jinq; Michael Romain; Iris Leefken; et al. (ISSCC, 2025)