必赢官网师生参加国际软件工程领域旗舰大会ISSTA 2023并作报告

2023年7月17日至21日，第32届软件测试与分析国际会议ISSTA（the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis， ISSTA 2023）在美国西雅图召开。必赢官网多位师生参加该会议并作报告。

ISSTA是软件工程领域公认的权威性顶级会议之一，创办于1992年，也被中国计算机学会（CCF）推荐国际学术会议和期刊列为A类会议。该会议旨在为研究人员、从业者和教育工作者提供关于软件测试与分析领域中最新的理论技术、趋势、经验及问题的交流与分享机会。

必赢官网多位师生参加该会议并作报告

▲学院2021级直博生叶铭熙作《Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing》论文报告

▲学院2021级博士生廖泽钦作《SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis》论文报告

▲学院郑子彬教授指导的博士生孔雀屏作《DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols》论文报告

▲学院2022级直博生莫一凡作《Toward Automated Detecting Unanticipated Price Feed in Smart Contract》论文报告

▲学院2022级直博生杨硕作《Definition and Detection of Defects in NFT Smart Contracts》论文报告

附：必赢官网被录用论文情况：

1. DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols

Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, Zibin Zheng

2. Toward Automated Detecting Unanticipated Price Feed in Smart Contract

Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng

3. Definition and Detection of Defects in NFT Smart Contracts

Shuo Yang, Jiachi Chen, Zibin Zheng

4. Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing

Mingxi Ye, Yuhong Nan, Zibin Zheng,  Dongpeng Wu, HuiZhong Li

5. SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis

Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng

6.Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond

Ensheng Shi, Yanlin Wang, Hongyu Zhang, Lun Du, Shi Han, Dongmei Zhang, Hongbin Sun

7. Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring

Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji