• Sign in
  • Sign up
conf.researchr.org / Runqing Xu
  • POPL 2025 profile
  • SPLASH 2024 profile
No Photo

Registered user since Wed 4 Dec 2024

Name:Runqing Xu

Contributions

2025

CoqPL

  • Author of A Framework of Differential Operators within the CoqPL 2025-track

2024

SPLASH

  • Author of AUTOINC: Incrementality for Free within the Posters-track
Share
xMon 19 May 21:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up