Publications
Publications
Projects
Home
KLean: Extending Operating System Kernels with Lean
Di Jin,
Ethan Lavi
, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis.
13th Workshop on Programming Languages and Operating Systems (PLOS'25)
[ACM Publication]
|
[KLean PDF]