| SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 67 | 2016 |
| Verifying Rust programs with SMACK M Baranowski, S He, Z Rakamarić International Symposium on Automated Technology for Verification and …, 2018 | 62 | 2018 |
| ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 58 | 2020 |
| An SMT theory of fixed-point arithmetic M Baranowski, S He, M Lechner, TS Nguyen, Z Rakamarić International Joint Conference on Automated Reasoning, 13-31, 2020 | 28 | 2020 |
| Cedar: A new language for expressive, fast, safe, and analyzable authorization JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024 | 27 | 2024 |
| Verifying Relative Safety, Accuracy, and Termination for Program Approximations S He, SK Lahiri, Z Rakamarić 8th International Symposium on NASA Formal Methods 9690, 237-254, 2016 | 21 | 2016 |
| Leveraging compiler intermediate representation for multi-and cross-language verification JJ Garzella, M Baranowski, S He, Z Rakamarić International Conference on Verification, Model Checking, and Abstract …, 2020 | 19 | 2020 |
| Verifying relative safety, accuracy, and termination for program approximations S He, SK Lahiri, Z Rakamarić Journal of Automated Reasoning 60 (1), 23-42, 2018 | 15 | 2018 |
| Automated differential program verification for approximate computing SK Lahiri, A Haran, S He, Z Rakamaric Technical report, Microsoft Research, 2015 | 12 | 2015 |
| Counterexample-guided bit-precision selection S He, Z Rakamarić Asian Symposium on Programming Languages and Systems, 534-553, 2017 | 11 | 2017 |
| How we built Cedar: A verification-guided approach C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 4 | 2024 |
| Stochastic local search for solving floating-point constraints S He, M Baranowski, Z Rakamarić International Workshop on Numerical Software Verification, 76-84, 2019 | 4 | 2019 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 3 | 2024 |
| 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 |
| Authorization policy evaluation E Torlak, D MCADAMS, N Rungta, MW Hicks, CR DISSELKOEN, AJ Eline, ... US Patent 12,483,595, 2025 | | 2025 |
| Improving Automation and Scalability of Rigorous Program Reasoning S He The University of Utah, 2019 | | 2019 |
Zvonimir RakamaricAmazon Web Services (AWS)Verified email at amazon.com
