Ignore:
Timestamp:
Mar 12, 2019, 3:00:54 PM (4 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
30e32b2, a2545593
Parents:
9d9a451 (diff), 91d6584 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge second draft of Aaron's thesis

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r9d9a451 r53bb8f1  
    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},
     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)}
    11411149    year = {2018},
    11421150    month = {September},
     1151    pages = {53-60},
    11431152    publisher = {IEEE},
    11441153    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
    1145     pages = {53-60},
    11461154}
    11471155
     
    13141322    journal     = sigplan,
    13151323    year        = 1986,
    1316     month       = oct, volume = 21, number = 10, pages = {19-28},
     1324    month       = oct,
     1325    volume      = 21,
     1326    number      = 10,
     1327    pages       = {19-28},
    13171328    note        = {Object Oriented Programming Workshop}
    13181329}
     
    14791490    title       = {concurrent-locking},
    14801491    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
    1481     optnote     = {[Accessed April 2017]},
    14821492}
    14831493
     
    17671777    howpublished= {\href{https://www.airs.com/blog/archives/428}
    17681778                  {https://www.airs.com/\-blog/\-archives/\-428}},
    1769     optnote     = {Accessed: 2018-05},
    17701779}
    17711780
     
    29562965    year        = 2014,
    29572966    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},
    29592967}
    29602968
     
    30403048}
    30413049
     3050@manual{WindowsFibers,
     3051    keywords    = {threads, fibers},
     3052    contributer = {pabuhr@plg},
     3053    author      = {Windows},
     3054    title       = {Fibers},
     3055    organization= {Microsoft, Windows Development Center},
     3056    address     = {\href{https://docs.microsoft.com/en-us/windows/desktop/ProcThread/fibers}{https://\-docs.microsoft.com/\-en-us/\-windows/\-desktop/\-ProcThread/\-fibers}},
     3057    year        = 2018,
     3058}
     3059
    30423060@inproceedings{F-bound,
    30433061    keywords    = {},
     
    30873105}
    30883106
     3107@manual{Folly,
     3108    keywords    = {Folly},
     3109    contributer = {pabuhr@plg},
     3110    author      = {Folly},
     3111    title       = {Facebook Open-source Library},
     3112    organization= {Facebook},
     3113    address     = {\href{https://github.com/facebook/folly}{https://\-github.com/\-facebook/\-folly}},
     3114    year        = 2018,
     3115}
     3116
    30893117@manual{Fortran95,
    30903118    keywords    = {Fortran 95},
     
    31073135    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    31083136    year        = 2010,
     3137}
     3138
     3139@manual{Fortran18,
     3140    keywords    = {ISO/IEC Fortran 10},
     3141    contributer = {pabuhr@plg},
     3142    author      = {Fortran18},
     3143    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
     3144    edition     = {4rd},
     3145    publisher   = {International Standard Organization},
     3146    address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
     3147    year        = 2018,
    31093148}
    31103149
     
    33563395    year        = 2014,
    33573396    howpublished= {https://developer.gnome.org/gobject/stable/},
    3358     optnote     = {Accessed: 2017-04},
    33593397}
    33603398
     
    36713709    year        = {1964},
    36723710    publisher   = {ACM}
     3711}
     3712
     3713@phdthesis{Barghi18,
     3714    keywords    = {concurrency, user threads, actors},
     3715    contributer = {pabuhr@plg},
     3716    author      = {Saman Barghi},
     3717    title       = {Improving the Performance of User-level Runtime Systems for Concurrent Applications},
     3718    school      = {School of Computer Science, University of Waterloo},
     3719    year        = 2018,
     3720    month       = sep,
     3721    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     3722    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
    36733723}
    36743724
     
    39984048    year        = 2015,
    39994049    edition     = {{J}ava {SE} 8},
     4050}
     4051
     4052@manual{Java11,
     4053    keywords    = {Java SE 11},
     4054    contributer = {pabuhr@plg},
     4055    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley and Daniel Smith},
     4056    title       = {{Java} Language Specification},
     4057    publisher   = {Oracle},
     4058    month       = sep,
     4059    year        = 2018,
     4060    edition     = {{J}ava {SE} 11},
     4061}
     4062
     4063@manual{JDK1.1,
     4064    keywords    = {JDK 1.1},
     4065    contributer = {pabuhr@plg},
     4066    author      = {{Multithreading Models}},
     4067    title       = {JDK 1.1 for Solaris Developer's Guide},
     4068    publisher   = {Oracle},
     4069    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}},
     4070    year        = 2010,
    40004071}
    40014072
     
    41794250}
    41804251
     4252@manual{libmill,
     4253    keywords    = {libmill},
     4254    contributer = {pabuhr@plg},
     4255    author      = {libmill},
     4256    title       = {{G}o-style concurrency in {C}, Version 1.18},
     4257    organization= {libmill},
     4258    address     = {\href{http://libmill.org/documentation.html}{http://\-libmill.org/\-documentation.html}},
     4259    month       = jan,
     4260    year        = 2017,
     4261}
     4262
    41814263@book{Weissman67,
    41824264    keywords    = {lisp},
     
    42244306    pages       = {161-169},
    42254307    note        = {Proceedings of the {SIGPLAN}~'89 Conference on Programming Language Design and Implementation}
     4308}
     4309
     4310@manual{Lua,
     4311    keywords    = {Lua},
     4312    contributer = {pabuhr@plg},
     4313    author      = {Lua},
     4314    title       = {Lua 5.3 Reference Manual},
     4315    address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
     4316    year        = 2018,
    42264317}
    42274318
     
    45664657}
    45674658%    editor     = {Allen Kent and James G. Williams},
     4659
     4660@incollection{MPC,
     4661    keywords    = {user-level threading},
     4662    contributer = {pabuhr@plg},
     4663    author      = {Marc P\'erache and Herv\'e Jourdren and Raymond Namyst},
     4664    title       = {MPC: A Unified Parallel Runtime for Clusters of {NUMA} Machines},
     4665    booktitle   = {Euro-Par 2008},
     4666    pages       = {329-342},
     4667    publisher   = {Springer},
     4668    address     = {Berlin, Heidelberg},
     4669    year        = 2008,
     4670    volume      = 5168,
     4671    series      = {Lecture Notes in Computer Science},
     4672}
    45684673
    45694674@manual{MPI,
     
    49925097    year        = 2014,
    49935098    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}
    49955099}
    49965100
     
    50025106    year        = 2015,
    50035107    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}
    50055108}
    50065109
     
    55155618    year        = 2012,
    55165619    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}
    55185620}
    55195621
     
    58395941    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    58405942    year        = 2014,
     5943}
     5944
     5945@manual{C++17,
     5946    keywords    = {ISO/IEC C++ 17},
     5947    contributer = {pabuhr@plg},
     5948    key         = {C++17},
     5949    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
     5950    edition     = {5th},
     5951    publisher   = {International Standard Organization},
     5952    address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
     5953    year        = 2017,
    58415954}
    58425955
     
    59926105    institution = {Carnegie Mellon University},
    59936106    year        = 1991,
    5994     month       = feb, number = "CMU-CS-91-106",
     6107    month       = feb,
     6108    number      = {CMU-CS-91-106},
    59956109    annote      = {
    59966110        Discusses a typed lambda calculus with
     
    60496163    journal     = sigplan,
    60506164    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},
     6165    month       = jul,
     6166    volume      = 23,
     6167    number      = 7,
     6168    pages       = {260-267},
     6169    note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
    60546170    abstract    = {
    60556171        This paper deals with the integration of an efficient asynchronous
     
    61016217}
    61026218
     6219@misc{Pthreads,
     6220    keywords    = {pthreads, C concurrency},
     6221    contributer = {pabuhr@plg},
     6222    key         = {pthreads},
     6223    title       = {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
     6224    author      = {IEEE and {The Open Group}},
     6225    year        = 2018,
     6226    howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
     6227                  {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
     6228}
     6229
    61036230@manual{Python,
    61046231    keywords    = {Python},
    61056232    contributer = {pabuhr@plg},
    6106     title       = {Python Reference Manual, Release 2.5},
    6107     author      = {Guido van Rossum},
     6233    author      = {Python},
     6234    title       = {Python Language Reference, Release 3.7.2},
    61086235    organization= {Python Software Foundation},
    6109     month       = sep,
    6110     year        = 2006,
    6111     note        = {Fred L. Drake, Jr., editor},
     6236    address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
     6237    year        = 2018,
    61126238}
    61136239
    61146240% Q
     6241
     6242@inproceedings{Qthreads,
     6243    keywords    = {user-level threading},
     6244    author      = {Kyle B. Wheeler and Richard C. Murphy and Douglas Thain},
     6245    title       = {Qthreads: An API for Programming with Millions of Lightweight Threads},
     6246    booktitle   = {International Symposium on Parallel and Distributed Processing},
     6247    organization= {IEEE},
     6248    address     = {Miami, FL, USA},
     6249    month       = apr,
     6250    year        = 2008,
     6251}
    61156252
    61166253@article{Grossman06,
     
    61496286}
    61506287
     6288@manual{Quasar,
     6289    keywords    = {Quasar},
     6290    contributer = {pabuhr@plg},
     6291    author      = {Quasar},
     6292    title       = {Quasar Documentation, Release 0.8.0},
     6293    organization= {Parallel Universe},
     6294    address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
     6295    year        = 2018,
     6296}
     6297
    61516298% R
    61526299
     
    62626409    number      = 10,
    62636410    pages       = {27-32},
     6411}
     6412
     6413@article{Hesselink06,
     6414    author      = {Wim H. Hesselink},
     6415    title       = {Refinement Verification of the Lazy Caching Algorithm},
     6416    journal     = acta,
     6417    year        = 2006,
     6418    month       = oct,
     6419    volume      = 43,
     6420    number      = 3,
     6421    pages       = {195--222},
    62646422}
    62656423
     
    64006558}
    64016559
     6560@manual{Ruby,
     6561    keywords    = {Ruby},
     6562    contributer = {pabuhr@plg},
     6563    author      = {Ruby},
     6564    title       = {Ruby Documentation, Release 2.6.0},
     6565    organization= {Python Software Foundation},
     6566    address     = {\href{https://www.ruby-lang.org/en/documentation}{https://\-www.ruby-lang.org/\-en/\-documentation}},
     6567    year        = 2018,
     6568}
     6569
    64026570% S
    64036571
     
    71907358    author      = {{TIOBE Index}},
    71917359    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    7192     optnote     = {Accessed: 2018-09},
     7360}
     7361
     7362@misc{ThreadModel,
     7363    contributer = {pabuhr@plg},
     7364    key         = {ThreadModel},
     7365    title       = {Thread (computing)},
     7366    author      = {{Threading Model}},
     7367    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
    71937368}
    71947369
     
    75227697    year        = 2017,
    75237698    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
    7524     optnote     = {Accessed: 2017-04}
    75257699}
    75267700
     
    76967870% Y
    76977871
     7872@article{Boehm12,
     7873    keywords    = {memory model, race condition},
     7874    contributer = {pabuhr@plg},
     7875    author      = {Boehm, Hans-J. and Adve, Sarita V.},
     7876    title       = {You Don'T Know Jack About Shared Variables or Memory Models},
     7877    journal     = cacm,
     7878    volume      = 55,
     7879    number      = 2,
     7880    month       = feb,
     7881    year        = 2012,
     7882    pages       = {48--54},
     7883    publisher   = {ACM},
     7884    address     = {New York, NY, USA},
     7885}
     7886
    76987887% Z
    76997888
Note: See TracChangeset for help on using the changeset viewer.