- 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
Publications
- 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.
Service
- SV-COMP 2022: Jury Member
- TACAS 2021: Subreviewer