Arvind Haran

According to our database, Arvind Haran authored at least 8 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

IBM Telum II Microprocessor: 5.5 GHz With On-Die AI and Data Processing, and Design-Technology Co-Optimizations for Power, Area, and Reliability.

Gerald Strevig, David Wolpert, Leon Sigal, Bill Huott, Mark Cichanowski, Noam Jungmann, Michael A. Sperling, Michael J. Becht, Matthias Pflanz, Daniel Kiss, Simon Büchsenstein, Tobias Werner, Philipp Salz, Michael Romain, Richard E. Serton, Nick Jing, Rajesh Veerabhadraiah, Dureseti Chidambarrao, Robert Arelt, Matt Angyal, Ben Trombley, Arvind Haran, Rahul M. Rao, Christopher J. Berry, Amanda Venton, Elazar Kachir, Andreas Arp

IEEE J. Solid State Circuits, January, 2026

2025

37.1 IBM Telum II Processor Design-Technology Co-Optimizations for Power, Performance, Area, and Reliability.

David Wolpert, Gerry Strevig, Christopher J. Berry, Leon J. Sigal, Bill Huott, Mark Cichanowski, Matthias Pflanz, Tobias Werner, Philipp Salz, Nick Jinq, Michael Romain, Iris Leefken, Richard E. Serton, Rajesh Veerabhadraiah, Dureseti Chidambarrao, Robert Arelt, Matt Angyal, Ben Trombley, Arvind Haran, Stefan Hougardy, Ben Klotz, Rahul M. Rao

Proceedings of the IEEE International Solid-State Circuits Conference, 2025

2024

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

Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD, 2024

2023

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

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2019

Rewriting toward trace coverage analysis of symmetric systems.

Flavio M. de Paula, Arvind Haran, Brad Bingham

Innov. Syst. Softw. Eng., 2019

2018

An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems.

Flavio M. de Paula, Arvind Haran, Brad Bingham

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2015

SMACK+Corral: A Modular Verifier - (Competition Contribution).

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Towards Formal Approaches to System Resilience.

Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013