Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ruifeng Xie
conf.researchr.org general profile
ICFP 2024 profile
POPL 2024 profile
POPL 2025 profile
Not registered as user
Name:
Ruifeng Xie
Affiliation:
Peking University
Contributions
2025
POPL
Author of Biparsers: Exact Printing for Data Synchronisation within the POPL-track
2024
ICFP
Author of Contract Lenses: Reasoning about Bidirectional Programs via Calculation within the JFP First Papers-track
POPL
Author of Fusing Direct Manipulations into Functional Programs within the POPL-track
Share
x
Sun 22 Dec 02:15