Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yichen Xu
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
SPLASH 2023 profile
SPLASH 2024 profile
‹Programming› 2024 profile
‹Programming› 2025 profile
‹Programming› 2026 profile
Registered user since Sat 14 Oct 2023
Name:
Yichen Xu
Affiliation:
EPFL
Personal website:
https://www.yichenxu.me
GitHub:
https://github.com/linyxus
Contributions
2026
‹Programming›
Committee Member in Artifact Evaluation Committee within the Artifacts-track
2025
SPLASH
Author of What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures within the OOPSLA-track
Scala
Presenter of System Capybara: Capture Tracking for Ownership and Borrowing within the The Scala Workshop 2025-track
VIMPL
Committee Member in Program Committee within the VIMPL 2025-track
2024
SPLASH
Author of Degrees of Separation: A Flexible Type System for Safe Concurrency within the OOPSLA 2024-track
VIMPL
Author of A Formal Foundation of Reach Capabilities within the VIMPL 2024-track
2023
IWACO
Author of A Mechanized Theory of the Box Calculus within the IWACO 2023-track
Author of Degrees of Separation: A Flexible Type System for Data Race Prevention within the IWACO 2023-track
Share
x
Wed 3 Sep 20:27