Shaobo He

According to our database, Shaobo He authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2020

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.

Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

ct-fuzz: Fuzzing for Timing Leaks.

Shaobo He, Michael Emmi, Gabriela F. Ciocarlie

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

An SMT Theory of Fixed-Point Arithmetic.

Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Improving Automation and Scalability of Rigorous Program Reasoning.

Shaobo He

PhD thesis, 2019

Stochastic Local Search for Solving Floating-Point Constraints.

Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Verifying Rust Programs with SMACK.

Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Counterexample-Guided Bit-Precision Selection.

Shaobo He, Zvonimir Rakamaric

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Verifying Relative Safety, Accuracy, and Termination for Program Approximations.

Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

SMACK software verification toolchain.

Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi

Proceedings of the 38th International Conference on Software Engineering, 2016