Ye Liu

Breaking the computation and communication abstraction barrier in distributed machine learning workloads

2022

Recent trends towards large machine learning models require both training and inference tasks to be distributed. Considering the huge cost of training these models, it is imperative to unlock optimizations in computation and communication to …

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts

2022

Smart contracts are self-executing computer programs deployed on blockchain to enable trustworthy exchange of value without the need of a central authority. With the absence of documentation and specifications, routine tasks such as program understanding, …

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction

2025

Smart contracts are computer programs running on blockchains to implement Decentralized Applications. The absence of contract specifications hinders routine tasks, such as contract understanding and testing. In this work, we propose a specification mining approach …