Ke Wang -

Registered user since Fri 26 Apr 2024

Name:Ke Wang

Affiliation:Peking University

Contributions

2025

SPLASH

Author of Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations within the OOPSLA-track

2024

ESEC/FSE

Author of XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges within the Demonstrations-track

International Conference on Program Comprehension

Author of SolaSim: Clone Detection for Solana Smart Contracts via Program Representation within the Research Track-track