We stand with Ukraine  

Ye Liu

Orcid: 0000-0001-6709-3721

Affiliations:
  • Nanyang Technological University, NTU, School of Computer Science and Engineering, Singapore (PhD 2023)


According to our database1, Ye Liu authored at least 11 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Cyrille Artho
,
Yixuan Liu
CoRR, 2024

2023
On security and reliability of smart contracts: the applications of dynamic specification mining on solidity
[BibTeX]
[DOI]
Ye Liu
PhD thesis, 2023

A Comprehensive Study of Governance Issues in Decentralized Finance Applications.
[BibTeX]
[DOI]
Wei Ma
,
Chenguang Zhu
,
Ye Liu
,
Xiaofei Xie
,
Yi Li
CoRR, 2023

2022
Oracle-Supported Dynamic Exploit Generation for Smart Contracts.
[BibTeX]
[DOI]
Haijun Wang
,
Ye Liu
,
Yi Li
,
Shangwei Lin
,
Cyrille Artho
,
Lei Ma
,
Yang Liu
IEEE Trans. Dependable Secur. Comput., 2022

SolSEE: a source-level symbolic execution engine for solidity.
[BibTeX]
[DOI]
Shang-Wei Lin
,
Palina Tolmach
,
Ye Liu
,
Yi Li
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

A Unified Specification Mining Framework for Smart Contracts.
[BibTeX]
[DOI]
Ye Liu
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Identifying Solidity Smart Contract API Documentation Errors.
[BibTeX]
[DOI]
Chenguang Zhu
,
Ye Liu
,
Xiuheng Wu
,
Yi Li
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Finding permission bugs in smart contracts with role mining.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Shang-Wei Lin
,
Cyrille Artho
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020
ModCon: a model-based testing platform for smart contracts.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Shang-Wei Lin
,
Qiang Yan
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards automated verification of smart contract fairness.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Shang-Wei Lin
,
Rong Zhao
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020


  Loading...