Ruifeng Xie
Author
Alternate name Ruifeng Xie
Institutions Peking University, KU Leuven
Past institutions Peking University, KU Leuven
ORCID: Yes
H-index: 1
I10-index:
Works count: 4
Citations count: 4
Contract lenses: Reasoning about bidirectional programs via calculation
2023 · HANLIANG ZHANG, Wenhao Tang, et al. · Journal of Functional Programming
Fusing Direct Manipulations into Functional Programs
2024 · Xing Zhang, Ruifeng Xie, et al. · Proceedings of the ACM on Programming Languages
Biparsers: Exact Printing for Data Synchronisation
2025 · Ruifeng Xie, Tom Schrijvers, et al. · Proceedings of the ACM on Programming Languages