Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r1836081 r1c35c78  
    330330    contributer = {pabuhr@plg},
    331331    author      = {Nissim Francez},
    332     title       = {Another Advantage of Key word Notation for Parameter Communication with Subprograms},
     332    title       = {Another Advantage of Keyword 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     optnote     = {Accessed: 2016-09},
     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}},
    835844}
    836845
    … …  
    939948    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    940949    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
    941     optnote     = {Accessed: 2018-01-01},
    942950}
    943951
    … …  
    959967    year        = 2018,
    960968    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
    961     optnote     = {[Accessed May 2018]},
    962969}
    963970
    … …  
    11341141}
    11351142
    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}
     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/},
    11541154}
    11551155
    … …  
    13141314    journal     = sigplan,
    13151315    year        = 1986,
    1316     month       = oct, volume = 21, number = 10, pages = {19-28},
     1316    month       = oct,
     1317    volume      = 21,
     1318    number      = 10,
     1319    pages       = {19-28},
    13171320    note        = {Object Oriented Programming Workshop}
    13181321}
    … …  
    14791482    title       = {concurrent-locking},
    14801483    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
    1481     optnote     = {[Accessed April 2017]},
    14821484}
    14831485
    … …  
    17671769    howpublished= {\href{https://www.airs.com/blog/archives/428}
    17681770                  {https://www.airs.com/\-blog/\-archives/\-428}},
    1769     optnote     = {Accessed: 2018-05},
    17701771}
    17711772
    … …  
    22912292}
    22922293
     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
    22932310@article{design,
    22942311    keywords    = {Smalltalk, designing classes},
    … …  
    22982315    journal     = joop,
    22992316    year        = 1988,
    2300     volume      = 1, number = 2, pages = {22-35},
     2317    volume      = 1,
     2318    number      = 2,
     2319    pages       = {22-35},
    23012320    comment     = {
    23022321        Abstract classes represent standard protocols.  ``It is better to
    … …  
    23832402    year        = 1990,
    23842403    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}
    23942404}
    23952405
    … …  
    24992509    pages       = {325-361},
    25002510}
    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 }
    25222511
    25232512@book{Eiffel,
    … …  
    29562945    year        = 2014,
    29572946    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},
    29592947}
    29602948
    … …  
    30403028}
    30413029
     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
    30423040@inproceedings{F-bound,
    30433041    keywords    = {},
    … …  
    30873085}
    30883086
     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
    30893097@manual{Fortran95,
    30903098    keywords    = {Fortran 95},
    … …  
    31073115    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    31083116    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,
    31093128}
    31103129
    … …  
    33563375    year        = 2014,
    33573376    howpublished= {https://developer.gnome.org/gobject/stable/},
    3358     optnote     = {Accessed: 2017-04},
    33593377}
    33603378
    … …  
    36713689    year        = {1964},
    36723690    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}},
    36733703}
    36743704
    … …  
    39984028    year        = 2015,
    39994029    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,
    40004051}
    40014052
    … …  
    41794230}
    41804231
     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
    41814243@book{Weissman67,
    41824244    keywords    = {lisp},
    … …  
    41984260    year        = 2008,
    41994261    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},
    42124262}
    42134263
    … …  
    42264276}
    42274277
     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
    42284287% M
    42294288
    … …  
    42354294    publisher   = {Motorola},
    42364295    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},
    42504296}
    42514297
    … …  
    45664612}
    45674613%    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}
    45684628
    45694629@manual{MPI,
    … …  
    49925052    year        = 2014,
    49935053    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}
    49955054}
    49965055
    … …  
    50025061    year        = 2015,
    50035062    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}
    50055063}
    50065064
    … …  
    55155573    year        = 2012,
    55165574    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}
    55185575}
    55195576
    … …  
    58395896    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    58405897    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,
    58415909}
    58425910
    … …  
    59926060    institution = {Carnegie Mellon University},
    59936061    year        = 1991,
    5994     month       = feb, number = "CMU-CS-91-106",
     6062    month       = feb,
     6063    number      = {CMU-CS-91-106},
    59956064    annote      = {
    59966065        Discusses a typed lambda calculus with
    … …  
    60496118    journal     = sigplan,
    60506119    year        = 1988,
    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},
     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},
    60546125    abstract    = {
    60556126        This paper deals with the integration of an efficient asynchronous
    … …  
    61016172}
    61026173
     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
    61036185@manual{Python,
    61046186    keywords    = {Python},
    61056187    contributer = {pabuhr@plg},
    6106     title       = {Python Reference Manual, Release 2.5},
    6107     author      = {Guido van Rossum},
     6188    author      = {Python},
     6189    title       = {Python Language Reference, Release 3.7.2},
    61086190    organization= {Python Software Foundation},
    6109     month       = sep,
    6110     year        = 2006,
    6111     note        = {Fred L. Drake, Jr., editor},
     6191    address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
     6192    year        = 2018,
    61126193}
    61136194
    61146195% 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}
    61156207
    61166208@article{Grossman06,
    … …  
    61496241}
    61506242
     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
    61516253% R
    61526254
    … …  
    62626364    number      = 10,
    62636365    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},
    62646377}
    62656378
    … …  
    64006513}
    64016514
     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
    64026525% S
    64036526
    … …  
    71907313    author      = {{TIOBE Index}},
    71917314    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    7192     optnote     = {Accessed: 2018-09},
     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)}},
    71937323}
    71947324
    … …  
    75227652    year        = 2017,
    75237653    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
    7524     optnote     = {Accessed: 2017-04}
    75257654}
    75267655
    … …  
    76967825% Y
    76977826
     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
    76987842% Z
    76997843
Note: See TracChangeset for help on using the changeset viewer.