Fu Song, Assistant Professor

Fu Song, Assistant Professor

Tel:  (021) 20685397
Email: See the personal website
Office: Room 1A-504C, SIST Building
Major: CS
Website: http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/
Education: Ph.D., Université Paris Diderot, France

RESEARCH INTERESTS

  • Model-Checking

  • System analysis and verification

  • Computer security


BIOGRAPHY

Fu Song is an Assistant Professor, PI as School of Information Science and Technology, ShanghaiTech. He received M.S. from East China Normal University in 2009 and Ph.D from Univeristy Paris Diderot (Paris 7) in 2013. After this Ph,D studies, he has been working in East China Normal Univeristy as Assistant Professor from 2013 to 2015 and Research Assoicate Professor since 2016, he also has been an invited research at Nanyang Technological University in 2014. 

His research interests broadly span model-checking, verification and automated analysis of systems and computer security. His paper on malware detection via pushdown model-checking won EASST best paper award at the18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012). 


SELECTED PUBLICATIONS

  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)