Login / Signup
Ye Liu
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 4
Top Topics
Supply Chain
Frequent Itemsets
Data Mining Methods
Knowledge Base
Top Venues
CoRR
Proc. ACM Softw. Eng.
</>
Publications
</>
Zhiyang Chen
,
Ye Liu
,
Sidi Mohamed Beillahi
,
Yi Li
,
Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts.
CoRR
(2024)
Ye Liu
,
Yi Li
,
Cyrille Artho
,
Yixuan Liu
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.
CoRR
(2024)
Ye Liu
,
Shuo Li
,
Xiuheng Wu
,
Yi Li
,
Zhiyang Chen
,
David Lo
Demystifying the Characteristics for Smart Contract Upgrades.
CoRR
(2024)
Zhiyang Chen
,
Ye Liu
,
Sidi Mohamed Beillahi
,
Yi Li
,
Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts.
Proc. ACM Softw. Eng.
1 (FSE) (2024)