Arvind Haran

My areas of interest, include but are not limited to, software verification and algorithms. My current focus is on creating tools and techniques that empower development of error resilient C/C++ HPC programs.

Arvind Haran
Arvind Haran,
MS Student

School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112



Peer-Reviewed Publications

TACAS 2015 screenshot

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier (Competition Contribution)
Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015

PRDC 2013 screenshot

Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Towards Formal Approaches to System Resilience
Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2013