| SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 58 | 2016 |
| Verifying Rust programs with SMACK M Baranowski, S He, Z Rakamarić Automated Technology for Verification and Analysis: 16th International …, 2018 | 53 | 2018 |
| ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 42 | 2020 |
| 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 |
| 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 | 17 | 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 |
| Leveraging compiler intermediate representation for multi-and cross-language verification JJ Garzella, M Baranowski, S He, Z Rakamarić Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 12 | 2020 |
| 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ć Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 11 | 2017 |
| 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 | 3 | 2024 |
| Stochastic local search for solving floating-point constraints S He, M Baranowski, Z Rakamarić Numerical Software Verification: 12th International Workshop, NSV 2019, New …, 2019 | 3 | 2019 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) J Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 2 | 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 |
| 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 | | 2024 |
| Authorization policy evaluation E Torlak, D Mcadams, N Rungta, MW Hicks, CR Disselkoen, AJ Eline, ... US Patent App. 18/070,321, 2024 | | 2024 |
| Improving Automation and Scalability of Rigorous Program Reasoning S He The University of Utah, 2019 | | 2019 |
Zvonimir RakamaricAmazon Web Services (AWS)在 amazon.com 的电子邮件经过验证
