• / 宋富 助理教授、研究员
    邮箱: songfu@@shanghaitech.edu.cn
    电话:(021) 20685397
    办公室: 信息学院1A-504C室
    专业方向: 计算机科学与技术
宋富 助理教授、研究员

电 话:(021) 20685397
Email :songfu@@shanghaitech.edu.cn
办公室:信息学院1A-504C室
个人主页: http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/
专业方向: 计算机科学与技术

研究领域

  • 模型检查

  • 系统分析与验证

  • 计算机安全


个人简历

宋富博士于2009年6月获得华东师范大学软件工程硕士学位,2013年4月获得巴黎狄德罗大学(巴黎七大)计算机科学博士学位,同年8月加入华东师范大学任讲师,2016年1月破格晋升为副研究员,期间受新加坡南洋理工大学(NTU)邀请参加访问研究三个月,并于2015年分别荣获上海市“浦江人才”和上海市“晨光学者”称号。2016年8月全职加入上海科技大学信息科学与技术学院,担任tenure-track助理教授、研究员。宋富研究领域包括模型检查、系统自动分析与验证及在系统安全方面的应用,其提出的基于下推自动机模型检查的恶意软件检查方法在第18届TACAS/ETAPS国际会议上获得了欧洲软件科学与技术协会(EASST)颁发的最佳论文奖。


代表性论文

1.Fuzzy Pushdown Termination Games. Haiyu Pan, Fu Song, Yongzhi Cao, and Junyan Qian. IEEE Transactions on Fuzzy Systems. Accepted, 2018. (SCI, EI, IF=8.415) 

2.Analyzing Pushdown Systems with Stack Manipulation. Fu Song. Information and Computation, volume 259(1), pages 41-71, 2018. (SCI,EI,CCF-A)

3.On Temporal Logics with Data Variable Quantifications: Decidability and Complexity. Fu Song and Zhilin Wu. Information and Computation, volume 251, pages 104-139, 2016. (SCI,EI,CCF-A)

4.Model-checking software library API usage rules. Fu Song and Tayssir Touili. Journal on Software and Systems Modeling(SoSym), volume 15(4), pages 961-985, 2016 (SCI,EI,CCF-B)

5.Probabilistic Alternating-Time Mu-Calculus. Fu Song, Yedi Zhang, Yu Tang, Taolue Chen and Zhiwu Xu. Accepted to AAAI, 2019. (CCF-A)

6.SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks. Jun Zhang, Pengfei Gao, Fu Song* and Chao Wang. Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018), Oxford, UK. July 14-17, 2018. (EI,CCF-A) 

7.Android Stack Systems. Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan. Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018), Oxford, UK. July 14-17, 2018. (EI,CCF-A)

8.Tractability of separation logic with inductive definitions: Beyond lists. Taolue Chen, Fu Song and Zhilin Wu. Proceedings of the 28th International Conference on Concurrency Theory (CONCUR 2017). Berlin, Germany. September 5-8, 2017. (EI,CCF-B)

9.SPAIN: Security Patch Analysis for Binaries - Towards Understanding the Pain and Pills. Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan, Yang Liu and Fu Song. Proceedings of the 39th ACM/IEEE International Conference on Software Engineering (ICSE 2017). Buenos Aires, Argentina, May 20-28, 2017. (EI,CCF-A)

10.Verifying Pushdown Multi-Agent Systems against Strategy Logics. Taolue Chen, Fu Song* and Zhilin Wu. Proceedings of the 25th International Joint Conference on Artifficial Intelligence (IJCAI 2016). New York, USA. 9-15 July, 2016. (EI,CCF-A,Oral presentation) 

11.Global Model Checking on Pushdown Multi-Agent Systems. Taolue Chen, Fu Song* and Zhilin Wu. Proceedings of the 30th AAAI Conference on Artifficial Intelligence (AAAI 2016). Arizona, USA. 12-17 February, 2016. (EI,CCF-A, Oral presentation) 

12.On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. Fu Song, Weikai Miao, Geguang Pu and Min Zhang. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain. September 1-4, 2015. (EI,CCF-B) 

13.On the Satisfiability of Indexed Linear Temporal Logics. Taolue Chen, Fu Song* and Zhilin Wu. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain. 1-4 September, 2015. (EI,CCF-B)

14.LTL Model-Checking For Malware Detection. Fu Song and Tayssir Touili. Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). Rome, Italy. March 16-24, 2013. (EI,CCF-B)

15.Pushdown Model-Checking for Malware Detection. Fu Song and Tayssir Touili. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). Tallinn, Estonia. March 24-April 1, 2012. Won the EASST best paper award at ETAPS 2012. (EI,CCF-B)