Login / Signup
Zhaofeng Li
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Mediated Communication
Computing Power
Hardware Design
Massively Parallel
Top Venues
USENIX ATC
KISV@SOSP
PLOS@SOSP
</>
Publications
</>
Xiangdong Chen
,
Zhaofeng Li
,
Tirth Jain
,
Vikram Narayanan
,
Anton Burtsev
Limitations and Opportunities of Modern Hardware Isolation Mechanisms.
USENIX ATC
(2024)
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)