Shale Xiong -

Registered user since Wed 15 Apr 2020

Name:Shale Xiong

Country:United Kingdom

Affiliation:ARM

Personal website: http://www.shalexiong.com

Contributions

2024

Static Analysis Symposium

Keynote Speaker of Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper) within the SAS 2024-track

2023

SPLASH

Author of A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations within the OOPSLA-track

2020

ECOOP

Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track