BeePL: Correct-by-Compilation Kernel Extensions(arxiv.org)
4 points by matt_d 3 days ago | discuss