SMACK software verification toolchain. - Montgomery Carter; Shaobo He 002; Jonathan Whitaker; Zvonimir Rakamaric; Michael Emmi (ICSE (Companion Volume), 2016)

Verifying Relative Safety, Accuracy, and Termination for Program Approximations. - Shaobo He 002; Shuvendu K. Lahiri; Zvonimir Rakamaric (NFM, 2016)

Counterexample-Guided Bit-Precision Selection. - Shaobo He 002; Zvonimir Rakamaric (APLAS, 2017)

Verifying Rust Programs with SMACK. - Marek S. Baranowski; Shaobo He 002; Zvonimir Rakamaric (ATVA, 2018)

Stochastic Local Search for Solving Floating-Point Constraints. - Shaobo He 002; Marek S. Baranowski; Zvonimir Rakamaric (NSV@CAV, 2019)

Improving Automation and Scalability of Rigorous Program Reasoning. - Shaobo He 002 (2019)

An SMT Theory of Fixed-Point Arithmetic. - Marek S. Baranowski; Shaobo He 002; Mathias Lechner; Thanh Son Nguyen; Zvonimir Rakamaric (IJCAR (1), 2020)

ct-fuzz: Fuzzing for Timing Leaks. - Shaobo He 002; Michael Emmi; Gabriela F. Ciocarlie (ICST, 2020)

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. - Jack J. Garzella; Marek S. Baranowski; Shaobo He 002; Zvonimir Rakamaric (VMCAI, 2020)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He 002; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He 002; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He 002; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)