Ningyu He - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Thu 26 Aug 2021

Name:Ningyu He

Country:China

Affiliation:Peking University

Contributions

2024

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ISSTA

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ECOOP/ISSTA

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Committee Member in Tool Demonstrations Program Committee within the Tool Demonstrations-track

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile