Yichen Xu - ‹Programming› 2024

Mon 11 - Fri 15 March 2024 Lund, Sweden

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

VIMPL

A Formal Foundation of Reach Capabilities

Show activities from other conferences

‹Programming› 2024-profile
View general profile