• / 宋富 助理教授、研究员
    邮箱: 查看个人主页
    电话:(021) 20685397
    办公室: 信息学院1A-504C室
    专业方向: 计算机科学与技术
宋富 助理教授、研究员

电 话:(021) 20685397
邮 箱:查看个人主页
办公室:信息学院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. Haiyu Pan, Fu Song, Yongzhi Cao, and Junyan Qian, “Fuzzy Pushdown Termination Games”, IEEE Transactions on Fuzzy Systems, accepted, 2018. (SCI, EI, IF=8.415) 

  2. Fu Song, “Analyzing Pushdown Systems with Stack Manipulation”, Information and Computation, vol. 259, no. 1, pp. 41-71, 2018. (SCI, EI, CCF-A)

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

  4. Fu Song and Tayssir Touili, “Model-checking software library API usage rules” Journal on Software and Systems Modeling (SoSym), vol. 15, no. 4, pp. 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. Jun Zhang, Pengfei Gao, Fu Song and Chao Wang, “SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks”, in Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018), Oxford, UK, July 14-17, 2018. (EI, CCF-A) 

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

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

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

  10. Taolue Chen, Fu Song and Zhilin Wu, “Verifying Pushdown Multi-Agent Systems against Strategy Logics”, in 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. Taolue Chen, Fu Song and Zhilin Wu, “Global Model Checking on Pushdown Multi-Agent Systems”, in Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016), Arizona, USA, February 12-17, 2016. (EI, CCF-A, Oral presentation) 

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

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

  14. Fu Song and Tayssir Touili, “LTL Model-Checking for Malware Detection”, in 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. Fu Song and Tayssir Touili, “Pushdown Model-Checking for Malware Detection”, in 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)