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

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