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 | 98 | 2013 |
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 | 33 | 2015 |
Automated differential program verification for approximate computing SK Lahiri, A Haran, S He, Z Rakamaric Technical report, Microsoft Research, 2015 | 12 | 2015 |
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 | 2 | 2018 |
Towards automated differential program verification for approximate computing SK Lahiri, Z Rakamarić, A Haran, S He Proc. Workshop Approximate Comput. Across Stack (WAX), 2015 | 2 | 2015 |
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 |