| 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 | title = {queue(7) -- Linux manual page},
|
|---|
| 64 | howpublished= {\url{https://man7.org/linux/man-pages/man3/queue.3.html}},
|
|---|
| 65 | }
|
|---|
| 66 | % see also https://man7.org/linux/man-pages/man7/queue.7.license.html
|
|---|
| 67 | % https://man7.org/tlpi/
|
|---|
| 68 | % https://www.kernel.org/doc/man-pages/
|
|---|
| 69 |
|
|---|
| 70 | @misc{lst:stl,
|
|---|
| 71 | title = {std::list},
|
|---|
| 72 | howpublished= {\url{https://en.cppreference.com/w/cpp/container/list}},
|
|---|
| 73 | }
|
|---|
| 74 |
|
|---|
| 75 | @article{Blache19,
|
|---|
| 76 | author = {Gunter Blache},
|
|---|
| 77 | title = {Handling Index-out-of-bounds in safety-critical embedded {C} code using model-based development},
|
|---|
| 78 | journal = {Software \& Systems Modeling},
|
|---|
| 79 | volume = 18,
|
|---|
| 80 | year = 2019,
|
|---|
| 81 | pages = {1795-1805},
|
|---|
| 82 | }
|
|---|
| 83 |
|
|---|
| 84 | @article{Oorschot23,
|
|---|
| 85 | author = {van Oorschot, Paul C.},
|
|---|
| 86 | journal = {IEEE Security \& Privacy},
|
|---|
| 87 | title = {Memory Errors and Memory Safety: {C} as a Case Study},
|
|---|
| 88 | year = 2023,
|
|---|
| 89 | volume = 21,
|
|---|
| 90 | number = 2,
|
|---|
| 91 | pages = {70-76},
|
|---|
| 92 | }
|
|---|
| 93 |
|
|---|
| 94 | @InProceedings{Ruef19,
|
|---|
| 95 | author = {Andrew Ruef and Leonidas Lampropoulos and Ian Sweet and David Tarditi and Michael Hicks},
|
|---|
| 96 | title = {Achieving Safety Incrementally with {Checked C}},
|
|---|
| 97 | editor = {Flemming Nielson and David Sands},
|
|---|
| 98 | booktitle = {Principles of Security and Trust},
|
|---|
| 99 | publisher = {Springer International Publishing},
|
|---|
| 100 | address = {Cham},
|
|---|
| 101 | year = {2019},
|
|---|
| 102 | pages = {76-98},
|
|---|
| 103 | }
|
|---|
| 104 |
|
|---|
