aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/operating_system.md
diff options
context:
space:
mode:
authorEduardo Julian2019-05-18 23:20:58 -0400
committerEduardo Julian2019-05-18 23:20:58 -0400
commit77ca0d2049d54e17b0133818dd1667d8c7f4e221 (patch)
tree77c8e1b482f65c25b2bc0d8c21e864c4fdd5d403 /documentation/research/operating_system.md
parentc246adaad066d7192527a95ffaa49f8668d10d15 (diff)
Moved some of the reflection machinery to its own modules.
* WIP: Implementation of completeness testing for anonymous classes.
Diffstat (limited to '')
-rw-r--r--documentation/research/operating_system.md2
1 files changed, 2 insertions, 0 deletions
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