Contact

• Office: No. 606, Room 339, Building 5
• Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
• email: sunxc###ios**ac*cn

About me

I am currently a Master student in the group. My main research interests are:

• TLA+ Language
• Termination Analysis

• 9/2017 – 6/2020: Master Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
• 9/2013 – 6/2017: School of Software (Bachelor’s degree) at Dalian University of Technology.

Conferences

• Synthesizing Nested Ranking Functions for Loop Programs via SVM, Li, Y.; Sun, X.; Li, Y.; Turrini, A. and Zhang, L. In ICFEM, pages 438-454, LNCS 11852, 2019.
• ROLL 1.0: ω-Regular Language Learning Library, Li, Y.; Sun, X.; Turrini, A.; Chen, Y.-F. and Xu, J. In TACAS, pages 365-371, LNCS 11427, 2019.