activity
20202026
most citedRegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.SE2021

A Multi-Modal Transformer-based Code Summarization Approach for Smart Contracts

Zhen Yang, Jacky Keung, Xiao Yu +4

Code comment has been an important part of computer programs, greatly facilitating the understanding and maintenance of source code. However, high-quality code comments are often u…