Changeset c979afa for doc/theses/mike_brooks_MMath/uw-ethesis.bib

Timestamp:

Mar 12, 2026, 10:38:53 PM (13 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Parents:

43b6516

Message:

final proofread of introduction chapter

File:

• doc/theses/mike_brooks_MMath/uw-ethesis.bib (modified) (3 diffs)

doc/theses/mike_brooks_MMath/uw-ethesis.bib

@@ -1 @@
-% Bibliography of key references for "LaTeX for Thesis and Large Documents"
+f% Bibliography of key references for "LaTeX for Thesis and Large Documents"
 % For use with BibTeX
 
@@ -126 +126 @@
 
 @phdthesis{Emre2022,
-    author  = "Mehmet Emre",
-    title   = "Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes",
-    school  = "UC Santa Barbara",
-    year    = "2022"
+    author      = "Mehmet Emre",
+    title       = "Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes",
+    school      = "UC Santa Barbara",
+    year        = 2022
 }
 
 @inproceedings{White2016,
-    author = {White, David H. and Rupprecht, Thomas and L\"{u}ttgen, Gerald},
-    title = {DSI: an evidence-based approach to identify dynamic data structures in C programs},
-    year = {2016},
-    isbn = {9781450343909},
-    publisher = {Association for Computing Machinery},
-    address = {New York, NY, USA},
-    url = {https://doi.org/10.1145/2931037.2931071},
-    doi = {10.1145/2931037.2931071},
-    booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis},
-    pages = {259–269},
-    numpages = {11},
-    keywords = {Data structure identification, dynamic data structures, pointer programs, program comprehension},
-    location = {Saarbr\"{u}cken, Germany},
-    series = {ISSTA 2016}
+    author      = {White, David H. and Rupprecht, Thomas and L\"{u}ttgen, Gerald},
+    title       = {DSI: an evidence-based approach to identify dynamic data structures in C programs},
+    year        = {2016},
+    isbn        = {9781450343909},
+    publisher   = {Association for Computing Machinery},
+    address     = {New York, NY, USA},
+    url = {https://doi.org/10.1145/2931037.2931071},
+    doi = {10.1145/2931037.2931071},
+    booktitle   = {Proceedings of the 25th International Symposium on Software Testing and Analysis},
+    pages       = {259-269},
+    numpages    = {11},
+    keywords    = {Data structure identification, dynamic data structures, pointer programs, program comprehension},
+    location    = {Saarbr\"{u}cken, Germany},
+    series      = {ISSTA 2016}
 }
 
@@ -180 +180 @@
 }
 
+@article{Brinker26,
+    author      = {Brinker, Andrew Lilley},
+    title       = {Memory Safety for Skeptics},
+    year        = {2026},
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
+    volume      = {69},
+    number      = {2},
+    journal     = {CACM},
+    month       = jan,
+    pages       = {52-58},
+}