2 papers
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…
cs.SE2020
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Xiaoxue Ma, Shangru Wu, Ernest Pobee +4
Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code…