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