陳嘉弛，必贏3003no1線路檢測(cè)中心“百人計(jì)劃”助理教授，碩士生導(dǎo)師。2022年于澳大利亞蒙納士大學(xué)獲得博士學(xué)位，主要研究方向包括軟件可靠性、智能合約安全、Web3安全、大模型技術(shù)及應(yīng)用、代碼分析、智能合約、經(jīng)驗(yàn)軟件工程等，重點(diǎn)關(guān)注大模型技術(shù)在代碼分析上的應(yīng)用、漏洞挖掘、區(qū)塊鏈。近5年在軟件工程領(lǐng)域四大頂會(huì)及兩大頂刊發(fā)表論文30余篇，并獲得3次ACM SIGSOFT Distinguished Best Paper, 3次Best Paper Award。
郵箱: chenjch86 (at) mail.sysu.edu.cn
研究與招生：
招生方向包括但不限于軟件可靠性（Software Reliability）、智能合約（Smart Contract）、大模型（Large Language Model）、程序分析（Program Analysis）、區(qū)塊鏈（Blockchain）、智能軟件工程（Intelligent Software Engineering）、經(jīng)驗(yàn)軟件工程（Empirical Study）等。
歡迎有意向加入必贏3003no1線路檢測(cè)中心讀研的同學(xué)與我聯(lián)系。課題組為科研表現(xiàn)優(yōu)異的同學(xué)提供多種形式的海內(nèi)外高校學(xué)術(shù)交流訪問和深造機(jī)會(huì)，目前課題組與螞蟻、騰訊、華為等互聯(lián)網(wǎng)公司都有項(xiàng)目合作，能提供較多的實(shí)習(xí)與工作機(jī)會(huì)，為優(yōu)秀碩士生提供碩轉(zhuǎn)博銜接培養(yǎng)機(jī)會(huì)。
教學(xué)活動(dòng)：
SSE5103 軟件分析及質(zhì)量保證 研究生專業(yè)必修課
SSE307 算法設(shè)計(jì)與分析 本科生專業(yè)選修課
SSE201/203 數(shù)據(jù)結(jié)構(gòu)與算法 本科生專業(yè)必修課
出版刊物：
- 區(qū)塊鏈原理與技術(shù)（第二版） 鄭子彬，鄭沛霖，陳嘉弛
學(xué)術(shù)主頁(yè)：
- Home Page: https://jiachi-chen.github.io/
- Google Scholar: https://scholar.google.com/citations?user=FpdgEZMAAAAJ&hl=en
- DBLP: https://dblp.org/pid/181/3422.html
學(xué)術(shù)服務(wù)：
- 頂級(jí)期刊審稿人：IEEE Transactions on Software Engineering (TSE), ACM Transactions on Software Engineering and Methodology (TOSEM), IEEE Transactions on Dependable and Secure Computing (TDSC), Communications of the ACM (CACM)等
- 頂級(jí)會(huì)議審稿人（PC Member）：ICSE2025，ISSTA2025，ISSTA2024等
- 程序委員會(huì)主席（PC Chair）: Blocksys 2023
- 青年編委（Editor）: Blockchain: Research and Applications (BCRA, IF: 5.6)
- 客座編委（Editor）: 電子學(xué)報(bào)英文版
主要科研項(xiàng)目：
- 2025 — 2027，（課題負(fù)責(zé)人）基于大模型和程序分析的智能合約訪問控制漏洞檢測(cè)技術(shù)，廣東省自然科學(xué)基金面上
- 2024 — 2026，（課題負(fù)責(zé)人）區(qū)塊鏈智能合約漏洞挖掘技術(shù)研究，浙大區(qū)塊鏈與數(shù)據(jù)安全全國(guó)重點(diǎn)實(shí)驗(yàn)室重點(diǎn)課題
- 2024 — 2025，（課題負(fù)責(zé)人）大語(yǔ)言模型惡意內(nèi)容防御與正向引導(dǎo)，騰訊犀牛鳥基金
- 2024 — 2026，（課題負(fù)責(zé)人）面向智能合約的欺詐行為監(jiān)管關(guān)鍵技術(shù)研究，國(guó)自然青年科學(xué)基金
- 2023 — 2024，（課題負(fù)責(zé)人）基于NLP和程序分析的DApp前后端不一致問題檢測(cè)，螞蟻集團(tuán)科研橫項(xiàng)
- 2022 — 2025，（子課題負(fù)責(zé)人）雙層一體安全高性能區(qū)塊鏈智能合約語(yǔ)言關(guān)鍵技術(shù)研究，國(guó)家重點(diǎn)研發(fā)計(jì)劃
獲獎(jiǎng)榮譽(yù)：
- 2024: ACM SIGSOFT Distinguished Paper Award, ISSTA 2024 (Paper 1)
- 2024: ACM SIGSOFT Distinguished Paper Award, ISSTA 2024 (Paper 2)
- 2024: ACM SIGSOFT Distinguished Paper Award, Internetware 2024
- 2023: Best Paper Award, IEEE CSCloud/EdgeCom 2023
- 2020: Top 10 Blockchain Authors for Software Engineering
- 2018: Best Paper Award, 40th IEEE International Conference on Computer Communications (INFOCOM, CCF-A)
- 2017: Best Paper Award, 13th International Conference on Information Security Practice and Experience (ISPEC)
部分論文 (CCF A*36, CCF B*11 Papers，全部列表詳見谷歌學(xué)術(shù)或DBLP)
- SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
Jianzhong Su, Jiachi Chen*, Zhiyuan Fang, Xingwei Lin, Yutian Tang and Zibin Zheng
[IEEE Transactions on Software Engineering (TSE'25), CCF A] - Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
Yanlin Wang, Tianyue Jiang, Mingwei Liu, Jiachi Chen, Mingzhi Mao, Xilin Liu, Yuchi Ma and Zibin Zheng
[The ACM International Conference on the Foundations of Software Engineering (FSE‘25), CCF A] - Towards an Understanding of Large Language Models in Software Engineering Tasks
Zibin Zheng, Kaiwen Ning, Qingyuan Zhong, Jiachi Chen*, Wenqing Chen, Lianghong Guo, Weicheng Wang, Yanlin Wang
[Empirical Software Engineering (EMSE'24), CCF B] - Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration
Jiashuo Zhang, Jiachi Chen*, John Grundy, Jianbo Gao*, Yanlin Wang, Ting Chen, Zhi Guan, Zhong Chen*
[The 46th International Conference on Software Engineering (ICSE'25), CCF A] - Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
Hao Song, Teng Li, Jiachi Chen*, Ting Chen*, Beibei Li, Zhangyan Lin, Yi Lu, Pan Li, Xihan Zhou
[The 46th International Conference on Software Engineering (ICSE'25), CCF A] - Definition and Detection of Centralization Defects in Smart Contracts
Zewei Lin, Jiachi Chen, Jiajing Wu, Weizhe Zhang, Zibin Zheng
[The 46th International Conference on Software Engineering (ICSE'25), CCF A] - When ChatGPT Meets Smart Contract Vulnerability Detection: How far are we?
Chong Chen, Jianzhong Su, Jiachi Chen*, Yanlin Wang, Tingting Bi, Jianxing Yu, Yanli Wang, Xingwei Lin, Ting Chen, Zibin Zheng
[ACM Transactions on Software Engineering and Methodology (TOSEM'24), CCF A] - RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code
Jiachi Chen, Qingyuan Zhong, Yanlin Wang, Kaiwen Ning, Yongkun Liu, Zenan Xu, Zhe Zhao, Ting Chen, Zibin Zheng
[The 39th ACM/IEEE International Conference on Automated Software Engineering (ASE'24), CCF A] - Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
Zexu Wang, Jiachi Chen*, Peilin Zheng, Yu Zhang, Weizhe Zhang, Zibin Zheng
[IEEE Transactions on Software Engineering (TSE'24), CCF A] - The Dark Side of NFTs: A Large-Scale Empirical Study of Wash Trading
Shijian Chen, Jiachi Chen*, Jiangshan Yu, Xiapu Luo, Yanlin Wang
[Internetware 2024, ACM SIGSOFT Distinguished Paper Award] - Angels or Demons: Investigating and Detecting Decentralized Financial Traps on Ethereum Smart Contracts
Jiachi Chen, Jiang Hu, Xin Xia, David Lo, John Grundy, Zhipeng Gao, Ting Chen
[Automated Software Engineering Journal(AuSE'24), CCF B] - Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
Shuo Yang, Xingwei Lin, Jiachi Chen*, Qingyuan Zhong, Lei Xiao, Renke Huang, Yanlin Wang, Zibin Zheng
[The 46th International Conference on Software Engineering (ICSE'25), CCF A] - RLCoder: Reinforcement Learning for Repository-Level Code Completion
Yanlin Wang, Yanli Wang, Daya Guo, Jiachi Chen*, Ruikai Zhang, Yuchi Ma, Zibin Zheng
[The 46th International Conference on Software Engineering (ICSE'25), CCF A] - Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Yiming Shen, Jiachi Chen*, Jianzhong Su, Yanlin Wang, Ting Chen, Jianbo Gao*, Zhong Chen*
[The 46th International Conference on Software Engineering (ICSE'25), CCF A] - Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Shuwei Song, Jiachi Chen*, Ting Chen*, Xiapu Luo, Teng Li, Wenwu Yang, Leqing Wang, Weijie Zhang, Feng Luo, Zheyuan He, Yi Lu, Pan Li
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'24), CCF A] - Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jiachi Chen, Chong Chen, Jiang Hu, John Grundy, Yanlin Wang, Ting Chen, Zibin Zheng
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'24), CCF A, ACM SIGSOFT Distinguished Paper Award] - When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Lianghong Guo, Yanlin Wang, Ensheng Shi, Wanjun Zhong, Hongyu Zhang, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'24), CCF A, ACM SIGSOFT Distinguished Paper Award] - CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
Zewei Lin, Jiachi Chen, Jiajing Wu, Weizhe Zhang, Yongjuan Wang, Zibin Zheng
[IEEE Transactions on Software Engineering (TSE'24), CCF A] - DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
Zibin Zheng, Jianzhong Su, Jiachi Chen*, David Lo, Zhijie Zhong and Mingxi Ye
[IEEE Transactions on Software Engineering (TSE'24), CCF A] - DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Zhiying Wu, Jiajing Wu, Hui Zhang, Ziwei Li, Jiachi Chen, Zibin Zheng, Qing Xia, Gang Fan, Yi Zhen
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'24), CCF A] - Market manipulation of Cryptocurrencies: Evidence from Social Media and Transaction Data
Li Wen, Lingfeng Bao*, Jiachi Chen*, John Grundy, Xin Xia, Xiaohu Yang
[ACM Transactions on Internet Technology (TOIT’24), CCF B] - Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
Zexu Wang, Jiachi Chen, Yanlin Wang, Zibin Zheng, Yu Zhang, Weizhe Zhang
[The ACM International Conference on the Foundations of Software Engineering (FSE'24), CCF A] - When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs
Jiashuo Zhang, Jiachi Chen*, Zhiyuan Wan, Ting Chen, Jianbo Gao, Zhong Chen
[The 46th International Conference on Software Engineering (ICSE'24), CCF A] - Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
Shuo Yang, Jiachi Chen*, Mingyuan Huang, Zibin Zheng, Yuan Huang
[The 46th International Conference on Software Engineering (ICSE'24), CCF A] - Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts
Mingyuan Huang, Jiachi Chen, Zigui Jiang, Zibin Zheng
[The 46th International Conference on Software Engineering (ICSE'24), CCF A] - DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities
Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen*, Zibin Zheng, Wei Lv, Jiashui Wang
[The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE'23), CCF A] - You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
Yanlin Wang, Lianghong Guo, Ensheng Shi, Wenqing Chen, Jiachi Chen, Wanjun Zhong, Menghan Wang, Hui Li, Ziyu Lyu, Hongyu Zhang, Zibin Zheng
[The 39th IEEE International Conference on Software Maintenance and Evolution (ICSME'23), CCF B] - Definition and Detection of Defects in NFT Smart Contracts
Shuo Yang, Jiachi Chen*, Zibin Zheng
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23), CCF A] - DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, Zibin Zheng
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23), CCF A] - Toward Automated Detecting Unanticipated Price Feed in Smart Contract
Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng
[The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23), CCF A] - Automatic Identification of Crash-inducing Smart Contracts
Chao Ni, Cong Tian, Kaiwen Yang, David Lo, Jiachi Chen, Xiaohu Yang
[The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER'23), CCF B] - Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, Jiachi Chen
[International Conference on Software Engineering (ICSE’23), CCF A] - Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach
Zhuo Zhang, Yan Lei, Meng Yan, Yue Yu, Jiachi Chen, Shangwen Wang, Xiaoguang Mao
[IEEE/ACM International Conference on Automated Software Engineering (ASE'22), CCF A] - Towards Automatically Localizing Function Errors in Mobile Apps with User Reviews
Le Yu, Haoyu Wang, Xiapu Luo, Tao Zhang, Kang Liu, Jiachi Chen, Hao Zhou, Yutian Tang, Xusheng Xiao
[IEEE Transactions on Software Engineering (TSE'22), CCF A] - Large-Scale Empirical Study of Inline Assembly on 7.6 Million Ethereum Smart Contracts
Zhou Liao, Shuwei Song, Hang Zhu, Xiapu Luo, Zheyuan He, Renkai Jiang, Ting Chen, Jiachi Chen, Tao Zhang, Xiaosong Zhang
[IEEE Transactions on Software Engineering (TSE'22), CCF A] - Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum
Jiachi Chen, Xin Xia, David Lo, John Grundy
[ACM Transactions on Software Engineering and Methodology (TOSEM'21), CCF A] - Maintenance-Related Concerns for Post-deployed Ethereum Smart Contract Development: Issues, Techniques, and Future Challenges
Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiaohu Yang
[Empirical Software Engineering (EMSE'21), CCF B] - DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, Ting Chen
[IEEE Transactions on Software Engineering (TSE'21), CCF A] - Smart Contract Security: a Practitioners’ Perspective
Zhiyuan Wan, Xin Xia, David Lo, Jiachi Chen, Xiapu Luo, Xiaohu Yang
[43rd ACM/IEEE International Conference on Software Engineering （ICSE'21), CCF A] - Defining Smart Contract Defects on Ethereum
Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, Ting Chen
[IEEE Transactions on Software Engineering (TSE'20), CCF A] - Understanding Ethereum via Graph Analysis
Ting Chen, Zihao Li, Yuxiao Zhu, Jiachi Chen, Xiapu Luo, John Chi-Shing Lui, Xiaodong Lin, Xiaosong Zhang
[ACM Transactions on Internet Technology (TOIT’20), CCF B] - GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts
Ting Chen, Youzheng Feng, Zihao Li, Hao Zhou, Xiapu Luo, Xiaoqi Li, Xiuzhuo Xiao, Jiachi Chen, Xiaosong Zhang
[IEEE Transactions on Emerging Topics in Computing (TETC'20)] - Where2Change: Change Request Localization for App Reviews
Tao Zhang, Jiachi Chen, Xian Zhan, Xiapu Luo, David Lo, He Jiang
[IEEE Transactions on Software Engineering (TSE'19), CCF A] - Dataether: Data exploration framework for ethereum
Ting Chen, Zihao Li, Yufei Zhang, Xiapu Luo, Ang Chen, Kun Yang, Bin Hu, Tong Zhu, Shifang Deng, Teng Hu, Jiachi Chen, Xiaosong Zhang
[International Conference on Distributed Computing Systems (ICDCS'19), CCF B] - PPChecker: Towards Accessing the Trustworthiness of Android Apps' Privacy Policies
Le Yu, Xiapu Luo, Jiachi Chen, Hao Zhou, Tao Zhang, Henry Chang, Hareton KN Leung
[IEEE Transactions on Software Engineering (TSE'18), CCF A] - Localizing Function Errors in Mobile Apps with User Reviews
Le Yu, Jiachi Chen, Hao Zhou, Xiapu Luo, Kang Liu
[IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), CCF B] - Understanding ethereum via graph analysis
Ting Chen, Yuxiao Zhu, Zihao Li, Jiachi Chen, Xiaoqi Li, Xiapu Luo, Xiaodong Lin, Xiaosong Zhang
[IEEE Conference on Computer Communications (INFOCOM'18), CCF A, Best Paper Award] - An adaptive gas cost mechanism for ethereum to defend against under-priced dos attacks
Ting Chen, Xiaoqi Li, Ying Wang, Jiachi Chen, Zihao Li, Xiapu Luo, Man Ho Au, Xiaosong Zhang
[International Conference on Information Security Practice and Experience (ISPEC'17), Best Paper Award] - Bug Reports for Desktop Software and Mobile Apps in GitHub: What's the Difference?
Tao Zhang, Jiachi Chen, Xiapu Luo, Tao Li
[IEEE Software'17] - Bug report enrichment with application of automated fixer recommendation
Tao Zhang, Jiachi Chen, He Jiang, Xiapu Luo, Xin Xia
[IEEE/ACM 25th International Conference on Program Comprehension (ICPC'17), CCF B] - Towards more accurate severity prediction and fixer recommendation of software bugs
Tao Zhang, Jiachi Chen, Geunseok Yang, Byungjeong Lee, Xiapu Luo
[Journal of Systems and Software (JSS'16), CCF B]
