Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r1c35c78 r1836081  
    330330    contributer = {pabuhr@plg},
    331331    author      = {Nissim Francez},
    332     title       = {Another Advantage of Keyword Notation for Parameter Communication with Subprograms},
     332    title       = {Another Advantage of Key word Notation for Parameter Communication with Subprograms},
    333333    journal     = cacm,
    334334    volume      = 20,
    … …  
    831831    year        = 2015,
    832832    howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    833                   {http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}},
    834 }
    835 
    836 @misc{BoostThreads,
    837     keywords    = {Boost Thread Library},
    838     contributer = {pabuhr@plg},
    839     author      = {Anthony Williams and Vicente J. Botet Escriba},
    840     title       = {Boost Thread Library},
    841     year        = 2015,
    842     howpublished= {\href{https://www.boost.org/doc/libs/1_61_0/doc/html/thread.html}
    843                   {https://\-www.boost.org/\-doc/\-libs/\-1\_61\_0/\-doc/\-html/\-thread.html}},
     833                  {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
     834    optnote     = {Accessed: 2016-09},
    844835}
    845836
    … …  
    948939    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    949940    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
     941    optnote     = {Accessed: 2018-01-01},
    950942}
    951943
    … …  
    967959    year        = 2018,
    968960    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
     961    optnote     = {[Accessed May 2018]},
    969962}
    970963
    … …  
    11411134}
    11421135
    1143 @inproceedings{Tarditi18,
    1144     keywords    = {Checked C},
    1145     contributer = {a3moss@uwaterloo.ca},
    1146     author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
    1147     title       = {Checked C: Making C Safe by Extension},
    1148     booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
    1149     publisher   = {IEEE},
    1150     year        = {2018},
    1151     month       = seep,
    1152     pages       = {53-60},
    1153     url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
     1136@Inproceedings{Tarditi18,
     1137    keywords = {Checked C},
     1138    contributer = {a3moss@uwaterloo.ca},
     1139    author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
     1140    title = {Checked C: Making C Safe by Extension},
     1141    year = {2018},
     1142    month = {September},
     1143    publisher = {IEEE},
     1144    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
     1145    pages = {53-60},
     1146}
     1147
     1148@misc{Clang,
     1149    keywords = {clang},
     1150    contributer = {a3moss@uwaterloo.ca},
     1151    title = {Clang: a {C} language family frontend for {LLVM}},
     1152    howpublished = {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}},
     1153    note = {Accessed 2019-02-22}
    11541154}
    11551155
    … …  
    13141314    journal     = sigplan,
    13151315    year        = 1986,
    1316     month       = oct,
    1317     volume      = 21,
    1318     number      = 10,
    1319     pages       = {19-28},
     1316    month       = oct, volume = 21, number = 10, pages = {19-28},
    13201317    note        = {Object Oriented Programming Workshop}
    13211318}
    … …  
    14821479    title       = {concurrent-locking},
    14831480    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
     1481    optnote     = {[Accessed April 2017]},
    14841482}
    14851483
    … …  
    17691767    howpublished= {\href{https://www.airs.com/blog/archives/428}
    17701768                  {https://www.airs.com/\-blog/\-archives/\-428}},
     1769    optnote     = {Accessed: 2018-05},
    17711770}
    17721771
    … …  
    22922291}
    22932292
    2294 @article{Ritchie93,
    2295     keywords    = {C, history},
    2296     contributer = {pabuhr@plg},
    2297     author      = {Ritchie, Dennis M.},
    2298     title       = {The Development of the {C} Language},
    2299     journal     = sigplan,
    2300     volume      = 28,
    2301     number      = 3,
    2302     month       = mar,
    2303     year        = 1993,
    2304     pages       = {201--208},
    2305     url         = {http://doi.acm.org/10.1145/155360.155580},
    2306     publisher   = {ACM},
    2307     address     = {New York, NY, USA},
    2308 }
    2309 
    23102293@article{design,
    23112294    keywords    = {Smalltalk, designing classes},
    … …  
    23152298    journal     = joop,
    23162299    year        = 1988,
    2317     volume      = 1,
    2318     number      = 2,
    2319     pages       = {22-35},
     2300    volume      = 1, number = 2, pages = {22-35},
    23202301    comment     = {
    23212302        Abstract classes represent standard protocols.  ``It is better to
    … …  
    24022383    year        = 1990,
    24032384    pages       = {315-323}
     2385}
     2386
     2387@misc{Dotty-github,
     2388    keywords = {dotty,scala},
     2389    contributer = {a3moss@uwaterloo.ca},
     2390    author = {Martin Odersky},
     2391    title = {Dotty},
     2392    howpublished = {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
     2393    note = {Acessed: 2019-02-22}
    24042394}
    24052395
    … …  
    25092499    pages       = {325-361},
    25102500}
     2501
     2502@article{Tarjan75,
     2503 keywords = {union-find},
     2504 contributer = {a3moss@uwaterloo.ca},
     2505 author = {Tarjan, Robert Endre},
     2506 title = {Efficiency of a Good But Not Linear Set Union Algorithm},
     2507 journal = {J. ACM},
     2508 issue_date = {April 1975},
     2509 volume = {22},
     2510 number = {2},
     2511 month = apr,
     2512 year = {1975},
     2513 issn = {0004-5411},
     2514 pages = {215--225},
     2515 numpages = {11},
     2516 url = {http://doi.acm.org/10.1145/321879.321884},
     2517 doi = {10.1145/321879.321884},
     2518 acmid = {321884},
     2519 publisher = {ACM},
     2520 address = {New York, NY, USA},
     2521}
    25112522
    25122523@book{Eiffel,
    … …  
    29452956    year        = 2014,
    29462957    howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-4.7.2/\-gcc/\-C\-Extensions.html}},
     2958    optnote     = {Accessed: 2017-04-02},
    29472959}
    29482960
    … …  
    30283040}
    30293041
    3030 @manual{WindowsFibers,
    3031     keywords    = {threads, fibers},
    3032     contributer = {pabuhr@plg},
    3033     author      = {Windows},
    3034     title       = {Fibers},
    3035     organization= {Microsoft, Windows Development Center},
    3036     address     = {\href{https://docs.microsoft.com/en-us/windows/desktop/ProcThread/fibers}{https://\-docs.microsoft.com/\-en-us/\-windows/\-desktop/\-ProcThread/\-fibers}},
    3037     year        = 2018,
    3038 }
    3039 
    30403042@inproceedings{F-bound,
    30413043    keywords    = {},
    … …  
    30853087}
    30863088
    3087 @manual{Folly,
    3088     keywords    = {Folly},
    3089     contributer = {pabuhr@plg},
    3090     author      = {Folly},
    3091     title       = {Facebook Open-source Library},
    3092     organization= {Facebook},
    3093     address     = {\href{https://github.com/facebook/folly}{https://\-github.com/\-facebook/\-folly}},
    3094     year        = 2018,
    3095 }
    3096 
    30973089@manual{Fortran95,
    30983090    keywords    = {Fortran 95},
    … …  
    31153107    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    31163108    year        = 2010,
    3117 }
    3118 
    3119 @manual{Fortran18,
    3120     keywords    = {ISO/IEC Fortran 10},
    3121     contributer = {pabuhr@plg},
    3122     author      = {Fortran18},
    3123     title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
    3124     edition     = {4rd},
    3125     publisher   = {International Standard Organization},
    3126     address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
    3127     year        = 2018,
    31283109}
    31293110
    … …  
    33753356    year        = 2014,
    33763357    howpublished= {https://developer.gnome.org/gobject/stable/},
     3358    optnote     = {Accessed: 2017-04},
    33773359}
    33783360
    … …  
    36893671    year        = {1964},
    36903672    publisher   = {ACM}
    3691 }
    3692 
    3693 @phdthesis{Barghi18,
    3694     keywords    = {concurrency, user threads, actors},
    3695     contributer = {pabuhr@plg},
    3696     author      = {Saman Barghi},
    3697     title       = {Improving the Performance of User-level Runtime Systems for Concurrent Applications},
    3698     school      = {School of Computer Science, University of Waterloo},
    3699     year        = 2018,
    3700     month       = sep,
    3701     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    3702     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
    37033673}
    37043674
    … …  
    40283998    year        = 2015,
    40293999    edition     = {{J}ava {SE} 8},
    4030 }
    4031 
    4032 @manual{Java11,
    4033     keywords    = {Java SE 11},
    4034     contributer = {pabuhr@plg},
    4035     author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley and Daniel Smith},
    4036     title       = {{Java} Language Specification},
    4037     publisher   = {Oracle},
    4038     month       = sep,
    4039     year        = 2018,
    4040     edition     = {{J}ava {SE} 11},
    4041 }
    4042 
    4043 @manual{JDK1.1,
    4044     keywords    = {JDK 1.1},
    4045     contributer = {pabuhr@plg},
    4046     author      = {{Multithreading Models}},
    4047     title       = {JDK 1.1 for Solaris Developer's Guide},
    4048     publisher   = {Oracle},
    4049     address     = {\href{https://docs.oracle.com/cd/E19455-01/806-3461/6jck06gqk/index.html#ch2mt-41}{https://\-docs.oracle.com/\-cd/\-E19455-01/\-806-3461/\-6jck06gqk/\-index.html\#ch2mt-41}},
    4050     year        = 2010,
    40514000}
    40524001
    … …  
    42304179}
    42314180
    4232 @manual{libmill,
    4233     keywords    = {libmill},
    4234     contributer = {pabuhr@plg},
    4235     author      = {libmill},
    4236     title       = {{G}o-style concurrency in {C}, Version 1.18},
    4237     organization= {libmill},
    4238     address     = {\href{http://libmill.org/documentation.html}{http://\-libmill.org/\-documentation.html}},
    4239     month       = jan,
    4240     year        = 2017,
    4241 }
    4242 
    42434181@book{Weissman67,
    42444182    keywords    = {lisp},
    … …  
    42604198    year        = 2008,
    42614199    pages       = {1008-1020},
     4200}
     4201
     4202@misc{Matsakis17,
     4203    keywords    = {Rust, Chalk, PROLOG},
     4204    contributer = {a3moss@uwaterloo.ca},
     4205    author      = {Nicholas Matsakis},
     4206    title       = {Lowering {Rust} traits to logic},
     4207    month       = jan,
     4208    year        = 2017,
     4209    howpublished= {\href{http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/}
     4210                  {http://smallcultfollowing.com/\-babysteps/\-blog/\-2017/\-01/\-26/\-lowering-rust-traits-to-logic/}},
     4211    optnote     = {Accessed: 2019-01},
    42624212}
    42634213
    … …  
    42764226}
    42774227
    4278 @manual{Lua,
    4279     keywords    = {Lua},
    4280     contributer = {pabuhr@plg},
    4281     author      = {Lua},
    4282     title       = {Lua 5.3 Reference Manual},
    4283     address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
    4284     year        = 2018,
    4285 }
    4286 
    42874228% M
    42884229
    … …  
    42944235    publisher   = {Motorola},
    42954236    year        = 1992,
     4237}
     4238
     4239@misc{Haberman16,
     4240    keywords    = {C++ template expansion},
     4241    contributer = {a3moss@uwaterloo.ca},
     4242    author      = {Josh Haberman},
     4243    title       = {Making arbitrarily-large binaries from fixed-size {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} code},
     4244    year        = 2016,
     4245    howpublished= {\href{http://blog.reverberate.org/2016/01/making-arbitrarily-large-binaries-from.html}
     4246                  {
     4247          {http://blog.reverberate.org/\-2016/\-01/\-making-arbitrarily-large-binaries-from.html}
     4248          }},
     4249    optnote     = {Accessed: 2016-09},
    42964250}
    42974251
    … …  
    46124566}
    46134567%    editor     = {Allen Kent and James G. Williams},
    4614 
    4615 @incollection{MPC,
    4616     keywords    = {user-level threading},
    4617     contributer = {pabuhr@plg},
    4618     author      = {Marc P\'erache and Herv\'e Jourdren and Raymond Namyst},
    4619     title       = {MPC: A Unified Parallel Runtime for Clusters of {NUMA} Machines},
    4620     booktitle   = {Euro-Par 2008},
    4621     pages       = {329-342},
    4622     publisher   = {Springer},
    4623     address     = {Berlin, Heidelberg},
    4624     year        = 2008,
    4625     volume      = 5168,
    4626     series      = {Lecture Notes in Computer Science},
    4627 }
    46284568
    46294569@manual{MPI,
    … …  
    50524992    year        = 2014,
    50534993    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
     4994    optnote     = {Accessed: 2018-03}
    50544995}
    50554996
    … …  
    50615002    year        = 2015,
    50625003    howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://\-developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
     5004    optnote     = {Accessed: 2017-04}
    50635005}
    50645006
    … …  
    55735515    year        = 2012,
    55745516    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
     5517    optnote     = {Accessed: 2013-10-4}
    55755518}
    55765519
    … …  
    58965839    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    58975840    year        = 2014,
    5898 }
    5899 
    5900 @manual{C++17,
    5901     keywords    = {ISO/IEC C++ 17},
    5902     contributer = {pabuhr@plg},
    5903     key         = {C++17},
    5904     title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
    5905     edition     = {5th},
    5906     publisher   = {International Standard Organization},
    5907     address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
    5908     year        = 2017,
    59095841}
    59105842
    … …  
    60605992    institution = {Carnegie Mellon University},
    60615993    year        = 1991,
    6062     month       = feb,
    6063     number      = {CMU-CS-91-106},
     5994    month       = feb, number = "CMU-CS-91-106",
    60645995    annote      = {
    60655996        Discusses a typed lambda calculus with
    … …  
    61186049    journal     = sigplan,
    61196050    year        = 1988,
    6120     month       = jul,
    6121     volume      = 23,
    6122     number      = 7,
    6123     pages       = {260-267},
    6124     note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
     6051    month       = jul, volume = 23, number = 7, pages = {260-267},
     6052    note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language
     6053         Design and Implementation},
    61256054    abstract    = {
    61266055        This paper deals with the integration of an efficient asynchronous
    … …  
    61726101}
    61736102
    6174 @misc{Pthreads,
    6175     keywords    = {pthreads, C concurrency},
    6176     contributer = {pabuhr@plg},
    6177     key         = {pthreads},
    6178     title       = {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
    6179     author      = {IEEE and {The Open Group}},
    6180     year        = 2018,
    6181     howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
    6182                   {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
    6183 }
    6184 
    61856103@manual{Python,
    61866104    keywords    = {Python},
    61876105    contributer = {pabuhr@plg},
    6188     author      = {Python},
    6189     title       = {Python Language Reference, Release 3.7.2},
     6106    title       = {Python Reference Manual, Release 2.5},
     6107    author      = {Guido van Rossum},
    61906108    organization= {Python Software Foundation},
    6191     address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
    6192     year        = 2018,
     6109    month       = sep,
     6110    year        = 2006,
     6111    note        = {Fred L. Drake, Jr., editor},
    61936112}
    61946113
    61956114% Q
    6196 
    6197 @inproceedings{Qthreads,
    6198     keywords    = {user-level threading},
    6199     author      = {Kyle B. Wheeler and Richard C. Murphy and Douglas Thain},
    6200     title       = {Qthreads: An API for Programming with Millions of Lightweight Threads},
    6201     booktitle   = {International Symposium on Parallel and Distributed Processing},
    6202     organization= {IEEE},
    6203     address     = {Miami, FL, USA},
    6204     month       = apr,
    6205     year        = 2008,
    6206 }
    62076115
    62086116@article{Grossman06,
    … …  
    62416149}
    62426150
    6243 @manual{Quasar,
    6244     keywords    = {Quasar},
    6245     contributer = {pabuhr@plg},
    6246     author      = {Quasar},
    6247     title       = {Quasar Documentation, Release 0.8.0},
    6248     organization= {Parallel Universe},
    6249     address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
    6250     year        = 2018,
    6251 }
    6252 
    62536151% R
    62546152
    … …  
    63646262    number      = 10,
    63656263    pages       = {27-32},
    6366 }
    6367 
    6368 @article{Hesselink06,
    6369     author      = {Wim H. Hesselink},
    6370     title       = {Refinement Verification of the Lazy Caching Algorithm},
    6371     journal     = acta,
    6372     year        = 2006,
    6373     month       = oct,
    6374     volume      = 43,
    6375     number      = 3,
    6376     pages       = {195--222},
    63776264}
    63786265
    … …  
    65136400}
    65146401
    6515 @manual{Ruby,
    6516     keywords    = {Ruby},
    6517     contributer = {pabuhr@plg},
    6518     author      = {Ruby},
    6519     title       = {Ruby Documentation, Release 2.6.0},
    6520     organization= {Python Software Foundation},
    6521     address     = {\href{https://www.ruby-lang.org/en/documentation}{https://\-www.ruby-lang.org/\-en/\-documentation}},
    6522     year        = 2018,
    6523 }
    6524 
    65256402% S
    65266403
    … …  
    73137190    author      = {{TIOBE Index}},
    73147191    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    7315 }
    7316 
    7317 @misc{ThreadModel,
    7318     contributer = {pabuhr@plg},
    7319     key         = {ThreadModel},
    7320     title       = {Thread (computing)},
    7321     author      = {{Threading Model}},
    7322     howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
     7192    optnote     = {Accessed: 2018-09},
    73237193}
    73247194
    … …  
    76527522    year        = 2017,
    76537523    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
     7524    optnote     = {Accessed: 2017-04}
    76547525}
    76557526
    … …  
    78257696% Y
    78267697
    7827 @article{Boehm12,
    7828     keywords    = {memory model, race condition},
    7829     contributer = {pabuhr@plg},
    7830     author      = {Boehm, Hans-J. and Adve, Sarita V.},
    7831     title       = {You Don'T Know Jack About Shared Variables or Memory Models},
    7832     journal     = cacm,
    7833     volume      = 55,
    7834     number      = 2,
    7835     month       = feb,
    7836     year        = 2012,
    7837     pages       = {48--54},
    7838     publisher   = {ACM},
    7839     address     = {New York, NY, USA},
    7840 }
    7841 
    78427698% Z
    78437699
Note: See TracChangeset for help on using the changeset viewer.