Index: doc/bibliography/pl.bib =================================================================== --- doc/bibliography/pl.bib (revision 499a45a2895b7a022fad52f1159f133d78752fda) +++ doc/bibliography/pl.bib (revision 7e2739fa86f220be28d54b23dfd3aeb62410cca3) @@ -1,2 +1,3 @@ + % Conventions: uncross-referenced entries appear first, then % cross-referenced entries. In both groups, entries are sorted by their @@ -1316,5 +1317,5 @@ publisher = {UWSpace}, year = 2022, - note = {\url{http://hdl.handle.net/10012/18941}} + note = {\url{https://hdl.handle.net/10012/18941}} } @@ -1345,5 +1346,5 @@ year = 2019, address = {Waterloo, Ontario, Canada, N2L 3G1}, - note = {\url{https://uwspace.uwaterloo.ca/handle/10012/14584}}, + note = {\url{https://hdl.handle.net/10012/14584}}, } @@ -1527,11 +1528,21 @@ contributer = {a3moss@uwaterloo.ca}, author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael}, - title = {Checked C: Making C Safe by Extension}, + title = {Checked {C}: Making {C} Safe by Extension}, booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, publisher = {IEEE}, - year = {2018}, + year = 2018, month = sep, pages = {53-60}, - url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/}, + note = {\url{https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension}}, +} + +@inproceedings{Elliott18, + keywords = {Safety;Static analysis;Tools;Cyclones;Benchmark testing;Security;Computer bugs;programming languages;security}, + author = {Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael and Tarditi, David}, + booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, + title = {Checked {C}: Making {C} Safe by Extension}, + year = 2018, + month = nov, + pages = {53-60}, } @@ -1790,5 +1801,5 @@ pages = {114-124}, year = 2001, - url = {http://citeseer.ist.psu.edu/berger01composing.html} + note = {\url{http://citeseer.ist.psu.edu/berger01composing.html}}, } @@ -2038,5 +2049,5 @@ year = 2015, address = {Waterloo, Ontario, Canada, N2L 3G1}, - note = {\url{https://uwspace.uwaterloo.ca/handle/10012/10013}}, + note = {\url{https://hdl.handle.net/10012/10013}}, } @@ -2086,5 +2097,5 @@ publisher = {UWSpace}, year = 2018, - note = {\url{http://hdl.handle.net/10012/12888}}, + note = {\url{https://hdl.handle.net/10012/12888}}, } @@ -3247,4 +3258,15 @@ month = may, year = 1988, +} + +@mastersthesis{Liang24, + contributer = {pabuhr@plg}, + author = {Jiada Liang}, + title = {Enumerated Types in \textsf{C}$\mathbf{\forall}$}, + school = {School of Computer Science, University of Waterloo}, + address = {Waterloo, Ontario, Canada, N2L 3G1}, + publisher = {UWSpace}, + year = {2024}, + note = {\url{https://hdl.handle.net/10012/21067}}, } @@ -3453,5 +3475,5 @@ publisher = {UWSpace}, year = {2021}, - note = {\url{http://hdl.handle.net/10012/17617}}, + note = {\url{https://hdl.handle.net/10012/17617}}, } @@ -4229,4 +4251,15 @@ } +@mastersthesis{Parsons23, + contributer = {pabuhr@plg}, + author = {Colby Parsons}, + title = {High Level Concurrency in \textsf{C}$\mathbf{\forall}$}, + school = {School of Computer Science, University of Waterloo}, + address = {Waterloo, Ontario, Canada, N2L 3G1}, + publisher = {UWSpace}, + year = {2023}, + note = {\url{https://hdl.handle.net/10012/19932}}, +} + @mastersthesis{Zulfiqar22, keywords = {Cforall, memory allocation, threading}, @@ -4237,5 +4270,5 @@ year = 2022, address = {Waterloo, Ontario, Canada, N2L 3G1}, - note = {\url{http://hdl.handle.net/10012/18329}}, + note = {\url{https://hdl.handle.net/10012/18329}}, } @@ -4258,5 +4291,5 @@ year = 2019, address = {Waterloo, Ontario, Canada, N2L 3G1}, - note = {\url{https://uwspace.uwaterloo.ca/handle/10012/14706}}, + note = {\url{https://hdl.handle.net/10012/14706}}, } @@ -5309,4 +5342,17 @@ } +@article{Oorschot23, + keywords = {privacy, C languages, programming, safety, error analysis}, + contributer = {pabuhr@plg}, + author = {van Oorschot, Paul C.}, + journal = {IEEE Security \& Privacy}, + title = {Memory Errors and Memory Safety: {C} as a Case Study}, + year = 2023, + volume = 21, + number = 2, + pages = {70-76}, + note = {\url{https://ieeexplore.ieee.org/document/10102611}} +} + @misc{MMTk, keywords = {Java memory management}, @@ -5332,4 +5378,14 @@ publisher = {ACM}, address = {New York, NY, USA}, +} + +@misc{Kehrer23, + keywords = {memory management, errors, unsafe}, + contributer = {pabuhr@plg}, + title = {2021 in Memory Unsafety - Apple's Operating Systems}, + author = {Paul Kehrer}, + month = dec, + year = 2021, + howpublished= {\url{https://langui.sh/2019/07/23/apple-memory-safety}}, } @@ -7635,5 +7691,5 @@ year = 2017, address = {Waterloo, Ontario, Canada, N2L 3G1}, - note = {\url{https://uwspace.uwaterloo.ca/handle/10012/11830}}, + note = {\url{https://hdl.handle.net/10012/11830}}, } @@ -8249,7 +8305,7 @@ key = {SPECCPUbenchmarks}, title = {SPEC CPU benchmarks}, - howpublished= {\url{https://spec.org/cpu2017/Docs/overview.html#benchmarks}}, year = 2017, note = {Accessed 2024-02}, + howpublished= {\url{https://spec.org/cpu2017/Docs/overview.html\#benchmarks}}, } @@ -8810,4 +8866,14 @@ } +@misc{Miller19, + keywords = {memory management, errors, unsafe}, + contributer = {pabuhr@plg}, + title = {Trends, challenges, and strategic shifts in the software vulnerability mitigation landscape}, + author = {Matt Miller}, + month = feb, + year = 2019, + howpublished= {\url{https://github.com/microsoft/MSRC-Security-Research/tree/master/presentations/2019_02_BlueHatIL}}, +} + @mastersthesis{Till89, keywords = {C, multiple return values, tuples}, @@ -8973,4 +9039,15 @@ } +@mastersthesis{Yu25, + contributer = {pabuhr@plg}, + author = {Fangren Yu}, + title = {Type Resolution in \textsf{C}$\mathbf{\forall}$}, + school = {School of Computer Science, University of Waterloo}, + address = {Waterloo, Ontario, Canada, N2L 3G1}, + publisher = {UWSpace}, + year = {2025}, + note = {\url{https://hdl.handle.net/10012/21763}}, +} + % U @@ -9059,5 +9136,5 @@ volume = {4}, number = {1}, - url = {https://doi.org/10.1145/3379483}, + note = {\url{https://doi.org/10.1145/3379483}}, doi = {10.1145/3379483}, journal = {Proc. ACM Meas. Anal. Comput. Syst.}, @@ -9238,4 +9315,18 @@ publisher = {ACM}, address = {New York, NY, USA}, +} + +@incollection{Cifuentes19, + keywords = {linearization, wait-free synchronization}, + contributer = {pabuhr@plg}, + author = {Cristina Cifuentes and Gavin Bierman}, + title = {What is a Secure Programming Language?}, + booktitle = {3rd Summit on Advances in Programming Languages}, + editor = {Benjamin S. Lerner and Rastislav Bod\'{i}k and Shriram Krishnamurthi}, + month = jul, + year = 2019, + pages = {3:1-3:12}, + publisher = {LIPICS SNAPL}, + address = {Germany}, } Index: doc/theses/mike_brooks_MMath/uw-ethesis.bib =================================================================== --- doc/theses/mike_brooks_MMath/uw-ethesis.bib (revision 499a45a2895b7a022fad52f1159f133d78752fda) +++ doc/theses/mike_brooks_MMath/uw-ethesis.bib (revision 7e2739fa86f220be28d54b23dfd3aeb62410cca3) @@ -32,5 +32,5 @@ @misc{cxx:raii-abi, key = {Itanium}, - title = {Itanium C++ ABI}, + title = {Itanium {C}++ {ABI}}, howpublished= {\url{https://itanium-cxx-abi.github.io/cxx-abi/abi.html}}, } @@ -103,14 +103,4 @@ } -@article{Oorschot23, - author = {van Oorschot, Paul C.}, - journal = {IEEE Security \& Privacy}, - title = {Memory Errors and Memory Safety: {C} as a Case Study}, - year = 2023, - volume = 21, - number = 2, - pages = {70-76}, -} - @InProceedings{Ruef19, author = {Andrew Ruef and Leonidas Lampropoulos and Ian Sweet and David Tarditi and Michael Hicks}, @@ -122,14 +112,4 @@ year = {2019}, pages = {76-98}, -} - -@inproceedings{Elliott18, - keywords = {Safety;Static analysis;Tools;Cyclones;Benchmark testing;Security;Computer bugs;programming languages;security}, - author = {Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael and Tarditi, David}, - booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, - title = {Checked C: Making C Safe by Extension}, - year = 2018, - month = nov, - pages = {53-60}, }