search

dyweb / papers-notebook

:page_facing_up: :cn: :page_with_curl: 论文阅读笔记（分布式系统、虚拟化、机器学习）Papers Notebook (Distributed System, Virtualization, Machine Learning)
https://github.com/dyweb/papers-notebook/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+-label%3ATODO-%E6%9C%AA%E8%AF%BB
Apache License 2.0
2.13k stars 244 forks source link

The benefits and costs of writing a POSIX kernel in a high-level language #106

Open gaocegege opened 5 years ago

gaocegege commented 5 years ago

https://www.usenix.org/system/files/osdi18-cutler.pdf https://www.usenix.org/sites/default/files/conference/protected-files/osdi18_slides_cutler.pdf

OSDI'18

这么有趣的论文不读，读什么

gaocegege commented 5 years ago

https://github.com/mit-pdos/biscuit