activity
20192025
most citedQuantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems

54 citations · 59 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE20251 cited

When Large Language Models Meet UAV Projects: An Empirical Study from Developers' Perspective

Yihua Chen, Xingle Que, Jiashuo Zhang +4

In recent years, unmanned aerial vehicles (UAVs) have become increasingly popular in our daily lives and have attracted significant research interest in software engineering. At th…

cs.SE2025

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects

Hao Song, Teng Li, Jiachi Chen +6

The Open Network (TON), designed to support Telegram's extensive user base of hundreds of millions, has garnered considerable attention since its launch in 2022. FunC is the most p…

cs.SE20212 cited

Smart Contract Security: a Practitioners' Perspective

Zhiyuan Wan, Xin Xia, David Lo +3

Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart…

cs.SE20201 cited

Finding Ethereum Smart Contracts Security Issues by Comparing History Versions

Jiachi Chen

Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a…

cs.SE2020

DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

Jiachi Chen, Xin Xia, David Lo +3

Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts…