| Rigorous estimation of floating-point round-off errors with symbolic taylor expansions A Solovyev, C Jacobsen, Z Rakamarić, G Gopalakrishnan International Symposium on Formal Methods, 532-550, 2015 | 180 | 2015 |
| Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 179 | 2011 |
| SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi International Conference on Computer Aided Verification, 106-113, 2014 | 160 | 2014 |
| Rigorous floating-point mixed-precision tuning WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ... Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 149 | 2017 |
| Evaluation of Android Malware Detection Based on System Calls M Dimjašević, S Atzeni, I Ugrina, Z Rakamaric Proceedings of the 2016 ACM on International Workshop on Security And …, 2016 | 108 | 2016 |
| System Programming in Rust: Beyond Safety A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamarić, ... | 107 | 2017 |
| A reachability predicate for analyzing low-level software S Chatterjee, SK Lahiri, S Qadeer, Z Rakamarić International Conference on Tools and Algorithms for the Construction and …, 2007 | 97 | 2007 |
| Static and precise detection of concurrency errors in systems code using SMT solvers SK Lahiri, S Qadeer, Z Rakamarić International Conference on Computer Aided Verification, 509-524, 2009 | 95 | 2009 |
| Efficient search for inputs causing high floating-point errors WF Chiang, G Gopalakrishnan, Z Rakamaric, A Solovyev Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014 | 94 | 2014 |
| Towards Formal Approaches to System Resilience VC Sharma, A Haran, Z Rakamaric, G Gopalakrishnan | 94 | 2013 |
| ARCHER: Effectively Spotting Data Races in Large OpenMP Applications S Atzeni, G Gopalakrishnan, Z Rakamaric, DH Ahn, I Laguna, M Schulz, ... 8th International Workshop on Exploiting Concurrency Efficiently and …, 2015 | 87 | 2015 |
| CIVL: The Concurrency Intermediate Verification Language SF Siegel, MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, R Thakur, ... | 87* | |
| JDart: A Dynamic Symbolic Analysis Framework K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ... 22nd International Conference on Tools and Algorithms for the Construction …, 2016 | 82 | 2016 |
| Symbolic Learning of Component Interfaces D Giannakopoulou, Z Rakamaric, V Raman Static Analysis Symposium (SAS), 2012 | 65 | 2012 |
| A logic and decision procedure for predicate abstraction of heap-manipulating programs J Bingham, Z Rakamarić Verification, Model Checking, and Abstract Interpretation, 207-221, 2006 | 54 | 2006 |
| SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 53 | 2016 |
| SMACK Software Verification Toolchain SH Montgomery Carter, J Whitaker, Z Rakamaric, M Emmi 38th IEEE/ACM International Conference on Software Engineering (ICSE), 2016 | 53* | 2016 |
| A scalable memory model for low-level code Z Rakamarić, A Hu Verification, Model Checking, and Abstract Interpretation, 290-304, 2009 | 45 | 2009 |
| Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers P Deligiannis, AF Donaldson, Z Rakamaric 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015 | 44 | 2015 |
| An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures Z Rakamarić, J Bingham, A Hu Verification, Model Checking, and Abstract Interpretation, 106-121, 2007 | 43 | 2007 |
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
