| 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 | |
|---|
| 107 | @inproceedings{Elliott18, |
|---|
| 108 | keywords = {Safety;Static analysis;Tools;Cyclones;Benchmark testing;Security;Computer bugs;programming languages;security}, |
|---|
| 109 | author = {Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael and Tarditi, David}, |
|---|
| 110 | booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, |
|---|
| 111 | title = {Checked C: Making C Safe by Extension}, |
|---|
| 112 | year = 2018, |
|---|
| 113 | month = nov, |
|---|
| 114 | pages = {53-60}, |
|---|
| 115 | } |
|---|
