Changeset 8604492


Ignore:
Timestamp:
Nov 17, 2025, 8:59:32 PM (4 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
771a4f7
Parents:
411142c
Message:

many citation updates

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r411142c r8604492  
    362362    school      = {University of Waterloo},
    363363    year        = 1991,
    364     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     364    address     = {Waterloo, Ontario, Canada},
    365365}
    366366
    … …  
    426426    year        = 2010,
    427427    month       = dec,
    428     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     428    address     = {Waterloo, Ontario, Canada},
    429429    optnote     = {\textsf{http://uwspace.uwaterloo.ca/\-bitstream/10012/\-5751\-/1/Krischer\_Roy.pdf}},
    430430    note        = {\url{http://uwspace.uwaterloo.ca/bitstream/10012/5751/1/Krischer_Roy.pdf}},
    … …  
    929929
    930930% B
     931
     932@misc{ONCD,
     933    keywords    = {programming lnaguage safety},
     934    contributer = {pabuhr@plg},
     935    key         = {Final-ONCD-Technical-Report},
     936    title       = {Back to the Building Blocks: A Path Toward Secure and Measurable Software},
     937    author      = {},
     938    howpublished= {\url{https://bidenwhitehouse.archives.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}},
     939    year        = 2024,
     940}
    931941
    932942@article{Michael13,
    … …  
    11541164% C
    11551165
     1166@mastersthesis{HummelViirola25,
     1167    keywords    = {C, Rust, conversion},
     1168    contributer = {pabuhr@plg},
     1169    author      = {Johan Hummel and Ella Viirola},
     1170    title       = {From C 2 Rust: Evaluating the Feasibility of Translating C to a Memory-Safe Programming Language at Ericsson},
     1171    school      = {Lund University},
     1172    year        = 2025,
     1173    address     = {Lund, Sweden},
     1174}
     1175
    11561176@book{C,
    11571177    keywords    = {C},
    … …  
    12471267    title       = {\textsf{C}$\mathbf{\forall}$ Container Library},
    12481268    school      = {School of Computer Science, University of Waterloo},
    1249     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1269    address     = {Waterloo, Ontario, Canada},
    12501270    publisher   = {UWSpace},
    12511271    year        = {2025},
    1252     note        = {\url{https://hdl.handle.net/10012/XXXXX}},
     1272    note        = {\url{https://hdl.handle.net/10012/12345}},
    12531273}
    12541274
    … …  
    13241344    title       = {The \textsf{C}$\mathbf{\forall}$ Scheduler},
    13251345    school      = {School of Computer Science, University of Waterloo},
    1326     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1346    address     = {Waterloo, Ontario, Canada},
    13271347    publisher   = {UWSpace},
    13281348    year        = 2022,
    … …  
    13451365    school      = {School of Computer Science, University of Waterloo},
    13461366    year        = 2004,
    1347     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1367    address     = {Waterloo, Ontario, Canada},
    13481368    note        = {\url{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}},
    13491369}
    … …  
    13551375    school      = {School of Computer Science, University of Waterloo},
    13561376    year        = 2019,
    1357     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1377    address     = {Waterloo, Ontario, Canada},
    13581378    note        = {\url{https://hdl.handle.net/10012/14584}},
    13591379}
    … …  
    15101530    title       = {\textsf{C}$\mathbf{\forall}$ Users Guide, Version 0.1},
    15111531    institution = {Department of Computer Science, University of Waterloo},
    1512     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1532    address     = {Waterloo, Ontario, Canada},
    15131533    month       = oct,
    15141534    year        = 2001,
    … …  
    18331853    year        = 1997,
    18341854    month       = sep,
    1835     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1855    address     = {Waterloo, Ontario, Canada},
    18361856    note        = {\url{http://plg.uwaterloo.ca/theses/MokThesis.pdf}},
    18371857}
    … …  
    20582078    school      = {School of Computer Sc., University of Waterloo},
    20592079    year        = 2015,
    2060     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     2080    address     = {Waterloo, Ontario, Canada},
    20612081    note        = {\url{https://hdl.handle.net/10012/10013}},
    20622082}
    … …  
    21042124    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    21052125    school      = {School of Computer Science, University of Waterloo},
    2106     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     2126    address     = {Waterloo, Ontario, Canada},
    21072127    publisher   = {UWSpace},
    21082128    year        = 2018,
    … …  
    21162136    title       = {Concurrency in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    21172137    institution = {Department of Computer Science, University of Waterloo},
    2118     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     2138    address     = {Waterloo, Ontario, Canada},
    21192139    number      = {CS-90-18},
    21202140    month       = may,
    … …  
    22092229    school      = {Department of Computer Science, University of Waterloo},
    22102230    year        = 1992,
    2211     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     2231    address     = {Waterloo, Ontario, Canada},
    22122232    note        = {\url{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}}
    22132233}
    … …  
    32893309    title       = {Enumerated Types in \textsf{C}$\mathbf{\forall}$},
    32903310    school      = {School of Computer Science, University of Waterloo},
    3291     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     3311    address     = {Waterloo, Ontario, Canada},
    32923312    publisher   = {UWSpace},
    32933313    year        = {2024},
    … …  
    34963516    title       = {Exception Handling in \textsf{C}$\mathbf{\forall}$},
    34973517    school      = {School of Computer Science, University of Waterloo},
    3498     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     3518    address     = {Waterloo, Ontario, Canada},
    34993519    publisher   = {UWSpace},
    35003520    year        = {2021},
    … …  
    37523772    year        = 2008,
    37533773    month       = jan,
    3754     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     3774    address     = {Waterloo, Ontario, Canada},
    37553775    note        = {\url{http://uwspace.uwaterloo.ca/bitstream/10012/3501/1/Thesis.pdf}},
    37563776}
    … …  
    42094229    year        = 2009,
    42104230    month       = sep,
    4211     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4231    address     = {Waterloo, Ontario, Canada},
    42124232    note        = {\textsf{http://uwspace.uwaterloo.ca/bitstream/\-10012/\-4735/\-1/\-Chen-Jun.pdf}},
    42134233}
    … …  
    42304250    author      = {Haskell},
    42314251    title       = {Haskell 2010 Language Report},
    4232     edition     = {{S}imon {M}arlow},
     4252    optedition  = {{S}imon {M}arlow},
    42334253    year        = 2010,
    42344254    note        = {\url{https://haskell.org/definition/haskell2010.pdf}},
    … …  
    42914311    title       = {High Level Concurrency in \textsf{C}$\mathbf{\forall}$},
    42924312    school      = {School of Computer Science, University of Waterloo},
    4293     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4313    address     = {Waterloo, Ontario, Canada},
    42944314    publisher   = {UWSpace},
    42954315    year        = {2023},
    … …  
    43024322    author      = {Mubeen Zulfiqar},
    43034323    title       = {High-Performance Concurrent Memory Allocation},
    4304     school      = {School of Computer Science, University of Waterloo},
     4324    school      = {School of Comp. Sc., Univ. of Waterloo},
    43054325    year        = 2022,
    4306     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4326    address     = {Waterloo, Ontario, Canada},
    43074327    note        = {\url{https://hdl.handle.net/10012/18329}},
    43084328}
    … …  
    43234343    author      = {Srihari Radhakrishnan},
    43244344    title       = {High Performance Web Servers: A Study In Concurrent Programming Models},
    4325     school      = {School of Computer Sc., University of Waterloo},
     4345    school      = {School of Computer Science, University of Waterloo},
    43264346    year        = 2019,
    4327     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4347    address     = {Waterloo, Ontario, Canada},
    43284348    note        = {\url{https://hdl.handle.net/10012/14706}},
    43294349}
    … …  
    45294549    author      = {Richard C. Bilson},
    45304550    title       = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$},
    4531     school      = {School of Computer Science, University of Waterloo},
     4551    school      = {University of Waterloo},
    45324552    year        = 2003,
    4533     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4553    address     = {Waterloo, Ontario, Canada},
    45344554    note        = {\url{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}},
    45354555}
    … …  
    45724592    year        = 2018,
    45734593    month       = sep,
    4574     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4594    address     = {Waterloo, Ontario, Canada},
    45754595    note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/13935}},
    45764596}
    … …  
    51095129    school      = {University of Waterloo},
    51105130    year        = 1990,
    5111     address     = {Waterloo, Ontario, Canada, N2L 3G1}
     5131    address     = {Waterloo, Ontario, Canada}
    51125132}
    51135133
    … …  
    55315551    title       = {$\mu${S}ystem Annotated Reference Manual, Version 4.4.3},
    55325552    institution = {Department of Computer Science, University of Waterloo},
    5533     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     5553    address     = {Waterloo, Ontario, Canada},
    55345554    month       = sep,
    55355555    year        = 1994,
    … …  
    62736293    contributer = {pabuhr@plg},
    62746294    key         = {OCaml},
    6275     title       = {The {OC}aml system, release 5.1},
    6276     address     = {Rust Project Developers},
    6277     year        = 2023,
    6278     note        = {\url{https://v2.ocaml.org/manual/}},
     6295    author      = {Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon},
     6296    title       = {The {OC}aml system, release 5.4},
     6297    year        = 2025,
     6298    note        = {\url{https://v2.ocaml.org/manual}},
    62796299}
    62806300
    … …  
    77337753    school      = {School of Computer Science, University of Waterloo},
    77347754    year        = 2017,
    7735     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     7755    address     = {Waterloo, Ontario, Canada},
    77367756    note        = {\url{https://hdl.handle.net/10012/11830}},
    77377757}
    … …  
    78197839    contributer = {pabuhr@plg},
    78207840    key         = {Rust},
    7821     title       = {{R}ust Programming Language},
    7822     address     = {Rust Project Developers},
     7841    title       = {The {R}ust Reference},
     7842    address     = {Rust Developers},
    78237843    year        = 2015,
    7824     note        = {\url{https://doc.rust-lang.org/reference.html}},
     7844    note        = {\url{https://doc.rust-lang.org/stable/reference}},
    78257845}
    78267846
    … …  
    78757895    month       = jun,
    78767896    pages       = {35-46},
     7897}
     7898
     7899@inproceedings{Kashyap17,
     7900    contributer = {pabuhr@plg},
     7901    author      = {Sanidhya Kashyap and Changwoo Min and Taesoo Kim},
     7902    title       = {Scalable {NUMA-aware} Blocking Synchronization Primitives},
     7903    booktitle   = {2017 USENIX Annual Tech. Conf.},
     7904    address     = {Santa Clara, CA},
     7905    pages       = {603-615},
     7906    publisher   = {USENIX Assoc.},
     7907    year        = 2017,
     7908    month       = jul,
    78777909}
    78787910
    … …  
    83218353    contributer = {pabuhr@plg},
    83228354    author      = {Michael D. Tiemann},
    8323     title       = {Solving the RPC problem in GNU {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     8355    title       = {Solving the {RPC} problem in {GNU} {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    83248356    booktitle   = {Proceedings of the USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference},
    83258357    organization= {USENIX Association},
    … …  
    83338365    keywords    = {Polymorphic C},
    83348366    contributor = {a3moss@uwaterloo.ca},
    8335     title       = {A sound polymorphic type system for a dialect of {C}},
     8367    title       = {A Sound Polymorphic Type System for a Dialect of {C}},
    83368368    author      = {Smith, Geoffrey and Volpano, Dennis},
    83378369    journal     = {Science of computer programming},
    … …  
    85438575    school      = {Department of Computer Science, University of Waterloo},
    85448576    year        = 1989,
    8545     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     8577    address     = {Waterloo, Ontario, Canada},
    85468578}
    85478579
    … …  
    87848816    volume      = 40,
    87858817    number      = 6,
    8786     month       = jun,
     8818    optmonth    = jun,
    87878819    year        = 2005,
    87888820    pages       = {261-268},
    … …  
    89098941}
    89108942
     8943@misc{Tractor,
     8944    keywords    = {Rust, C conversion},
     8945    contributer = {pabuhr@plg},
     8946    key         = {Tractor},
     8947    title       = {TRACTOR: Translating All C to Rust},
     8948    author      = {Dan Wallach},
     8949    note        = {DARPA},
     8950    howpublished= {\url{https://www.darpa.mil/research/programs/translating-all-c-to-rust}},
     8951    year        = 2024,
     8952}
     8953
    89118954@misc{Miller19,
    89128955    keywords    = {memory management, errors, unsafe},
    89138956    contributer = {pabuhr@plg},
    8914     title       = {Trends, challenges, and strategic shifts in the software vulnerability mitigation landscape},
     8957    title       = {Trends, Challenges, and Strategic Shifts in the Software Vulnerability Mitigation Landscape},
    89158958    author      = {Matt Miller},
    89168959    month       = feb,
    … …  
    89268969    school      = {Department of Computer Science, University of Waterloo},
    89278970    year        = 1989,
    8928     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     8971    address     = {Waterloo, Ontario, Canada},
    89298972}
    89308973
    … …  
    90879130    title       = {Type Resolution in \textsf{C}$\mathbf{\forall}$},
    90889131    school      = {School of Computer Science, University of Waterloo},
    9089     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     9132    address     = {Waterloo, Ontario, Canada},
    90909133    publisher   = {UWSpace},
    90919134    year        = {2025},
Note: See TracChangeset for help on using the changeset viewer.