Xie Li (李勰)'s Homepage


  • Institute: Institute Of Software, CAS
  • Apartment: State Key Lab. of Computer Science (SKLCS)
  • email: lixie19###ios**ac*cn

About me

  • I am a master student in the group.

Research interests

  • Program verification and analysis
  • Loop invariant synthesis and ranking function synthesis
  • Memory safety analysis


  • Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang: Synthesizing ranking functions for loop programs via SVM. In Theor. Comput. Sci. 935:1-20, 2022. DOI BIB
  • Xie Li, Taolue Chen (), Zhilin Wu (), Mingji Xia: Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. In Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, volume 12153 of Lecture Notes in Computer Science, pages 89-107, 2020. Best paper. DOI BIB
  • Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang: SVMRanker: a general termination analysis framework of loop programs via SVM. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1635-1639, 2020. DOI BIB


  • [SVMRanker]: A Tool for Ranking Function Synthesis based on Support Vector Machine.
  • [SESL]: A Symbolic Executor based on Array Separation Logic.


  • SV-COMP 2022: Jury Member
  • TACAS 2021: Subreviewer