Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r8604492 r7ffd7f0  
    362362    school      = {University of Waterloo},
    363363    year        = 1991,
    364     address     = {Waterloo, Ontario, Canada},
     364    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    365365}
    366366
    … …  
    426426    year        = 2010,
    427427    month       = dec,
    428     address     = {Waterloo, Ontario, Canada},
     428    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    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 }
    941931
    942932@article{Michael13,
    … …  
    11641154% C
    11651155
    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 
    11761156@book{C,
    11771157    keywords    = {C},
    … …  
    12671247    title       = {\textsf{C}$\mathbf{\forall}$ Container Library},
    12681248    school      = {School of Computer Science, University of Waterloo},
    1269     address     = {Waterloo, Ontario, Canada},
     1249    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    12701250    publisher   = {UWSpace},
    12711251    year        = {2025},
    1272     note        = {\url{https://hdl.handle.net/10012/12345}},
     1252    note        = {\url{https://hdl.handle.net/10012/XXXXX}},
    12731253}
    12741254
    … …  
    13441324    title       = {The \textsf{C}$\mathbf{\forall}$ Scheduler},
    13451325    school      = {School of Computer Science, University of Waterloo},
    1346     address     = {Waterloo, Ontario, Canada},
     1326    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    13471327    publisher   = {UWSpace},
    13481328    year        = 2022,
    … …  
    13651345    school      = {School of Computer Science, University of Waterloo},
    13661346    year        = 2004,
    1367     address     = {Waterloo, Ontario, Canada},
     1347    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    13681348    note        = {\url{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}},
    13691349}
    … …  
    13751355    school      = {School of Computer Science, University of Waterloo},
    13761356    year        = 2019,
    1377     address     = {Waterloo, Ontario, Canada},
     1357    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    13781358    note        = {\url{https://hdl.handle.net/10012/14584}},
    13791359}
    … …  
    15301510    title       = {\textsf{C}$\mathbf{\forall}$ Users Guide, Version 0.1},
    15311511    institution = {Department of Computer Science, University of Waterloo},
    1532     address     = {Waterloo, Ontario, Canada},
     1512    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    15331513    month       = oct,
    15341514    year        = 2001,
    … …  
    18531833    year        = 1997,
    18541834    month       = sep,
    1855     address     = {Waterloo, Ontario, Canada},
     1835    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    18561836    note        = {\url{http://plg.uwaterloo.ca/theses/MokThesis.pdf}},
    18571837}
    … …  
    20782058    school      = {School of Computer Sc., University of Waterloo},
    20792059    year        = 2015,
    2080     address     = {Waterloo, Ontario, Canada},
     2060    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    20812061    note        = {\url{https://hdl.handle.net/10012/10013}},
    20822062}
    … …  
    21242104    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    21252105    school      = {School of Computer Science, University of Waterloo},
    2126     address     = {Waterloo, Ontario, Canada},
     2106    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    21272107    publisher   = {UWSpace},
    21282108    year        = 2018,
    … …  
    21362116    title       = {Concurrency in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    21372117    institution = {Department of Computer Science, University of Waterloo},
    2138     address     = {Waterloo, Ontario, Canada},
     2118    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    21392119    number      = {CS-90-18},
    21402120    month       = may,
    … …  
    22292209    school      = {Department of Computer Science, University of Waterloo},
    22302210    year        = 1992,
    2231     address     = {Waterloo, Ontario, Canada},
     2211    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    22322212    note        = {\url{http://plg.uwaterloo.ca/theses/DitchfieldThesis.pdf}}
    22332213}
    … …  
    33093289    title       = {Enumerated Types in \textsf{C}$\mathbf{\forall}$},
    33103290    school      = {School of Computer Science, University of Waterloo},
    3311     address     = {Waterloo, Ontario, Canada},
     3291    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    33123292    publisher   = {UWSpace},
    33133293    year        = {2024},
    … …  
    35163496    title       = {Exception Handling in \textsf{C}$\mathbf{\forall}$},
    35173497    school      = {School of Computer Science, University of Waterloo},
    3518     address     = {Waterloo, Ontario, Canada},
     3498    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    35193499    publisher   = {UWSpace},
    35203500    year        = {2021},
    … …  
    37723752    year        = 2008,
    37733753    month       = jan,
    3774     address     = {Waterloo, Ontario, Canada},
     3754    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    37753755    note        = {\url{http://uwspace.uwaterloo.ca/bitstream/10012/3501/1/Thesis.pdf}},
    37763756}
    … …  
    42294209    year        = 2009,
    42304210    month       = sep,
    4231     address     = {Waterloo, Ontario, Canada},
     4211    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    42324212    note        = {\textsf{http://uwspace.uwaterloo.ca/bitstream/\-10012/\-4735/\-1/\-Chen-Jun.pdf}},
    42334213}
    … …  
    42504230    author      = {Haskell},
    42514231    title       = {Haskell 2010 Language Report},
    4252     optedition  = {{S}imon {M}arlow},
     4232    edition     = {{S}imon {M}arlow},
    42534233    year        = 2010,
    42544234    note        = {\url{https://haskell.org/definition/haskell2010.pdf}},
    … …  
    43114291    title       = {High Level Concurrency in \textsf{C}$\mathbf{\forall}$},
    43124292    school      = {School of Computer Science, University of Waterloo},
    4313     address     = {Waterloo, Ontario, Canada},
     4293    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    43144294    publisher   = {UWSpace},
    43154295    year        = {2023},
    … …  
    43224302    author      = {Mubeen Zulfiqar},
    43234303    title       = {High-Performance Concurrent Memory Allocation},
    4324     school      = {School of Comp. Sc., Univ. of Waterloo},
     4304    school      = {School of Computer Science, University of Waterloo},
    43254305    year        = 2022,
    4326     address     = {Waterloo, Ontario, Canada},
     4306    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    43274307    note        = {\url{https://hdl.handle.net/10012/18329}},
    43284308}
    … …  
    43434323    author      = {Srihari Radhakrishnan},
    43444324    title       = {High Performance Web Servers: A Study In Concurrent Programming Models},
    4345     school      = {School of Computer Science, University of Waterloo},
     4325    school      = {School of Computer Sc., University of Waterloo},
    43464326    year        = 2019,
    4347     address     = {Waterloo, Ontario, Canada},
     4327    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    43484328    note        = {\url{https://hdl.handle.net/10012/14706}},
    43494329}
    … …  
    45494529    author      = {Richard C. Bilson},
    45504530    title       = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$},
    4551     school      = {University of Waterloo},
     4531    school      = {School of Computer Science, University of Waterloo},
    45524532    year        = 2003,
    4553     address     = {Waterloo, Ontario, Canada},
     4533    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    45544534    note        = {\url{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}},
    45554535}
    … …  
    45924572    year        = 2018,
    45934573    month       = sep,
    4594     address     = {Waterloo, Ontario, Canada},
     4574    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    45954575    note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/13935}},
    45964576}
    … …  
    51295109    school      = {University of Waterloo},
    51305110    year        = 1990,
    5131     address     = {Waterloo, Ontario, Canada}
     5111    address     = {Waterloo, Ontario, Canada, N2L 3G1}
    51325112}
    51335113
    … …  
    55515531    title       = {$\mu${S}ystem Annotated Reference Manual, Version 4.4.3},
    55525532    institution = {Department of Computer Science, University of Waterloo},
    5553     address     = {Waterloo, Ontario, Canada},
     5533    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    55545534    month       = sep,
    55555535    year        = 1994,
    … …  
    62936273    contributer = {pabuhr@plg},
    62946274    key         = {OCaml},
    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}},
     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/}},
    62996279}
    63006280
    … …  
    77537733    school      = {School of Computer Science, University of Waterloo},
    77547734    year        = 2017,
    7755     address     = {Waterloo, Ontario, Canada},
     7735    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    77567736    note        = {\url{https://hdl.handle.net/10012/11830}},
    77577737}
    … …  
    78397819    contributer = {pabuhr@plg},
    78407820    key         = {Rust},
    7841     title       = {The {R}ust Reference},
    7842     address     = {Rust Developers},
     7821    title       = {{R}ust Programming Language},
     7822    address     = {Rust Project Developers},
    78437823    year        = 2015,
    7844     note        = {\url{https://doc.rust-lang.org/stable/reference}},
     7824    note        = {\url{https://doc.rust-lang.org/reference.html}},
    78457825}
    78467826
    … …  
    78957875    month       = jun,
    78967876    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,
    79097877}
    79107878
    … …  
    83538321    contributer = {pabuhr@plg},
    83548322    author      = {Michael D. Tiemann},
    8355     title       = {Solving the {RPC} problem in {GNU} {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     8323    title       = {Solving the RPC problem in GNU {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    83568324    booktitle   = {Proceedings of the USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference},
    83578325    organization= {USENIX Association},
    … …  
    83658333    keywords    = {Polymorphic C},
    83668334    contributor = {a3moss@uwaterloo.ca},
    8367     title       = {A Sound Polymorphic Type System for a Dialect of {C}},
     8335    title       = {A sound polymorphic type system for a dialect of {C}},
    83688336    author      = {Smith, Geoffrey and Volpano, Dennis},
    83698337    journal     = {Science of computer programming},
    … …  
    85758543    school      = {Department of Computer Science, University of Waterloo},
    85768544    year        = 1989,
    8577     address     = {Waterloo, Ontario, Canada},
     8545    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    85788546}
    85798547
    … …  
    88168784    volume      = 40,
    88178785    number      = 6,
    8818     optmonth    = jun,
     8786    month       = jun,
    88198787    year        = 2005,
    88208788    pages       = {261-268},
    … …  
    89418909}
    89428910
    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 
    89548911@misc{Miller19,
    89558912    keywords    = {memory management, errors, unsafe},
    89568913    contributer = {pabuhr@plg},
    8957     title       = {Trends, Challenges, and Strategic Shifts in the Software Vulnerability Mitigation Landscape},
     8914    title       = {Trends, challenges, and strategic shifts in the software vulnerability mitigation landscape},
    89588915    author      = {Matt Miller},
    89598916    month       = feb,
    … …  
    89698926    school      = {Department of Computer Science, University of Waterloo},
    89708927    year        = 1989,
    8971     address     = {Waterloo, Ontario, Canada},
     8928    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    89728929}
    89738930
    … …  
    91309087    title       = {Type Resolution in \textsf{C}$\mathbf{\forall}$},
    91319088    school      = {School of Computer Science, University of Waterloo},
    9132     address     = {Waterloo, Ontario, Canada},
     9089    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    91339090    publisher   = {UWSpace},
    91349091    year        = {2025},
Note: See TracChangeset for help on using the changeset viewer.