Follow
Arvind Haran
Arvind Haran
Software Engineer, IBM
Verified email at us.ibm.com
Title
Cited by
Cited by
Year
Towards formal approaches to system resilience
VC Sharma, A Haran, Z Rakamaric, G Gopalakrishnan
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing …, 2013
972013
SMACK+ Corral: A Modular Verifier: (Competition Contribution)
A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
332015
Automated differential program verification for approximate computing
SK Lahiri, A Haran, S He, Z Rakamaric
Technical report, Microsoft Research, 2015
112015
An efficient rewriting framework for trace coverage of symmetric systems
FM De Paula, A Haran, B Bingham
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
22018
Towards automated differential program verification for approximate computing
SK Lahiri, Z Rakamarić, A Haran, S He
Proc. Workshop Approximate Comput. Across Stack (WAX), 2015
22015
Characterization and Exploration of Latch Checkers for Efficient RAS Protection
K Swaminathan, R Bertran, D Balazich, A Buyuktosunoglu, A Haran, ...
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
2023
Trace-based generation of states within a system
FM De Paula, BD Bingham, A Haran
US Patent 11,481,534, 2022
2022
Rewriting toward trace coverage analysis of symmetric systems
FM De Paula, A Haran, B Bingham
Innovations in Systems and Software Engineering 15 (3), 191-206, 2019
2019
Program analyses for resilient and approximate computation
A Haran
The University of Utah, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–9