TCSE logo 
 Sigsoft logo
Sustainability badge

Dates
Thu 1 May 2025
Fri 2 May 2025
Rooms
204
210
211
Canada Hall 1 and 2
Tracks
ICSE Journal-first Papers
ICSE Research Track
Badges
AI for SE
ARTIFACT
Analysis
Artifact-Available
Artifact-Functional
Artifact-Reusable
Award Winner
Blockchain
Design/Arch
Digital twins
Distinguished paper Award Candidate
FULL
Formal Methods
Hands-on
Human/Social
Prog. Comprehension/Reengg.
Quantum
Real-Time+Safety
Requirements
Research Methods
SE for AI
SHORT
Security
Testing and QA
Your Program
Nothing to filter

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 1 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Security and Analysis 1Research Track / SE In Practice (SEIP) at 210
11:30
15m
Talk
Enhancing The Open Network: Definition and Automated Detection of Smart Contract DefectsBlockchainSecurityAward Winner
Research Track
Hao Song , Teng Li University of Electronic Science and Technology of China, Jiachi Chen Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Beibei Li Sichuan University, Zhangyan Lin University of Electronic Science and Technology of China, Yi Lu BitsLab, Pan Li MoveBit, Xihan Zhou TonBit
12:15
15m
Talk
FairChecker: Detecting Fund-stealing Bugs in DeFi Protocols via Fairness ValidationBlockchainSecurity
Research Track
Yi Sun Purdue University, USA, Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University
14:00 - 15:30
AI for Security 1Research Track at 210
14:45
15m
Talk
Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with JustificationsBlockchainSecurity
Research Track
Wei Ma , Daoyuan Wu The Hong Kong University of Science and Technology, Yuqiang Sun Nanyang Technological University, Tianwen Wang National University of Singapore, Shangqing Liu Nanyang Technological University, Jian Zhang Nanyang Technological University, Yue Xue , Yang Liu Nanyang Technological University

Fri 2 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Program Comprehension 3Research Track / Journal-first Papers at 204
11:00
15m
Talk
Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and MigrationBlockchain
Research Track
Jiashuo Zhang Peking University, China, Jiachi Chen Sun Yat-sen University, John Grundy Monash University, Jianbo Gao Peking University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Zhi Guan Peking University, Zhong Chen
11:00 - 12:30
11:45
15m
Talk
A Large-Scale Exploratory Study on the Proxy Pattern in EthereumBlockchain
Journal-first Papers
Amir Ebrahimi Queen's University, Bram Adams Queen's University, Gustavo A. Oliva Queen's University, Ahmed E. Hassan Queen’s University
16:00 - 17:30
16:00
15m
Talk
An Empirical Study of Proxy Smart Contracts at the Ethereum Ecosystem ScaleBlockchainArtifact-Available
Research Track
Mengya Zhang The Ohio State University, Preksha Shukla George Mason University, Wuqi Zhang Mega Labs, Zhuo Zhang Purdue University, Pranav Agrawal George Mason University, Zhiqiang Lin The Ohio State University, Xiangyu Zhang Purdue University, Xiaokuan Zhang George Mason University
16:15
15m
Talk
Demystifying and Detecting Cryptographic Defects in Ethereum Smart ContractsBlockchainAward Winner
Research Track
Jiashuo Zhang Peking University, China, Yiming Shen Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jianzhong Su Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Jianbo Gao Peking University, Zhong Chen
16:30
15m
Talk
Chord: Towards a Unified Detection of Blockchain Transaction Parallelism BugsBlockchain
Research Track
Yuanhang Zhou Tsinghua University, Zhen Yan Tsinghua University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
16:45
15m
Talk
Definition and Detection of Centralization Defects in Smart ContractsBlockchain
Research Track
Zewei Lin Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jiajing Wu Sun Yat-sen University, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University
17:00
15m
Talk
Fork State-Aware Differential Fuzzing for Blockchain Consensus ImplementationsBlockchainArtifact-FunctionalArtifact-Available
Research Track
Won Hoi Kim KAIST, Hocheol Nam KAIST, Muoi Tran ETH Zurich, Amin Jalilov KAIST, Zhenkai Liang National University of Singapore, Sang Kil Cha KAIST, Min Suk Kang KAIST
17:15
15m
Talk
Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on DevelopmentBlockchain
Research Track
Ran Mo Central China Normal University, Haopeng Song Central China Normal University, Wei Ding Central China Normal University, Chaochao Wu Central China Normal University
:
: