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

VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
ICST 2020	Author of ct-fuzz: Fuzzing for Timing Leaks within the Testing Tools Track-track
VMCAI 2020	Author of Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification within the VMCAI 2020-track