Yichen Xu -

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