應戚曉芳老師邀請，10月18日（周一）下午15:00-16:00，中國科學院軟件研究所 蔡彥 研究員給bet356手机版唯一官网師生做學術報告，具體情況如下：
題目：并發程序動态分析
時間：2021.10.18 下午3:00-4:00
地點：計算機樓313會議室
摘要：并發程序運行時的不确定性導緻其運行空間狀态爆炸，如何從某次動态運行的軌迹中準确搜索并發缺陷，是學術界已知的研究難題。本報告将介紹一種基于偏序關系圖的新型動态檢測方法。該方法主要通過對并發程序動态行為給出一種無誤報的建模，提出一種用于判定給定行為序列是否可行的基于圖的搜索算法。在給定的模型下，該算法具有多項式時間複雜度，且可證明是無誤報的。實驗中，該方法在常見的并發缺陷上（數據競争、原子性違反、死鎖）的檢測有效性和性能顯著高于已有的同類方法，可以在幾分鐘内完成數十億事件數量的動态軌迹。
個人簡介：
蔡彥，中國科學院軟件研究所研究員，博導。2014年畢業于香港城市大學并獲博士學位。研究方向為程序語言分析與軟件測試，相關成果在軟件工程相關CCF A類會議和期刊上發表 20 多篇學術論文。受邀擔任ICSE 2022 AE主席，ICSE、ESEC/FSE、ASE等多個會議PC成員、Journal of Systems and Software (JSS) 編委等學術職務。2017年入選中國科協第三屆青年人才托舉工程，2018年獲“NASAC-東軟 青年軟件創新獎”。