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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
% Operating systems
@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}
}
@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/}}
}
@phdthesis{ securityKernelLambda:Rees,
title={A security kernel based on the lambda-calculus},
author={Rees, Jonathan A},
year={1995},
school={Massachusetts Institute of Technology}
}
% Unix
@book{ QuarterCenturyUnix:Salus,
title={A Quarter Century of UNIX},
author={Peter H. Salus},
year={1994},
isbn={0-201-54777-5},
publisher={Addison-Wesley}
}
% Problems with the things we use
@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}
}
@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}
}
% Programming languages
@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
}
% Computers
@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/
% ISA design
@article{ GeneralPurposeProcessor:Chisnall,
author = {Chisnall, David},
title = {There’s No Such Thing as a General-purpose Processor: And the
belief in such a device is harmful},
year = {2014},
issue_date = {October 2014},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {12},
number = {10},
issn = {1542-7730},
url = {https://doi.org/10.1145/2685690.2687011},
doi = {10.1145/2685690.2687011},
abstract = {There is an increasing trend in computer architecture to
categorize processors and accelerators as "general purpose." Of the
papers published at this year’s International Symposium on Computer
Architecture (ISCA 2014), nine out of 45 explicitly referred to
general-purpose processors; one additionally referred to
general-purpose FPGAs (field-programmable gate arrays), and another
referred to general-purpose MIMD (multiple instruction, multiple
data) supercomputers, stretching the definition to the breaking point.
This article presents the argument that there is no such thing as a
truly general-purpose processor and that the belief in such a device is
harmful.},
journal = {Queue},
month = {oct},
pages = {20–25},
numpages = {6}
}
|
