Login / Signup
Zhaofeng Li
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Positive Definite
Kernel Methods
Mediated Communication
Semi Supervised
Top Venues
KISV@SOSP
PLOS@SOSP
</>
Publications
</>
Arthur Lafrance
,
David Detweiler
,
Zhaofeng Li
,
Xiangdong Chen
,
Vikram Narayanan
,
Anton Burtsev
Extending Rust with Support for Zero Copy Communication.
PLOS@SOSP
(2023)
Xiangdong Chen
,
Zhaofeng Li
,
Lukas Mesicek
,
Vikram Narayanan
,
Anton Burtsev
Atmosphere: Towards Practical Verified Kernels in Rust.
KISV@SOSP
(2023)