source: doc/theses/mike_brooks_MMath/uw-ethesis.bib

Last change on this file was baad96e, checked in by Peter A. Buhr <pabuhr@…>, 8 weeks ago

add sorting key to web-site citations

  • Property mode set to 100644
File size: 3.3 KB
Line 
1% Bibliography of key references for "LaTeX for Thesis and Large Documents"
2% For use with BibTeX
3
4% --------------------------------------------------
5% Cforall
6
7@misc{cfa:frontpage,
8    url         = {https://cforall.uwaterloo.ca}
9}
10@article{cfa:typesystem,
11    author    = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
12    title     = {{\CFA} : Adding modern programming language features to {C}},
13    journal   = {Softw. Pract. Exp.},
14    volume    = {48},
15    number    = {12},
16    pages     = {2111--2146},
17    year      = {2018},
18}
19
20% --------------------------------------------------
21% Array prior work
22
23@inproceedings{arr:futhark:tytheory,
24    author      = {Troels Henriksen and Martin Elsman},
25    title       = {Towards Size-Dependent Types for Array Programming},
26    year        = {2021},
27    publisher   = {Association for Computing Machinery},
28    address     = {New York, NY, USA},
29    booktitle   = {Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming},
30    pages       = {1-14},
31    numpages    = {14},
32    location    = {Virtual, Canada},
33    series      = {ARRAY 2021}
34}
35
36@article{arr:dex:long,
37    author      = {Adam Paszke and Daniel D. Johnson and David Duvenaud and
38                   Dimitrios Vytiniotis and Alexey Radul and Matthew J. Johnson and
39                   Jonathan Ragan-Kelley and Dougal Maclaurin},
40    title       = {Getting to the Point. Index Sets and Parallelism-Preserving Autodiff
41                   for Pointful Array Programming},
42    publisher   = {Association for Computing Machinery},
43    address     = {New York, NY, USA},
44    volume      = 5,
45    number      = {ICFP},
46    year        = 2021,
47    journal     = {Proc. ACM Program. Lang.},
48    month       = {aug},
49}
50
51% --------------------------------------------------
52% Linked-list prior work
53
54@misc{CFAStackEvaluation,
55    contributer = {a3moss@plg},
56    author      = {Aaron Moss},
57    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
58    year        = 2018,
59    howpublished= {\url{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}},
60}
61
62@misc{lst:linuxq,
63    key         = {queue},
64    title       = {queue(7) -- Linux manual page},
65    howpublished= {\url{https://man7.org/linux/man-pages/man3/queue.3.html}},
66}
67% see also https://man7.org/linux/man-pages/man7/queue.7.license.html
68%          https://man7.org/tlpi/
69%          https://www.kernel.org/doc/man-pages/
70
71@misc{lst:stl,
72    key         = {list},
73    title       = {std::list},
74    howpublished= {\url{https://en.cppreference.com/w/cpp/container/list}},
75}
76
77@article{Blache19,
78    author      = {Gunter Blache},
79    title       = {Handling Index-out-of-bounds in safety-critical embedded {C} code using model-based development},
80    journal     = {Software \& Systems Modeling},
81    volume      = 18,
82    year        = 2019,
83    pages       = {1795-1805},
84}
85
86@article{Oorschot23,
87    author      = {van Oorschot, Paul C.},
88    journal     = {IEEE Security \& Privacy}, 
89    title       = {Memory Errors and Memory Safety: {C} as a Case Study}, 
90    year        = 2023,
91    volume      = 21,
92    number      = 2,
93    pages       = {70-76},
94}
95
96@InProceedings{Ruef19,
97    author      = {Andrew Ruef and Leonidas Lampropoulos and Ian Sweet and David Tarditi and Michael Hicks},
98    title       = {Achieving Safety Incrementally with {Checked C}},
99    editor      = {Flemming Nielson and David Sands},
100    booktitle   = {Principles of Security and Trust},
101    publisher   = {Springer International Publishing},
102    address     = {Cham},
103    year        = {2019},
104    pages       = {76-98},
105}
106
Note: See TracBrowser for help on using the repository browser.