科研快訊丨必贏官網(wǎng)師生7篇論文被軟件測試與分析國際會議ISSTA 2023錄用
科研快訊
第32屆軟件測試與分析國際會議ISSTA（the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis， ISSTA 2023）錄用必贏官網(wǎng)鄭子彬、陳嘉弛、南雨宏、王焱林、蔣子規(guī)等老師學(xué)術(shù)論文7篇（包括1篇條件錄用）。論文的合作單位包括紐卡斯?fàn)柎髮W(xué)、廈門大學(xué)、西安交通大學(xué)、騰訊、微眾銀行等。
ISSTA是軟件工程領(lǐng)域公認(rèn)的權(quán)威性頂級會議之一，創(chuàng)辦于1992年，也被中國計算機學(xué)會（CCF）推薦國際學(xué)術(shù)會議和期刊列為A類會議。該會議旨在為研究人員、從業(yè)者和教育工作者提供關(guān)于軟件測試與分析領(lǐng)域中最新的理論技術(shù)、趨勢、經(jīng)驗及問題的交流與分享機會。
|
論文名稱 |
作者情況 |
|
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 |
必贏官網(wǎng)作者介紹
鄭子彬
鄭子彬，必贏3003no1線路檢測中心必贏3003no1線路檢測中心副院長、IEEE Fellow、IET Fellow、ACM杰出科學(xué)家、全球高被引科學(xué)家、國家優(yōu)秀青年科學(xué)基金獲得者，主要研究方向包括軟件可靠性、區(qū)塊鏈、智能合約、Web3、服務(wù)計算等，在TSE、TOSEM、TSC、ICSE、FSE、ASE、ISSTA等國際會議及期刊上發(fā)表論文200多篇，谷歌學(xué)術(shù)引用超過28,000次，H指數(shù)為78。
陳嘉弛
陳嘉弛，必贏3003no1線路檢測中心必贏3003no1線路檢測中心助理教授，主要研究方向包括區(qū)塊鏈、智能合約、智能軟件工程等，重點關(guān)注智能合約監(jiān)管、數(shù)據(jù)分析及可靠性分析。近年在TSE, TOSEM, ASE, ICSE, INFOCOM, EMSE, JSS, TOIT, ICPC, ICDCS, DSN等軟件工程、分布式計算、安全、網(wǎng)絡(luò)等領(lǐng)域的國際期刊及會議上發(fā)表論文20余篇。
王焱林
王焱林，必贏3003no1線路檢測中心必贏3003no1線路檢測中心助理教授，主要研究方向為智能軟件工程、編程語言、人工智能、自然語言處理等。近5年來在ICSE、AAAI、ACL、KDD、TKDE、EMSE、EMNLP、CIKM、ICSME等軟件工程、人工智能、自然語言處理等領(lǐng)域CCF A/B類國際期刊及會議上發(fā)表論文10余篇。
南雨宏
南雨宏，必贏3003no1線路檢測中心必贏3003no1線路檢測中心副教授，目前主要研究方向為系統(tǒng)軟件安全以及隱私保護(hù)。包括物聯(lián)網(wǎng)平臺、移動操作系統(tǒng)平臺、區(qū)塊鏈及智能合約漏洞檢測，新型隱私泄露模式挖掘等研究。研究成果發(fā)表于USENIX Security、ACM CCS，NDSS, RAID，IEEE TIFS等系統(tǒng)安全領(lǐng)域頂級/著名會議及期刊，共計10余篇。
蔣子規(guī)
蔣子規(guī)，必贏3003no1線路檢測中心必贏3003no1線路檢測中心副研究員，近年來在國內(nèi)外權(quán)威學(xué)術(shù)期刊與會議上發(fā)表并投稿論文十余篇，并擔(dān)任BlockSys2020、BlockSys2019、IEEE Services 2020、IEEE SCC 2016、ICCSA 2016、CollaborateCom 2016等國際會議的組織者、審稿人和Session Chair，以及IEEE TSC、IEEE ACCESS、ACM TSAS等多個國際期刊的審稿人。
