Arvind Haran

According to our database, Arvind Haran authored at least 6 papers between 2013 and 2024.

Collaborative distances:

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

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