Changeset 7e2739f for doc/bibliography


Ignore:
Timestamp:
Aug 13, 2025, 7:58:15 AM (2 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
221d40c
Parents:
499a45a
Message:

update citations

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r499a45a r7e2739f  
     1
    12% Conventions: uncross-referenced entries appear first, then
    23%    cross-referenced entries.  In both groups, entries are sorted by their
    … …  
    13161317    publisher   = {UWSpace},
    13171318    year        = 2022,
    1318     note        = {\url{http://hdl.handle.net/10012/18941}}
     1319    note        = {\url{https://hdl.handle.net/10012/18941}}
    13191320}
    13201321
    … …  
    13451346    year        = 2019,
    13461347    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    1347     note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/14584}},
     1348    note        = {\url{https://hdl.handle.net/10012/14584}},
    13481349}
    13491350
    … …  
    15271528    contributer = {a3moss@uwaterloo.ca},
    15281529    author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
    1529     title       = {Checked C: Making C Safe by Extension},
     1530    title       = {Checked {C}: Making {C} Safe by Extension},
    15301531    booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
    15311532    publisher   = {IEEE},
    1532     year        = {2018},
     1533    year        = 2018,
    15331534    month       = sep,
    15341535    pages       = {53-60},
    1535     url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
     1536    note        = {\url{https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension}},
     1537}
     1538
     1539@inproceedings{Elliott18,
     1540    keywords    = {Safety;Static analysis;Tools;Cyclones;Benchmark testing;Security;Computer bugs;programming languages;security},
     1541    author      = {Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael and Tarditi, David},
     1542    booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
     1543    title       = {Checked {C}: Making {C} Safe by Extension},
     1544    year        = 2018,
     1545    month       = nov,
     1546    pages       = {53-60},
    15361547}
    15371548
    … …  
    17901801    pages       = {114-124},
    17911802    year        = 2001,
    1792     url         = {http://citeseer.ist.psu.edu/berger01composing.html}
     1803    note        = {\url{http://citeseer.ist.psu.edu/berger01composing.html}},
    17931804}
    17941805
    … …  
    20382049    year        = 2015,
    20392050    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    2040     note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/10013}},
     2051    note        = {\url{https://hdl.handle.net/10012/10013}},
    20412052}
    20422053
    … …  
    20862097    publisher   = {UWSpace},
    20872098    year        = 2018,
    2088     note        = {\url{http://hdl.handle.net/10012/12888}},
     2099    note        = {\url{https://hdl.handle.net/10012/12888}},
    20892100}
    20902101
    … …  
    32473258    month       = may,
    32483259    year        = 1988,
     3260}
     3261
     3262@mastersthesis{Liang24,
     3263    contributer = {pabuhr@plg},
     3264    author      = {Jiada Liang},
     3265    title       = {Enumerated Types in \textsf{C}$\mathbf{\forall}$},
     3266    school      = {School of Computer Science, University of Waterloo},
     3267    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     3268    publisher   = {UWSpace},
     3269    year        = {2024},
     3270    note        = {\url{https://hdl.handle.net/10012/21067}},
    32493271}
    32503272
    … …  
    34533475    publisher   = {UWSpace},
    34543476    year        = {2021},
    3455     note        = {\url{http://hdl.handle.net/10012/17617}},
     3477    note        = {\url{https://hdl.handle.net/10012/17617}},
    34563478}
    34573479
    … …  
    42294251}
    42304252
     4253@mastersthesis{Parsons23,
     4254    contributer = {pabuhr@plg},
     4255    author      = {Colby Parsons},
     4256    title       = {High Level Concurrency in \textsf{C}$\mathbf{\forall}$},
     4257    school      = {School of Computer Science, University of Waterloo},
     4258    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     4259    publisher   = {UWSpace},
     4260    year        = {2023},
     4261    note        = {\url{https://hdl.handle.net/10012/19932}},
     4262}
     4263
    42314264@mastersthesis{Zulfiqar22,
    42324265    keywords    = {Cforall, memory allocation, threading},
    … …  
    42374270    year        = 2022,
    42384271    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    4239     note        = {\url{http://hdl.handle.net/10012/18329}},
     4272    note        = {\url{https://hdl.handle.net/10012/18329}},
    42404273}
    42414274
    … …  
    42584291    year        = 2019,
    42594292    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    4260     note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/14706}},
     4293    note        = {\url{https://hdl.handle.net/10012/14706}},
    42614294}
    42624295
    … …  
    53095342}
    53105343
     5344@article{Oorschot23,
     5345    keywords    = {privacy, C languages, programming, safety, error analysis},
     5346    contributer = {pabuhr@plg},
     5347    author      = {van Oorschot, Paul C.},
     5348    journal     = {IEEE Security \& Privacy},
     5349    title       = {Memory Errors and Memory Safety: {C} as a Case Study},
     5350    year        = 2023,
     5351    volume      = 21,
     5352    number      = 2,
     5353    pages       = {70-76},
     5354    note        = {\url{https://ieeexplore.ieee.org/document/10102611}}
     5355}
     5356
    53115357@misc{MMTk,
    53125358    keywords    = {Java memory management},
    … …  
    53325378    publisher   = {ACM},
    53335379    address     = {New York, NY, USA},
     5380}
     5381
     5382@misc{Kehrer23,
     5383    keywords    = {memory management, errors, unsafe},
     5384    contributer = {pabuhr@plg},
     5385    title       = {2021 in Memory Unsafety - Apple's Operating Systems},
     5386    author      = {Paul Kehrer},
     5387    month       = dec,
     5388    year        = 2021,
     5389    howpublished= {\url{https://langui.sh/2019/07/23/apple-memory-safety}},
    53345390}
    53355391
    … …  
    76357691    year        = 2017,
    76367692    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    7637     note        = {\url{https://uwspace.uwaterloo.ca/handle/10012/11830}},
     7693    note        = {\url{https://hdl.handle.net/10012/11830}},
    76387694}
    76397695
    … …  
    82498305    key         = {SPECCPUbenchmarks},
    82508306    title       = {SPEC CPU benchmarks},
    8251     howpublished= {\url{https://spec.org/cpu2017/Docs/overview.html#benchmarks}},
    82528307    year        = 2017,
    82538308    note        = {Accessed 2024-02},
     8309    howpublished= {\url{https://spec.org/cpu2017/Docs/overview.html\#benchmarks}},
    82548310}
    82558311
    … …  
    88108866}
    88118867
     8868@misc{Miller19,
     8869    keywords    = {memory management, errors, unsafe},
     8870    contributer = {pabuhr@plg},
     8871    title       = {Trends, challenges, and strategic shifts in the software vulnerability mitigation landscape},
     8872    author      = {Matt Miller},
     8873    month       = feb,
     8874    year        = 2019,
     8875    howpublished= {\url{https://github.com/microsoft/MSRC-Security-Research/tree/master/presentations/2019_02_BlueHatIL}},
     8876}
     8877
    88128878@mastersthesis{Till89,
    88138879    keywords    = {C, multiple return values, tuples},
    … …  
    89739039}
    89749040
     9041@mastersthesis{Yu25,
     9042    contributer = {pabuhr@plg},
     9043    author      = {Fangren Yu},
     9044    title       = {Type Resolution in \textsf{C}$\mathbf{\forall}$},
     9045    school      = {School of Computer Science, University of Waterloo},
     9046    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     9047    publisher   = {UWSpace},
     9048    year        = {2025},
     9049    note        = {\url{https://hdl.handle.net/10012/21763}},
     9050}
     9051
    89759052% U
    89769053
    … …  
    90599136    volume      = {4},
    90609137    number      = {1},
    9061     url         = {https://doi.org/10.1145/3379483},
     9138    note        = {\url{https://doi.org/10.1145/3379483}},
    90629139    doi         = {10.1145/3379483},
    90639140    journal     = {Proc. ACM Meas. Anal. Comput. Syst.},
    … …  
    92389315    publisher   = {ACM},
    92399316    address     = {New York, NY, USA},
     9317}
     9318
     9319@incollection{Cifuentes19,
     9320    keywords    = {linearization, wait-free synchronization},
     9321    contributer = {pabuhr@plg},
     9322    author      = {Cristina Cifuentes and Gavin Bierman},
     9323    title       = {What is a Secure Programming Language?},
     9324    booktitle   = {3rd Summit on Advances in Programming Languages},
     9325    editor      = {Benjamin S. Lerner and Rastislav Bod\'{i}k and Shriram Krishnamurthi},
     9326    month       = jul,
     9327    year        = 2019,
     9328    pages       = {3:1-3:12},
     9329    publisher   = {LIPICS SNAPL},
     9330    address     = {Germany},
    92409331}
    92419332
Note: See TracChangeset for help on using the changeset viewer.