Index: doc/bibliography/pl.bib =================================================================== --- doc/bibliography/pl.bib (revision 411142c8bc5783bf1f3e74076abccde0104ffc4f) +++ doc/bibliography/pl.bib (revision 86044927627432425f35a56d7222b6ae88db4af7) @@ -362,5 +362,5 @@ school = {University of Waterloo}, year = 1991, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, } @@ -426,5 +426,5 @@ year = 2010, month = dec, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, optnote = {\textsf{http://uwspace.uwaterloo.ca/\-bitstream/10012/\-5751\-/1/Krischer\_Roy.pdf}}, note = {\url{http://uwspace.uwaterloo.ca/bitstream/10012/5751/1/Krischer_Roy.pdf}}, @@ -929,4 +929,14 @@ % B + +@misc{ONCD, + keywords = {programming lnaguage safety}, + contributer = {pabuhr@plg}, + key = {Final-ONCD-Technical-Report}, + title = {Back to the Building Blocks: A Path Toward Secure and Measurable Software}, + author = {}, + howpublished= {\url{https://bidenwhitehouse.archives.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}}, + year = 2024, +} @article{Michael13, @@ -1154,4 +1164,14 @@ % C +@mastersthesis{HummelViirola25, + keywords = {C, Rust, conversion}, + contributer = {pabuhr@plg}, + author = {Johan Hummel and Ella Viirola}, + title = {From C 2 Rust: Evaluating the Feasibility of Translating C to a Memory-Safe Programming Language at Ericsson}, + school = {Lund University}, + year = 2025, + address = {Lund, Sweden}, +} + @book{C, keywords = {C}, @@ -1247,8 +1267,8 @@ title = {\textsf{C}$\mathbf{\forall}$ Container Library}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = {2025}, - note = {\url{https://hdl.handle.net/10012/XXXXX}}, + note = {\url{https://hdl.handle.net/10012/12345}}, } @@ -1324,5 +1344,5 @@ title = {The \textsf{C}$\mathbf{\forall}$ Scheduler}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = 2022, @@ -1345,5 +1365,5 @@ school = {School of Computer Science, University of Waterloo}, year = 2004, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}}, } @@ -1355,5 +1375,5 @@ school = {School of Computer Science, University of Waterloo}, year = 2019, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{https://hdl.handle.net/10012/14584}}, } @@ -1510,5 +1530,5 @@ title = {\textsf{C}$\mathbf{\forall}$ Users Guide, Version 0.1}, institution = {Department of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, month = oct, year = 2001, @@ -1833,5 +1853,5 @@ year = 1997, month = sep, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{http://plg.uwaterloo.ca/theses/MokThesis.pdf}}, } @@ -2058,5 +2078,5 @@ school = {School of Computer Sc., University of Waterloo}, year = 2015, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{https://hdl.handle.net/10012/10013}}, } @@ -2104,5 +2124,5 @@ title = {Concurrency in \textsf{C}$\mathbf{\forall}$}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = 2018, @@ -2116,5 +2136,5 @@ title = {Concurrency in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, institution = {Department of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, number = {CS-90-18}, month = may, @@ -2209,5 +2229,5 @@ school = {Department of Computer Science, University of Waterloo}, year = 1992, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}} } @@ -3289,5 +3309,5 @@ title = {Enumerated Types in \textsf{C}$\mathbf{\forall}$}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = {2024}, @@ -3496,5 +3516,5 @@ title = {Exception Handling in \textsf{C}$\mathbf{\forall}$}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = {2021}, @@ -3752,5 +3772,5 @@ year = 2008, month = jan, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{http://uwspace.uwaterloo.ca/bitstream/10012/3501/1/Thesis.pdf}}, } @@ -4209,5 +4229,5 @@ year = 2009, month = sep, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\textsf{http://uwspace.uwaterloo.ca/bitstream/\-10012/\-4735/\-1/\-Chen-Jun.pdf}}, } @@ -4230,5 +4250,5 @@ author = {Haskell}, title = {Haskell 2010 Language Report}, - edition = {{S}imon {M}arlow}, + optedition = {{S}imon {M}arlow}, year = 2010, note = {\url{https://haskell.org/definition/haskell2010.pdf}}, @@ -4291,5 +4311,5 @@ title = {High Level Concurrency in \textsf{C}$\mathbf{\forall}$}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = {2023}, @@ -4302,7 +4322,7 @@ author = {Mubeen Zulfiqar}, title = {High-Performance Concurrent Memory Allocation}, - school = {School of Computer Science, University of Waterloo}, + school = {School of Comp. Sc., Univ. of Waterloo}, year = 2022, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{https://hdl.handle.net/10012/18329}}, } @@ -4323,7 +4343,7 @@ author = {Srihari Radhakrishnan}, title = {High Performance Web Servers: A Study In Concurrent Programming Models}, - school = {School of Computer Sc., University of Waterloo}, + school = {School of Computer Science, University of Waterloo}, year = 2019, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{https://hdl.handle.net/10012/14706}}, } @@ -4529,7 +4549,7 @@ author = {Richard C. Bilson}, title = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$}, - school = {School of Computer Science, University of Waterloo}, + school = {University of Waterloo}, year = 2003, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}}, } @@ -4572,5 +4592,5 @@ year = 2018, month = sep, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{https://uwspace.uwaterloo.ca/handle/10012/13935}}, } @@ -5109,5 +5129,5 @@ school = {University of Waterloo}, year = 1990, - address = {Waterloo, Ontario, Canada, N2L 3G1} + address = {Waterloo, Ontario, Canada} } @@ -5531,5 +5551,5 @@ title = {$\mu${S}ystem Annotated Reference Manual, Version 4.4.3}, institution = {Department of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, month = sep, year = 1994, @@ -6273,8 +6293,8 @@ contributer = {pabuhr@plg}, key = {OCaml}, - title = {The {OC}aml system, release 5.1}, - address = {Rust Project Developers}, - year = 2023, - note = {\url{https://v2.ocaml.org/manual/}}, + author = {Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon}, + title = {The {OC}aml system, release 5.4}, + year = 2025, + note = {\url{https://v2.ocaml.org/manual}}, } @@ -7733,5 +7753,5 @@ school = {School of Computer Science, University of Waterloo}, year = 2017, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, note = {\url{https://hdl.handle.net/10012/11830}}, } @@ -7819,8 +7839,8 @@ contributer = {pabuhr@plg}, key = {Rust}, - title = {{R}ust Programming Language}, - address = {Rust Project Developers}, + title = {The {R}ust Reference}, + address = {Rust Developers}, year = 2015, - note = {\url{https://doc.rust-lang.org/reference.html}}, + note = {\url{https://doc.rust-lang.org/stable/reference}}, } @@ -7875,4 +7895,16 @@ month = jun, pages = {35-46}, +} + +@inproceedings{Kashyap17, + contributer = {pabuhr@plg}, + author = {Sanidhya Kashyap and Changwoo Min and Taesoo Kim}, + title = {Scalable {NUMA-aware} Blocking Synchronization Primitives}, + booktitle = {2017 USENIX Annual Tech. Conf.}, + address = {Santa Clara, CA}, + pages = {603-615}, + publisher = {USENIX Assoc.}, + year = 2017, + month = jul, } @@ -8321,5 +8353,5 @@ contributer = {pabuhr@plg}, author = {Michael D. Tiemann}, - title = {Solving the RPC problem in GNU {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, + title = {Solving the {RPC} problem in {GNU} {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}}, booktitle = {Proceedings of the USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference}, organization= {USENIX Association}, @@ -8333,5 +8365,5 @@ keywords = {Polymorphic C}, contributor = {a3moss@uwaterloo.ca}, - title = {A sound polymorphic type system for a dialect of {C}}, + title = {A Sound Polymorphic Type System for a Dialect of {C}}, author = {Smith, Geoffrey and Volpano, Dennis}, journal = {Science of computer programming}, @@ -8543,5 +8575,5 @@ school = {Department of Computer Science, University of Waterloo}, year = 1989, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, } @@ -8784,5 +8816,5 @@ volume = 40, number = 6, - month = jun, + optmonth = jun, year = 2005, pages = {261-268}, @@ -8909,8 +8941,19 @@ } +@misc{Tractor, + keywords = {Rust, C conversion}, + contributer = {pabuhr@plg}, + key = {Tractor}, + title = {TRACTOR: Translating All C to Rust}, + author = {Dan Wallach}, + note = {DARPA}, + howpublished= {\url{https://www.darpa.mil/research/programs/translating-all-c-to-rust}}, + year = 2024, +} + @misc{Miller19, keywords = {memory management, errors, unsafe}, contributer = {pabuhr@plg}, - title = {Trends, challenges, and strategic shifts in the software vulnerability mitigation landscape}, + title = {Trends, Challenges, and Strategic Shifts in the Software Vulnerability Mitigation Landscape}, author = {Matt Miller}, month = feb, @@ -8926,5 +8969,5 @@ school = {Department of Computer Science, University of Waterloo}, year = 1989, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, } @@ -9087,5 +9130,5 @@ title = {Type Resolution in \textsf{C}$\mathbf{\forall}$}, school = {School of Computer Science, University of Waterloo}, - address = {Waterloo, Ontario, Canada, N2L 3G1}, + address = {Waterloo, Ontario, Canada}, publisher = {UWSpace}, year = {2025},