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