Ye Liu -

Registered user since Sat 9 May 2020

Name:Ye Liu

Contributions

ESEC/FSE 2022	Author of SolSEE: A Source-Level Symbolic Execution Engine for Solidity within the Demonstrations-track
ASE 2022	Author of InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts within the Tool Demonstrations-track Author of A Unified Specification Mining Framework for Smart Contracts within the Student Research Competition-track Author of Identifying Solidity Smart Contract API Documentation Errors within the Artifact Evaluation-track Author of Identifying Solidity Smart Contract API Documentation Errors within the Research Papers-track