Follow
Shaobo He
Shaobo He
Amazon Web Services
Verified email at cs.utah.edu
Title
Cited by
Cited by
Year
SMACK software verification toolchain
M Carter, S He, J Whitaker, Z Rakamarić, M Emmi
Proceedings of the 38th International Conference on Software Engineering …, 2016
552016
Verifying Rust programs with SMACK
M Baranowski, S He, Z Rakamarić
Automated Technology for Verification and Analysis: 16th International …, 2018
442018
ct-fuzz: Fuzzing for Timing Leaks
S He, M Emmi, G Ciocarlie
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
362020
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
212016
Verifying relative safety, accuracy, and termination for program approximations
S He, SK Lahiri, Z Rakamarić
Journal of Automated Reasoning 60 (1), 23-42, 2018
152018
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
142020
Counterexample-guided bit-precision selection
S He, Z Rakamarić
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
112017
Automated differential program verification for approximate computing
SK Lahiri, A Haran, S He, Z Rakamaric
Technical report, Microsoft Research, 2015
112015
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
72020
Stochastic local search for solving floating-point constraints
S He, M Baranowski, Z Rakamarić
Numerical Software Verification: 12th International Workshop, NSV 2019, New …, 2019
32019
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
Improving Automation and Scalability of Rigorous Program Reasoning
S He
The University of Utah, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–12