報告人：陳哲 教授 南京航空航天大學
報告時間：2025年3月5日（周三）下午14:00
報告地點：bet356手机版唯一官网九龍湖校區計算機樓513報告廳
報告摘要：C程序的内存錯誤可能導緻程序崩潰和安全缺陷，因此使用動态分析工具在運行時自動發現内存錯誤是工業界面臨的一個痛點，然而傳統的内存安全性動态分析工具具有三個缺點：低有效性、優化敏感和平台依賴。為了克服以上問題，我們提出了一種基于智能狀态的監控算法和一種源代碼級别的插樁框架，并依此實現了一款新的動态分析工具，實驗表明，該工具比AddressSanitizer、Valgrind等著名工具能找到更多的内存錯誤，在性能和可用性方面也非常有競争力。這項長達五年的持續研究已經在ISSTA’19、ISSTA’21、ICSE’22、IEEE TSE、ACM TOSEM等頂級會議和期刊發表了5篇論文，并獲得一次ACM SIGSOFT傑出論文獎。
報告人簡介：陳哲，南京航空航天大學計算機科學與技術學院教授。博士畢業于法國國立應用科學院，獲計算機系統專業博士學位。主要研究興趣包括形式化方法、軟件驗證、程序分析等。主持國家自然科學基金3項（青年基金、民航聯合基金、面上項目）、參與3項，主持教育部留學回國人員科研啟動基金、中國博士後科學基金面上項目和特别資助等。作為第一作者在TSE、TOSEM、SPE、COMPJ、IPL、FUIN等著名國際學術期刊和OOPSLA、ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名國際會議共發表了60餘篇研究論文，并獲得2019年ACM SIGSOFT傑出論文獎，申請發明專利12項，已授權9項。擔任了中國計算機學會形式化方法專委會執行委員，持續為工業界提高軟件系統的安全性和可靠性提供咨詢與合作。
