• Sign in
  • Sign up
conf.researchr.org / Ye Liu
  • ASE 2022 profile
  • ESEC/FSE 2022 profile
  • SANER 2025 profile
No Photo

Registered user since Sat 9 May 2020

Name:Ye Liu

Contributions

2025

SANER

  • Author of Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction within the Research Papers-track

2022

ESEC/FSE

  • Author of SolSEE: A Source-Level Symbolic Execution Engine for Solidity within the Demonstrations-track

ASE

  • 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
Share
xThu 15 May 10:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up