From 77ca0d2049d54e17b0133818dd1667d8c7f4e221 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 18 May 2019 23:20:58 -0400 Subject: Moved some of the reflection machinery to its own modules. * WIP: Implementation of completeness testing for anonymous classes.--- documentation/research/operating_system.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'documentation/research/operating_system.md') diff --git a/documentation/research/operating_system.md b/documentation/research/operating_system.md index 4997a3cb2..bc7ecaf05 100644 --- a/documentation/research/operating_system.md +++ b/documentation/research/operating_system.md @@ -106,6 +106,7 @@ 1. http://queue.acm.org/detail.cfm?id=1317400 1. The Art of Unix Programming &&& http://www.catb.org/esr/writings/taoup/html/index.html 1. https://shivambharuka.wordpress.com/2017/10/25/arrakis-the-operating-system-is-the-control-plane/ +1. [Arrakis: The Operating System is the Control Plane](https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-peter_simon.pdf) 1. https://sortix.org/os-test/ 1. https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/ 1. Database/Operating System Co-Design &&& https://www.research-collection.ethz.ch/handle/20.500.11850/136 @@ -185,6 +186,7 @@ 1. [OS-level Attacks and Defenses: from Software to Hardware-based Exploits](http://tuprints.ulb.tu-darmstadt.de/8482/1/gens_diss.pdf) 1. [Time Protection: The Missing OS Abstraction](https://ts.data61.csiro.au/publications/csiro_full_text//Ge_YCH_19.pdf) 1. [Light-weight Contexts: An OS Abstraction for Safety and Performance](https://www.usenix.org/system/files/conference/osdi16/osdi16-litton.pdf) +1. https://natsys-lab.blogspot.com/2019/05/goodbye-fast-system-calls.html # Driver -- cgit v1.2.3