Shaobo He - RankMe

15 papers A 1B 3Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR 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
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 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
2024	—	`conf`	How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion 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
2024	J	`jnl`	How We Built Cedar: A Verification-Guided Approach. CoRR 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
2020	—	`conf`	An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
2020	B	`conf`	Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. VMCAI Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
2020	A	`conf`	ct-fuzz: Fuzzing for Timing Leaks. ICST Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
2019	—	`—`	Improving Automation and Scalability of Rigorous Program Reasoning. Shaobo He
2019	—	`conf`	Stochastic Local Search for Solving Floating-Point Constraints. NSV@CAV Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric
2019	J	`jnl`	ct-fuzz: Fuzzing for Timing Leaks. CoRR Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
2018	J	`jnl`	Verifying Relative Safety, Accuracy, and Termination for Program Approximations. J. Autom. Reason. Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
2018	B	`conf`	Verifying Rust Programs with SMACK. ATVA Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
2017	B	`conf`	Counterexample-Guided Bit-Precision Selection. APLAS Shaobo He, Zvonimir Rakamaric
2016	—	`conf`	SMACK software verification toolchain. ICSE (Companion Volume) Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
2016	—	`conf`	Verifying Relative Safety, Accuracy, and Termination for Program Approximations. NFM Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric