Runqing Xu / 许润清

About me

Current research interests

• Incremental computing
• Functional programming
• Interactive theorem proving

Publications

Journal article

• Xihe: A WCET Analysis Tool for Digital Signal Processors
  Runqing Xu, Chenhao Wu, Wei Zhang, Lei Ju, Naijun Zhan, Xuejun Zhang, Yu Tan, Journal of System Architecture Volume 177, Published version

Conference paper

• Differential Execution with Lexical Tracing
  Sebastian Erdweg, Runqing Xu, Mo Bitar, OOPSLA 2026, Published version
• Stateful Differential Operators for Incremental Computing
  Runqing Xu, Sebastian Erdweg, POPL 2026, Published version
• Mono types: First-class Containers for Datalog
  Runqing Xu, David Klopp, Sebastian Erdweg, ECOOP 2025, Published version
• Iscalc: an Interactive Symbolic Computation Framework (System Description)
  Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu, CADE 2023, Published version
• Active Learning of One-Clock Timed Automata using Constraint Solving
  Runqing Xu, Jie An, Bohua Zhan, ATVA 2022, Published version, arXiv version
• Verified Interactive Computation of Definite Integrals
  Runqing Xu, Liming Li, Bohua Zhan, CADE 2021, Published version

Teaching

Courses

• Instructor for Practical Interactive Theorem Proving, Summer 2026, KIT
• Teaching assistant for Programming Paradigms, Winter 2025, KIT
• Teaching assistant for Program Analysis, Summer 2025, JGU Mainz
• Teaching assistant for Program Analysis, Summer 2024, JGU Mainz
• Teaching assistant for Logic Programming, Winter 2023, JGU Mainz

Degrees

• 2022, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
      MSc in computer science.
      Supervisor: Bohua Zhan.

Contact