Login / Signup
Lukas Mesicek
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Practical Application
Kernel Methods
Search Engine
Positive Definite
Top Venues
KISV@SOSP
</>
Publications
</>
Xiangdong Chen
,
Zhaofeng Li
,
Lukas Mesicek
,
Vikram Narayanan
,
Anton Burtsev
Atmosphere: Towards Practical Verified Kernels in Rust.
KISV@SOSP
(2023)