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.
"No bird soars too high, if he soars with his own wings." W. Blake
Arvind Haran
Arvind Haran,
MS Student
Contact
haran@cs.utah.edu
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112
Publications
Peer-Reviewed Publications
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
Towards Formal Approaches to System Resilience
Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), 2013