Shaobo He -

Registered user since Fri 30 Sep 2022

Name:Shaobo He

Country:United States

Affiliation:Amazon Web Services

Research interests:Formal Methods, Software Verification

Contributions

2024

SPLASH

Author of Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization within the OOPSLA 2024-track

ESEC/FSE

Author of How We Built Cedar: A Verification-Guided Approach within the Industry Papers-track

2023

VMCAI

Committee Member in Program Committee within the VMCAI 2023-track

2020

ICST

Author of ct-fuzz: Fuzzing for Timing Leaks within the Testing Tools Track-track

VMCAI

Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track