Skip to main content

Xie Li (李勰)'s Homepage

Contact​

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

About me​

  • I am a PhD student in the group.

Research interests​

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

Tools​

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

Service​

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

Publications

  1. Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu. Separation Logic with Heap Variables: A Decision Procedure and Its Application. The Symposium on Software Engineering: Theories, Tools, and Applications (SETTA), 2025.
  2. Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia. Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, 2020. DOI