Fu Song, Assistant Professor

Fu Song, Assistant Professor

Tel:  (021) 20685397
Email: songfu@@shanghaitech.edu.cn
Office: Room 1A-504C, SIST Building
Major: CS
Website: http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/

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.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)