About Me

I am a three-year master student of software engineering in the Tsinghua formal verification group THUFV. Before that, I achieved my bachelor degree at Harbin Engineering University in 2019. My current research directions include loop invariant generation using learning or synthesis technologies and termination proof with ranking function synthesis.

Education

• School of Software, Tsinghua University, 2019.8 - 2022.6:
  Master of Engineering, Software Engineering (GPA: 3.83/4.00, Rank: 25%)

• College of Computer Science and Technology, Harbin Engineering University, 2015.8 - 2019.6:
  Bachelor of Engineering, Computer Science and Technology (Grade: 95.49/100, Rank: 1/180)

Awards

• First Class Scholarship of Tsinghua University, 2021
• Top Ten Learning Pacesetter of Harbin Engineering University (Top 0.2%), 2016
• National Scholarship (Top 1%), 2016
• Merit Student of Heilongjiang Province (Top 2%), 2016
• Outstanding Graduates of Harbin Engineering University (Top 8%), 2019
• Third Class Scholarship of MIIT for Innovation, 2017
• First Class Scholarship of Harbin Engineering University (7 times, Top 5%), 2015-2019
• Golden Medal, China Collegiate Programming Contest of Heilongjiang Province
• Silver Medal, China Collegiate Programming Contest (CCPC) Regional Contest
• Bronze Medal, ACM-ICPC Asia Regional Contest (EC-Final)

Publications

• [FSE-20] Rongchen Xu, Fei He and Bow-Yaw Wang. Interval Counterexamples for Loop Invariant Learning. ESEC/FSE 2020: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November 2020.
• [ICSE-22] Rongchen Xu, Jianhui Chen, and Fei He. Data-Driven Loop Bound Learning for Termination Analysis. ICSE 2022: 44th International Conference on Software Engineering, May 2022.