summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bibliography.bib92
1 files changed, 65 insertions, 27 deletions
diff --git a/bibliography.bib b/bibliography.bib
index c2392a2..0d80997 100644
--- a/bibliography.bib
+++ b/bibliography.bib
@@ -1,3 +1,4 @@
+% Operating systems
@inproceedings{ LionsOs:Heiser,
address = {Gladstone, QLD, AU},
author = {Gernot Heiser},
@@ -8,6 +9,22 @@
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}
+}
+
+
+% Problems with the things we use
@article{ Threads:Lee,
author = {Lee, Edward},
year = {2006},
@@ -19,12 +36,23 @@
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},
+ 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},
@@ -36,21 +64,7 @@
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}
-}
-
+% Computers
@inproceedings{ riscvSelfHostingComputer:Somlo,
author={Somlo, Gabriel L.},
booktitle={2020 IEEE Security and Privacy Workshops (SPW)},
@@ -59,15 +73,39 @@
volume={},
number={},
pages={136-143},
- keywords={Privacy;Conferences;Supply chains;Hardware;Software;Trojan horses;Computer security},
+ 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/}}
+% 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}
}