科研快讯丨必赢官网师生7篇论文被软件测试与分析国际会议ISSTA 2023录用
科研快讯
第32届软件测试与分析国际会议ISSTA(the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023)录用必赢官网郑子彬、陈嘉弛、南雨宏、王焱林、蒋子规等老师学术论文7篇(包括1篇条件录用)。论文的合作单位包括纽卡斯尔大学、厦门大学、西安交通大学、腾讯、微众银行等。
ISSTA是软件工程领域公认的权威性顶级会议之一,创办于1992年,也被中国计算机学会(CCF)推荐国际学术会议和期刊列为A类会议。该会议旨在为研究人员、从业者和教育工作者提供关于软件测试与分析领域中最新的理论技术、趋势、经验及问题的交流与分享机会。
论文名称 |
作者情况 |
DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols |
Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, Zibin Zheng |
Toward Automated Detecting Unanticipated Price Feed in Smart Contract |
Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng |
Definition and Detection of Defects in NFT Smart Contracts |
Shuo Yang, Jiachi Chen, Zibin Zheng |
Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing |
Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, HuiZhong Li |
SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis |
Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng |
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 |
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 |
必赢官网作者介绍
郑子彬
郑子彬,565net必赢客户端副院长、IEEE Fellow、IET Fellow、ACM杰出科学家、全球高被引科学家、国家优秀青年科学基金获得者,主要研究方向包括软件可靠性、区块链、智能合约、Web3、服务计算等,在TSE、TOSEM、TSC、ICSE、FSE、ASE、ISSTA等国际会议及期刊上发表论文200多篇,谷歌学术引用超过28,000次,H指数为78。
陈嘉弛
陈嘉弛,565net必赢客户端助理教授,主要研究方向包括区块链、智能合约、智能软件工程等,重点关注智能合约监管、数据分析及可靠性分析。近年在TSE, TOSEM, ASE, ICSE, INFOCOM, EMSE, JSS, TOIT, ICPC, ICDCS, DSN等软件工程、分布式计算、安全、网络等领域的国际期刊及会议上发表论文20余篇。
王焱林
王焱林,565net必赢客户端助理教授,主要研究方向为智能软件工程、编程语言、人工智能、自然语言处理等。近5年来在ICSE、AAAI、ACL、KDD、TKDE、EMSE、EMNLP、CIKM、ICSME等软件工程、人工智能、自然语言处理等领域CCF A/B类国际期刊及会议上发表论文10余篇。
南雨宏
南雨宏,565net必赢客户端副教授,目前主要研究方向为系统软件安全以及隐私保护。包括物联网平台、移动操作系统平台、区块链及智能合约漏洞检测,新型隐私泄露模式挖掘等研究。研究成果发表于USENIX Security、ACM CCS,NDSS, RAID,IEEE TIFS等系统安全领域顶级/著名会议及期刊,共计10余篇。
蒋子规
蒋子规,565net必赢客户端副研究员,近年来在国内外权威学术期刊与会议上发表并投稿论文十余篇,并担任BlockSys2020、BlockSys2019、IEEE Services 2020、IEEE SCC 2016、ICCSA 2016、CollaborateCom 2016等国际会议的组织者、审稿人和Session Chair,以及IEEE TSC、IEEE ACCESS、ACM TSAS等多个国际期刊的审稿人。