1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
@inproceedings{ LionsOs:Heiser,
address = {Gladstone, QLD, AU},
author = {Gernot Heiser},
booktitle = {Everything Open},
month = apr,
organization = {Linux Australia},
title = {{Lions OS}: Secure -- Fast -- Adaptable},
year = {2024}
}
@article{ Threads:Lee,
author = {Lee, Edward},
year = {2006},
month = {06},
pages = {33 - 42},
title = {The Problem with Threads},
volume = {39},
journal = {Computer},
doi = {10.1109/MC.2006.180}
}
@article{ lua:Ierusalimschy,
abstract = {We discuss the main novelties of the implementation of Lua
5.0: its register-based virtual machine, the new algorithm for
optimizing tables used as arrays, the implementation of closures,
and the addition of coroutines.},
author = {Ierusalimschy, Roberto and de Figueiredo, Luiz Henrique and Celes, Waldemar},
doi = {10.3217/jucs-011-07-1159},
journal = {Journal of Universal Computer Science},
keywords = {Language Lua VM},
number = 7,
pages = {1159--1176},
title = {The Implementation of Lua 5.0},
url = {http://www.jucs.org/jucs_11_7/the_implementation_of_lua},
volume = 11,
year = 2005
}
@phdthesis{ securityKernelLambda:Rees,
title={A security kernel based on the lambda-calculus},
author={Rees, Jonathan A},
year={1995},
school={Massachusetts Institute of Technology}
}
@inproceedings{ fork:Baumann,
title={A fork () in the road},
author={Baumann, Andrew and Appavoo, Jonathan and Krieger, Orran and Roscoe, Timothy},
booktitle={Proceedings of the Workshop on Hot Topics in Operating Systems},
pages={14--22},
year={2019}
}
@inproceedings{ riscvSelfHostingComputer:Somlo,
author={Somlo, Gabriel L.},
booktitle={2020 IEEE Security and Privacy Workshops (SPW)},
title={Toward a Trustable, Self-Hosting Computer System},
year={2020},
volume={},
number={},
pages={136-143},
keywords={Privacy;Conferences;Supply chains;Hardware;Software;Trojan horses;Computer security},
doi={10.1109/SPW50608.2020.00039}
} % https://www.contrib.andrew.cmu.edu/~somlo/BTCP/
@misc{ 3L:Hintz,
title = {3L: The Computing System of the Future},
author = {Thomas Hintz},
year = 2016,
note = {Accessed: 2024-06-20},
howpublished = {\url{https://3lproject.org/}}
}
|