Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yichen Xu
conf.researchr.org general profile
SPLASH 2023 profile
SPLASH 2024 profile
‹Programming› 2024 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
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
Sat 21 Dec 17:13