Ignore:
Timestamp:
Oct 29, 2019, 4:01:24 PM (6 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
773db65, 9421f3d8
Parents:
7951100 (diff), 8364209 (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 branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r7951100 rb067d9b  
    2121%  toplas: ACM Trans. on Prog. Lang. & Sys.
    2222%  tcs: Theoretical Computer Science
    23 @string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    24 % @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    25 @string{ieeese="IEEE Transactions on Software Engineering"}
    26 % @string{ieeese="IEEE Trans. Softw. Eng."}
    27 @string{spe="Software---\-Practice and Experience"}
    28 % @string{spe="Softw. Pract. Exp."}
    29 @string{ccpe="Concurrency and Computation: Practice and Experience"}
    30 % @string{ccpe="Concurrency Comput: Pract Experience"}
    31 @string{sigplan="SIGPLAN Notices"}
    32 % @string{sigplan="SIGPLAN Not."}
    33 @string{joop="Journal of Object-Oriented Programming"}
    34 % @string{joop="J. of Object-Oriented Program."}
     23
     24string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
     25@string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
     26string{ieeese="IEEE Transactions on Software Engineering"}
     27@string{ieeese="IEEE Trans. Softw. Eng."}
     28string{spe="Software---\-Practice and Experience"}
     29@string{spe="Softw. Pract. Exper."}
     30string{ccpe="Concurrency and Computation: Practice and Experience"}
     31@string{ccpe="Concurrency Comput.: Pract. Exper."}
     32string{sigplan="SIGPLAN Notices"}
     33@string{sigplan="SIGPLAN Not."}
     34string{joop="Journal of Object-Oriented Programming"}
     35@string{joop="J. of Object-Oriented Program."}
    3536@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
    3637@string{osr="Operating Systems Review"}
    3738@string{pldi="Programming Language Design and Implementation"}
    3839@string{toplas="Transactions on Programming Languages and Systems"}
    39 @string{mathann="Mathematische Annalen"}
    40 % @string{mathann="Math. Ann."}
     40string{mathann="Mathematische Annalen"}
     41@string{mathann="Math. Ann."}
    4142
    4243% A
    … …  
    329330    contributer = {pabuhr@plg},
    330331    author      = {Nissim Francez},
    331     title       = {Another Advantage of Key word Notation for Parameter Communication with Subprograms},
     332    title       = {Another Advantage of Keyword Notation for Parameter Communication with Subprograms},
    332333    journal     = cacm,
    333334    volume      = 20,
    … …  
    566567}
    567568
     569@inproceedings {Qin18,
     570    author      = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout},
     571    title       = {Arachne: Core-Aware Thread Management},
     572    booktitle   = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
     573    year        = {2018},
     574    address     = {Carlsbad, CA},
     575    pages       = {145-160},
     576    publisher   = {{USENIX} Association},
     577    note        = {\href{https://www.usenix.org/conference/osdi18/presentation/qin}{https://\-www.usenix.org/\-conference/\-osdi18/\-presentation/\-qin}},
     578}
     579
    568580@article{Kessels82,
    569581    keywords    = {concurrency, critical section},
    … …  
    653665    author      = {Joung, Yuh-Jzer},
    654666    title       = {Asynchronous group mutual exclusion},
    655     journal     = {Distributed Computing},
     667    journal     = {Dist. Comput.},
     668    optjournal  = {Distributed Computing},
    656669    year        = {2000},
    657670    month       = {Nov},
    … …  
    700713
    701714% B
     715
     716@article{Michael13,
     717    contributer = {pabuhr@plg},
     718    author      = {Maged M. Michael},
     719    title       = {The Balancing Act of Choosing Nonblocking Features},
     720    journal     = cacm,
     721    volume      = 56,
     722    number      = 9,
     723    month       = sep,
     724    year        = 2013,
     725    pages       = {46--53},
     726    publisher   = {ACM},
     727    address     = {New York, NY, USA},
     728}
    702729
    703730@incollection{beta:old,
    … …  
    782809        time computable inheritance hierarchy.
    783810    },
    784     comment = {
     811    comment     = {
    785812        Classes are predicates; if object {\tt o} is in class {\tt C}, then
    786813        {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
    … …  
    804831    year        = 2015,
    805832    howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
    806                   {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
    807     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}},
    808844}
    809845
    … …  
    816852    month       = oct,
    817853    type        = {Diplomarbeit},
    818     note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-KrischerThesis.ps.gz}}},
     854    note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/KrischerThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-KrischerThesis.pdf}},
    819855}
    820856
    … …  
    907943}
    908944
     945@article{Moss18,
     946    keywords    = {type systems, polymorphism, tuples, Cforall},
     947    contributer = {pabuhr@plg},
     948    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
     949    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to {C}},
     950    journal     = spe,
     951    volume      = 48,
     952    number      = 12,
     953    month       = dec,
     954    year        = 2018,
     955    pages       = {2111-2146},
     956    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
     957}
     958
     959@misc{CforallBenchMarks,
     960    contributer = {pabuhr@plg},
     961    key         = {Cforall Benchmarks},
     962    author      = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}},
     963    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}},
     964}
     965
    909966@misc{Cforall,
     967    contributer = {pabuhr@plg},
    910968    key         = {Cforall},
    911     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
    912     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
    913     optnote     = {Accessed: 2018-01-01},
     969    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
     970    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
     971}
     972
     973@misc{CFAStackEvaluation,
     974    contributer = {a3moss@plg},
     975    author      = {Aaron Moss},
     976    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
     977    year        = 2018,
     978    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
    914979}
    915980
    … …  
    925990}
    926991
    927 @misc{CFAStackEvaluation,
     992@phdthesis{Moss19,
     993    keywords    = {type system, generic type, resolution algorithm, type environment, Cforall},
    928994    author      = {Aaron Moss},
    929     title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
    930     year        = 2018,
    931     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/evaluation.zip}{https://plg.uwaterloo.ca/\-\-$\sim$cforall/\-StackEvaluation.zip}},
    932     optnote     = {[Accessed May 2018]},
    933 }
    934 
    935 @article{Moss18,
    936     keywords    = {concurrency, C++},
    937     contributer = {pabuhr@plg},
    938     author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    939     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
    940     year        = 2018,
    941     journal     = spe,
    942     note        = {Accepted, to appear},
     995    title       = {\textsf{C}$\mathbf{\forall}$ Type System Implementation},
     996    school      = {School of Computer Science, University of Waterloo},
     997    year        = 2019,
     998    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     999    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/14584}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14584}},
    9431000}
    9441001
    … …  
    9621019    comment     = {
    9631020        The evidence given is thin.
    964         }
     1021    },
    9651022}
    9661023
    … …  
    9721029    journal     = {Dr. Dobb's Journal of Software Tools},
    9731030    year        = 1989,
    974     month       = feb, volume = 14, number = 2, pages = {45-51},
     1031    month       = feb,
     1032    volume      = 14,
     1033    number      = 2,
     1034    pages       = {45-51},
    9751035    comment     = {
    9761036       A light-weight multitasking kernel for MS-DOS.  A task\_control
    … …  
    10481108    year        = 2006,
    10491109    edition     = {4th},
     1110}
     1111
     1112@techreport{Prokopec11,
     1113    keywords    = {ctrie, concurrent map},
     1114    contributer = {a3moss@uwaterloo.ca},
     1115    title       ={Cache-aware lock-free concurrent hash tries},
     1116    author      ={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
     1117    institution ={EPFL},
     1118    year        ={2011}
    10501119}
    10511120
    … …  
    10841153    month       = oct,
    10851154    year        = 2001,
    1086     note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-\char`\~cforall/\-cfa.ps}},
     1155    note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-cfa.ps}},
    10871156}
    10881157
    … …  
    10961165    year        = 1998,
    10971166    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
     1167}
     1168
     1169@phdthesis{Norrish98,
     1170    title       = {C formalised in HOL},
     1171    author      = {Norrish, Michael},
     1172    year        = {1998},
     1173    school      = {University of Cambridge}
     1174}
     1175
     1176@inproceedings{Tarditi18,
     1177    keywords    = {Checked C},
     1178    contributer = {a3moss@uwaterloo.ca},
     1179    author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
     1180    title       = {Checked C: Making C Safe by Extension},
     1181    booktitle   = {2018 IEEE Cybersecurity Development (SecDev)},
     1182    publisher   = {IEEE},
     1183    year        = {2018},
     1184    month       = sep,
     1185    pages       = {53-60},
     1186    url         = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
     1187}
     1188
     1189@misc{Clang,
     1190    keywords    = {clang},
     1191    contributer = {a3moss@uwaterloo.ca},
     1192    title       = {Clang: a {C} language family frontend for {LLVM}},
     1193    howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}
    10981194}
    10991195
    … …  
    11831279        that is ``compiled''.
    11841280    },
    1185     comment     = {
    1186         Imagine the program, including the subroutines, spread out over a
    1187         table, with the compiler dropping Jello on the parts as they are
    1188         compiled.  At first little drops appear in seemingly random places.
    1189         These get bigger and combine with other drops to form growing
    1190         globs.  When two globs meet, ripples will go out through each as
    1191         they adjust to each other's presence, although the parts of the
    1192         globs that formed first are less affected by the ripples.  When
    1193         compilation is complete, there is one congealed mass.
    1194     }
    11951281}
    11961282
    … …  
    12061292    number      = 11,
    12071293    pages       = {853-860},
     1294}
     1295
     1296@inproceedings{Odersky01,
     1297    keywords    = {Scala},
     1298    contributer = {a3moss@uwaterloo.ca},
     1299    author      = {Odersky, Martin and Zenger, Christoph and Zenger, Matthias},
     1300    title       = {Colored Local Type Inference},
     1301    booktitle   = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     1302    series      = {POPL '01},
     1303    year        = {2001},
     1304    isbn        = {1-58113-336-7},
     1305    location    = {London, United Kingdom},
     1306    pages       = {41--53},
     1307    numpages    = {13},
     1308    url         = {http://doi.acm.org/10.1145/360204.360207},
     1309    doi         = {10.1145/360204.360207},
     1310    acmid       = {360207},
     1311    publisher   = {ACM},
     1312    address     = {New York, NY, USA},
    12081313}
    12091314
    … …  
    12681373    journal     = sigplan,
    12691374    year        = 1986,
    1270     month       = oct, volume = 21, number = 10, pages = {19-28},
     1375    month       = oct,
     1376    volume      = 21,
     1377    number      = 10,
     1378    pages       = {19-28},
    12711379    note        = {Object Oriented Programming Workshop}
    12721380}
    … …  
    13881496        Process-valued expressions and process variables.  Processes have
    13891497        execution priority: Create {\em process-type-name}(args) [with
    1390         priority(p)],
    1391         and the priority can be changed on the fly.  Complicated guard/
    1392         screen structure on accept: accept {\em transaction}(param names)
     1498        priority(p)], and the priority can be changed on the fly.  Complicated
     1499        guard/screen structure on accept: accept {\em transaction}(param names)
    13931500        [suchthat (exp)] [by (exp)] [compoundstatement].  Accepts cannot
    13941501        appear in functions!  Can specify timeouts on transaction calls.
    … …  
    14251532                Many errors in the two solutions.
    14261533    }
     1534}
     1535
     1536@misc{NThreadCode13,
     1537    keywords    = {N-thread software-solution mutual exclusion},
     1538    contributer = {pabuhr@plg},
     1539    key         = {concurrent locking},
     1540    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
     1541    title       = {concurrent-locking},
     1542    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
    14271543}
    14281544
    … …  
    14911607}
    14921608
    1493 @techreport{uC++,
     1609@manual{uC++,
    14941610    keywords    = {C++, concurrency, light-weight process, shared memory},
    14951611    contributer = {pabuhr@plg},
     1612    key         = {uC++},
    14961613    author      = {Peter A. Buhr},
    14971614    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    1498     institution = {School of Computer Science, University of Waterloo},
    1499     address     = {Waterloo, Ontario, Canada, N2L 3G1},
    1500     month       = dec,
    1501     year        = 2017,
    1502     note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-7.0.0.sh}{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-7.0.0.sh}},
     1615    organization= {University of Waterloo},
     1616    month       = sep,
     1617    year        = 2018,
     1618    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
    15031619}
    15041620
    … …  
    15671683}
    15681684
     1685@mastersthesis{Sun15,
     1686    author      = {Sun, Xianda},
     1687    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
     1688    school      = {School of Computer Sc., University of Waterloo},
     1689    year        = 2015,
     1690    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     1691    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/10013}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-10013}},
     1692}
     1693
    15691694@book{Andrews91:book,
    15701695    keywords    = {concurrency},
    … …  
    15751700    address     = {Redwood City},
    15761701    year        = 1991,
     1702}
     1703
     1704@inproceedings{Prokopec12,
     1705    keywords    = {ctrie, hash trie, concurrent map},
     1706    contributer = {a3moss@uwaterloo.ca},
     1707    title       = {Concurrent tries with efficient non-blocking snapshots},
     1708    author      = {Prokopec, Aleksandar and Bronson, Nathan Grasso and Bagwell, Phil and Odersky, Martin},
     1709    booktitle   = {ACM SIGPLAN Notices},
     1710    volume      = {47},
     1711    number      = {8},
     1712    pages       = {151--160},
     1713    year        = {2012},
     1714    organization={ACM}
    15771715}
    15781716
    … …  
    15911729
    15921730@mastersthesis{Delisle18,
    1593     author      = {Thierry Delisle },
     1731    keywords    = {concurrency, Cforall},
     1732    contributer = {pabuhr@plg},
     1733    author      = {Thierry Delisle},
    15941734    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    15951735    school      = {School of Computer Science, University of Waterloo},
    15961736    year        = 2018,
    1597     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1737    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    15981738    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
     1739}
     1740
     1741@article{Delisle19,
     1742    keywords    = {concurrency, Cforall},
     1743    contributer = {pabuhr@plg},
     1744    author      = {Thierry Delisle and Peter A. Buhr},
     1745    title       = {Advanced Control-flow and Concurrency in \textsf{C}$\mathbf{\forall}$},
     1746    year        = 2019,
     1747    journal     = spe,
     1748    pages       = {1-33},
     1749    note        = {submitted},
    15991750}
    16001751
    … …  
    16901841    howpublished= {\href{https://www.airs.com/blog/archives/428}
    16911842                  {https://www.airs.com/\-blog/\-archives/\-428}},
    1692     optnote     = {Accessed: 2018-05},
    16931843}
    16941844
    … …  
    17711921    author      = {Glen Ditchfield},
    17721922    title       = {Conversions for \textsf{C}$\mathbf{\forall}$},
    1773     note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
     1923    note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-Conversions/\-index.html}},
    17741924    month       = {Nov},
    17751925    year        = {2002},
    … …  
    17861936    year        = 1965,
    17871937    note        = {Reprinted in \cite{Genuys68} pp. 43--112.}
     1938}
     1939
     1940@inproceedings{Adya02,
     1941    contributer = {pabuhr@plg},
     1942    author      = {Adya, Atul and Howell, Jon and Theimer, Marvin and Bolosky, William J. and Douceur, John R.},
     1943    title       = {Cooperative Task Management Without Manual Stack Management},
     1944    booktitle   = {Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference},
     1945    series      = {ATEC '02},
     1946    year        = {2002},
     1947    pages       = {289-302},
     1948    publisher   = {USENIX Association},
     1949    address     = {Berkeley, CA, USA},
     1950}
     1951
     1952@misc{CoroutineTS,
     1953    keywords    = {Coroutines TS, C++20, working draft},
     1954    contributer = {pabuhr@plg},
     1955    author      = {Gor Nishanov},
     1956    title       = {Merge Coroutines TS into C++20 Working Draft},
     1957    year        = 2019,
     1958    month       = feb,
     1959    howpublished= {\href{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0912r5.html}
     1960                  {http://\-www.open-std.org/\-jtc1/\-sc22/\-wg21/\-docs/\-papers/\-2019/p0912r5.html}},
     1961}
     1962
     1963@manual{C++20Coroutine19,
     1964    keywords    = {coroutine},
     1965    contributer = {pabuhr@plg},
     1966    title       = {Coroutines (C++20)},
     1967    organization= {cppreference.com},
     1968    month       = apr,
     1969    year        = 2019,
     1970    note        = {\href{https://en.cppreference.com/w/cpp/language/coroutines}{https://\-en.cppreference.com/\-w/\-cpp/\-language/\-coroutines}},
    17881971}
    17891972
    … …  
    18332016}
    18342017
    1835 @article{Moore75,
    1836     keywords    = {approximation methods, integrated circuits},
    1837     contributer = {pabuhr@plg},
    1838     author      = {Gordon E. Moore},
    1839     title       = {Progress in Digital Integrated Electronics},
    1840     journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
    1841     year        = 1975,
    1842     pages       = {11-13},
     2018@misc{CS343,
     2019    keywords    = {uC++ teaching},
     2020    contributer = {pabuhr@plg},
     2021    key         = {Peter Buhr},
     2022    title       = {CS343},
     2023    year        = 2018,
     2024    howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-$\sim$cs343}},
    18432025}
    18442026
    … …  
    18992081    note        = {Svensk Standard SS 63 61 14},
    19002082    year        = 1987,
    1901     abstract    = {
    1902         Standard for the programming language SIMULA.  Written in English.
    1903     }
     2083    abstract    = {Standard for the programming language SIMULA. Written in English.}
     2084}
     2085
     2086@article{Galil91,
     2087    keywords    = {union-find},
     2088    contributer = {a3moss@uwaterloo.ca},
     2089    title       = {Data structures and algorithms for disjoint set union problems},
     2090    author      = {Galil, Zvi and Italiano, Giuseppe F},
     2091    journal     = {ACM Computing Surveys (CSUR)},
     2092    volume      = 23,
     2093    number      = 3,
     2094    pages       = {319--344},
     2095    year        = 1991,
     2096    publisher   = {ACM},
    19042097}
    19052098
    … …  
    20412234    year        = {1998},
    20422235    pages       = {393-407},
     2236}
     2237
     2238@book{Aho74,
     2239    keywords    = {algorithms, textbook, union-find},
     2240    contributer = {a3moss@uwaterloo.ca},
     2241    title       = {The Design and Analysis of Computer Algorithms},
     2242    author      = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
     2243    year        = {1974},
     2244    publisher   = {Addison-Wesley},
     2245    address     = {Reading, MA, USA}
    20432246}
    20442247
    … …  
    21942397}
    21952398
     2399@article{Ritchie93,
     2400    keywords    = {C, history},
     2401    contributer = {pabuhr@plg},
     2402    author      = {Ritchie, Dennis M.},
     2403    title       = {The Development of the {C} Language},
     2404    journal     = sigplan,
     2405    volume      = 28,
     2406    number      = 3,
     2407    month       = mar,
     2408    year        = 1993,
     2409    pages       = {201--208},
     2410    url         = {http://doi.acm.org/10.1145/155360.155580},
     2411    publisher   = {ACM},
     2412    address     = {New York, NY, USA},
     2413}
     2414
    21962415@article{design,
    21972416    keywords    = {Smalltalk, designing classes},
    … …  
    22012420    journal     = joop,
    22022421    year        = 1988,
    2203     volume      = 1, number = 2, pages = {22-35},
     2422    volume      = 1,
     2423    number      = 2,
     2424    pages       = {22-35},
    22042425    comment     = {
    22052426        Abstract classes represent standard protocols.  ``It is better to
    … …  
    22862507    year        = 1990,
    22872508    pages       = {315-323}
     2509}
     2510
     2511@misc{Dotty-github,
     2512    keywords    = {dotty,scala},
     2513    contributer = {a3moss@uwaterloo.ca},
     2514    author      = {Martin Odersky},
     2515    title       = {Dotty},
     2516    howpublished= {\href{https://github.com/lampepfl/dotty}{https://\-github.com/\-lampepfl/\-dotty}},
     2517    note        = {Acessed: 2019-02-22}
    22882518}
    22892519
    … …  
    23942624}
    23952625
     2626@article{Tarjan75,
     2627    keywords    = {union-find},
     2628    contributer = {a3moss@uwaterloo.ca},
     2629    author      = {Tarjan, Robert Endre},
     2630    title       = {Efficiency of a Good But Not Linear Set Union Algorithm},
     2631    journal     = {J. ACM},
     2632    issue_date  = {April 1975},
     2633    volume      = {22},
     2634    number      = {2},
     2635    month       = apr,
     2636    year        = {1975},
     2637    issn        = {0004-5411},
     2638    pages       = {215--225},
     2639    numpages    = {11},
     2640    url         = {http://doi.acm.org/10.1145/321879.321884},
     2641    doi         = {10.1145/321879.321884},
     2642    acmid       = {321884},
     2643    publisher   = {ACM},
     2644    address     = {New York, NY, USA},
     2645}
     2646
    23962647@book{Eiffel,
    23972648    keywords    = {Eiffel},
    … …  
    24122663    journal     = ipl,
    24132664    year        = 1980,
    2414     month       = apr, volume = 10, number = 3, pages = {120-123},
     2665    month       = apr,
     2666    volume      = 10,
     2667    number      = 3,
     2668    pages       = {120-123},
    24152669    comment     = {
    24162670        The ``two-pass'' algorithm.  An upward pass over a parse tree
    … …  
    24462700}
    24472701
    2448 @InProceedings{chambers89a,
     2702@inproceedings{chambers89a,
    24492703    keywords    = {maps, delegation},
    24502704    author      = "Craig Chambers and David Ungar and Elgin Lee",
    2451     title       = "An Efficient Implementation of {SELF}, a Dynamically-Typed
    2452                  Object-Oriented Language Based on Prototypes",
     2705    title       = "An Efficient Implementation of {SELF}, a Dynamically-Typed Object-Oriented Language Based on Prototypes",
    24532706    crossref    = "OOPSLA89",
    24542707    pages       = {49-70}
    24552708}
    24562709
     2710@misc{Turley99,
     2711    keywords    = {embedded system, micrprocessor},
     2712    contributer = {pabuhr@plg},
     2713    author      = {Jim Turley},
     2714    title       = {Embedded Processors by the Numbers},
     2715    year        = 1999,
     2716    month       = may,
     2717    note        = {Electronic Engineering Times},
     2718    howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712}
     2719                  {https://\-www.eetimes.com/\-author.asp?sectionid=\-36&doc_id=1287712}},
     2720}
     2721
    24572722@article{oop:encapsulation,
    24582723    keywords    = {Encapsulation, Inheritance, Subclasses, Multiple Inheritance},
    24592724    contributer = {gjditchfield@plg},
    24602725    author      = {Alan Snyder},
    2461     title       = {Encapsulation and Inheritance in Object-Oriented Programming
    2462         Languages},
     2726    title       = {Encapsulation and Inheritance in Object-Oriented Programming Languages},
    24632727    journal     = sigplan,
    24642728    volume      = {21},    number = {11},
    … …  
    24952759    title       = {Encapsulators: A New Software Paradigm in Smalltalk-80},
    24962760    journal     = sigplan,
    2497     volume      = {21},    number       = {11},
     2761    volume      = {21},
     2762    number      = {11},
    24982763    pages       = {341-346},
    2499     month       = nov, year = 1986,
     2764    month       = nov,
     2765    year        = 1986,
    25002766    comment     = {
    25012767        Encapsulators are objects that surround other objects.
    … …  
    25682834    year        = 1979,
    25692835    pages       = {24-32}
     2836}
     2837
     2838@inproceedings{XaaS,
     2839    keywords    = {Everything as a Service, Anything as a Service, Cloud computing, SOA},
     2840    contributer = {pabuhr@plg},
     2841    author      = {Duan, Yucong and Fu, Guohua and Zhou, Nianjun and Sun, Xiaobing and Narendra, Nanjangud C. and Hu, Bo},
     2842    title       = {Everything As a Service (XaaS) on the Cloud: Origins, Current and Future Trends},
     2843    booktitle   = {Proceedings of the 2015 IEEE 8th International Conference on Cloud Computing},
     2844    series      = {CLOUD'15},
     2845    year        = {2015},
     2846    pages       = {621--628},
     2847    publisher   = {IEEE Computer Society},
     2848    address     = {Washington, DC, USA},
    25702849}
    25712850
    … …  
    27793058    title       = {Extending Modula-2 to Build Large, Integrated Systems},
    27803059    journal     = {IEEE Software},
    2781     month       = nov, year = 1986,
    2782     volume      = 3, number = 6, pages = {46-57},
     3060    month       = nov,
     3061    year        = 1986,
     3062    volume      = 3,
     3063    number      = 6,
     3064    pages       = {46-57},
    27833065    comment     = {
    27843066        Exceptions can have a parameter.  Procedures can declare the
    … …  
    28133095    year        = 2014,
    28143096    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}},
    2815     optnote     = {Accessed: 2017-04-02},
    28163097}
    28173098
    … …  
    28253106    year        = 1988,
    28263107    pages       = {143-149}
     3108}
     3109
     3110@inproceedings{Patwary10,
     3111    keywords    = {union-find},
     3112    contributer = {a3moss@uwaterloo.ca},
     3113    author      = {Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
     3114    editor      = {Festa, Paola},
     3115    title       = {Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
     3116    booktitle   = {Experimental Algorithms},
     3117    year        = 2010,
     3118    publisher   = {Springer Berlin Heidelberg},
     3119    address     = {Berlin, Heidelberg},
     3120    pages       = {411--423},
     3121    isbn        = {978-3-642-13193-6}
    28273122}
    28283123
    … …  
    28603155    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    28613156    title       = {Fast mutual exclusion by the {T}riangle algorithm},
    2862     author      = {Wim H. Hesselink and Peter Buhr and David Dice},
     3157    author      = {Wim H. Hesselink and Peter A. Buhr and David Dice},
    28633158    journal     = ccpe,
    28643159    volume      = 30,
    … …  
    28673162    month       = feb,
    28683163    publisher   = {John Wiley \& Sons},
    2869     note        = {\url{https://doi.org/10.1002/cpe.4183}}
     3164    note        = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}}
    28703165}
    28713166
    … …  
    28833178}
    28843179
     3180@manual{WindowsFibers,
     3181    keywords    = {threads, fibers},
     3182    contributer = {pabuhr@plg},
     3183    author      = {Windows},
     3184    title       = {Fibers},
     3185    organization= {Microsoft, Windows Development Center},
     3186    address     = {\href{https://docs.microsoft.com/en-us/windows/desktop/ProcThread/fibers}{https://\-docs.microsoft.com/\-en-us/\-windows/\-desktop/\-ProcThread/\-fibers}},
     3187    year        = 2018,
     3188}
     3189
    28853190@inproceedings{F-bound,
    28863191    keywords    = {},
    … …  
    29303235}
    29313236
     3237@manual{Folly,
     3238    keywords    = {Folly},
     3239    contributer = {pabuhr@plg},
     3240    author      = {Folly},
     3241    title       = {Facebook Open-source Library},
     3242    organization= {Facebook},
     3243    address     = {\href{https://github.com/facebook/folly}{https://\-github.com/\-facebook/\-folly}},
     3244    year        = 2018,
     3245}
     3246
     3247@article{Leroy09,
     3248    keywords    = {C formalization},
     3249    contributer = {a3moss@uwaterloo.ca},
     3250    author      = {Leroy, Xavier},
     3251    title       = {Formal Verification of a Realistic Compiler},
     3252    journal     = {Commun. ACM},
     3253    issue_date  = {July 2009},
     3254    volume      = {52},
     3255    number      = {7},
     3256    month       = jul,
     3257    year        = {2009},
     3258    issn        = {0001-0782},
     3259    pages       = {107--115},
     3260    numpages    = {9},
     3261    url         = {http://doi.acm.org/10.1145/1538788.1538814},
     3262    doi         = {10.1145/1538788.1538814},
     3263    acmid       = {1538814},
     3264    publisher   = {ACM},
     3265    address     = {New York, NY, USA},
     3266}
     3267
    29323268@manual{Fortran95,
    29333269    keywords    = {Fortran 95},
    … …  
    29503286    address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    29513287    year        = 2010,
     3288}
     3289
     3290@manual{Fortran18,
     3291    keywords    = {ISO/IEC Fortran 10},
     3292    contributer = {pabuhr@plg},
     3293    author      = {Fortran18},
     3294    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
     3295    edition     = {4rd},
     3296    publisher   = {International Standard Organization},
     3297    address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
     3298    year        = 2018,
    29523299}
    29533300
    … …  
    31703517    keywords    = {Go programming language},
    31713518    contributer = {pabuhr@plg},
     3519    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    31723520    title       = {{Go} Programming Language},
    3173     author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    31743521    organization= {Google},
    31753522    year        = 2009,
    … …  
    31993546    year        = 2014,
    32003547    howpublished= {https://developer.gnome.org/gobject/stable/},
    3201     optnote     = {Accessed: 2017-04},
    32023548}
    32033549
    … …  
    32793625    edition     = {{S}imon {M}arlow},
    32803626    year        = 2010,
    3281     note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
     3627    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}},
    32823628}
    32833629
    … …  
    33533699}
    33543700
     3701@article{Hesselink17b,
     3702    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
     3703    title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
     3704    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
     3705    journal     = ccpe,
     3706    volume      = 30,
     3707    number      = 18,
     3708    year        = 2018,
     3709    month       = sep,
     3710    publisher   = {John Wiley \& Sons},
     3711    note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
     3712}
     3713
    33553714@article{Buhr15a,
    33563715    keywords    = {software solution, mutual exclusion, performance experiment},
    … …  
    34883847    publisher   = {ACM Press},
    34893848    address     = {New York, NY, USA},
     3849}
     3850
     3851@article{Galler64,
     3852    keywords    = {union-find, original},
     3853    contributer = {a3moss@uwaterloo.ca},
     3854    title       = {An improved equivalence algorithm},
     3855    author      = {Galler, Bernard A and Fisher, Michael J},
     3856    journal     = {Communications of the ACM},
     3857    volume      = {7},
     3858    number      = {5},
     3859    pages       = {301--303},
     3860    year        = {1964},
     3861    publisher   = {ACM}
     3862}
     3863
     3864@phdthesis{Barghi18,
     3865    keywords    = {concurrency, user threads, actors},
     3866    contributer = {pabuhr@plg},
     3867    author      = {Saman Barghi},
     3868    title       = {Improving the Performance of User-level Runtime Systems for Concurrent Applications},
     3869    school      = {School of Computer Science, University of Waterloo},
     3870    year        = 2018,
     3871    month       = sep,
     3872    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     3873    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}},
     3874}
     3875
     3876@article{Swift05,
     3877   contributer  = {pabuhr@plg},
     3878   author       = {Michael M. Swift and Brian N. Bershad and Henry M. Levy},
     3879   title        = {Improving the Reliability of Commodity Operating Systems},
     3880   journal      = tocs,
     3881   volume       = 23,
     3882   number       = 1,
     3883   month        = feb,
     3884   year         = 2005,
     3885   pages        = {77-110},
    34903886}
    34913887
    … …  
    37944190}
    37954191
     4192@article{Morgado13,
     4193    keywords    = {expression resolution},
     4194    contributer = {a3moss@uwaterloo.ca},
     4195    title       = {Iterative and core-guided {MaxSAT} solving: A survey and assessment},
     4196    author      = {Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
     4197    journal     = {Constraints},
     4198    volume      = {18},
     4199    number      = {4},
     4200    pages       = {478--534},
     4201    year        = {2013},
     4202    publisher   = {Springer}
     4203}
     4204
    37964205% J
    37974206                 
    … …  
    38174226}
    38184227
     4228@manual{Java11,
     4229    keywords    = {Java SE 11},
     4230    contributer = {pabuhr@plg},
     4231    author      = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley and Daniel Smith},
     4232    title       = {{Java} Language Specification},
     4233    publisher   = {Oracle},
     4234    month       = sep,
     4235    year        = 2018,
     4236    edition     = {{J}ava {SE} 11},
     4237}
     4238
     4239@manual{JDK1.1,
     4240    keywords    = {JDK 1.1},
     4241    contributer = {pabuhr@plg},
     4242    author      = {{Multithreading Models}},
     4243    title       = {JDK 1.1 for Solaris Developer's Guide},
     4244    publisher   = {Oracle},
     4245    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}},
     4246    year        = 2010,
     4247}
     4248
    38194249@manual{JUC,
    38204250    keywords    = {Java concurrency library},
    … …  
    38294259% K
    38304260
     4261@inproceedings{Buhr96b,
     4262    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
     4263    title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
     4264    booktitle   = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools},
     4265    publisher   = {ACM Press},
     4266    address     = {Philadelphia, Pennsylvania, U.S.A.},
     4267    month       = may,
     4268    year        = 1996,
     4269    pages       = {80-87},
     4270}
     4271
    38314272@article{Duggan96,
    38324273    keywords    = {concurrency, critical section},
    38334274    contributer = {pabuhr@plg},
    3834     author      = {Dominic Duggan and G. V. Cormack and John Ophel},
     4275    author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
    38354276    title       = {Kinded Type Inference for Parametric Overloading},
    38364277    journal     = acta,
    … …  
    39724413}
    39734414
     4415@misc{libdill,
     4416    keywords    = {libdill/libmill Thread Library},
     4417    contributer = {pabuhr@plg},
     4418    author      = {Alex Cornejo, et al},
     4419    title       = {libdill Thread Library},
     4420    year        = 2019,
     4421    howpublished= {\href{http://libdill.org/libdill-2.14.tar.gz}
     4422                  {http://\-libdill.org/\-libdill-2.14.tar.gz}},
     4423}
     4424
    39744425@article{Linda,
    39754426    keywords    = {Linda, concurrency},
    … …  
    39854436}
    39864437
     4438@manual{libmill,
     4439    keywords    = {libmill},
     4440    contributer = {pabuhr@plg},
     4441    author      = {libmill},
     4442    title       = {{G}o-style concurrency in {C}, Version 1.18},
     4443    organization= {libmill},
     4444    address     = {\href{http://libmill.org/documentation.html}{http://\-libmill.org/\-documentation.html}},
     4445    month       = jan,
     4446    year        = 2017,
     4447}
     4448
    39874449@book{Weissman67,
    39884450    keywords    = {lisp},
    … …  
    39944456}
    39954457
     4458@article{Pierce00,
     4459    keywords    = {Scala},
     4460    contributer = {a3moss@uwaterloo.ca},
     4461    author      = {Pierce, Benjamin C. and Turner, David N.},
     4462    title       = {Local Type Inference},
     4463    journal     = {ACM Trans. Program. Lang. Syst.},
     4464    issue_date  = {Jan. 2000},
     4465    volume      = {22},
     4466    number      = {1},
     4467    month       = jan,
     4468    year        = {2000},
     4469    issn        = {0164-0925},
     4470    pages       = {1--44},
     4471    numpages    = {44},
     4472    url         = {http://doi.acm.org/10.1145/345099.345100},
     4473    doi         = {10.1145/345099.345100},
     4474    acmid       = {345100},
     4475    publisher   = {ACM},
     4476    address     = {New York, NY, USA},
     4477    keywords    = {polymorphism, subtyping, type inference},
     4478}
     4479
    39964480@article{Sundell08,
    39974481    keywords    = {lock free, deque},
    … …  
    40044488    year        = 2008,
    40054489    pages       = {1008-1020},
     4490}
     4491
     4492@misc{Matsakis17,
     4493    keywords    = {Rust, Chalk, PROLOG},
     4494    contributer = {a3moss@uwaterloo.ca},
     4495    author      = {Nicholas Matsakis},
     4496    title       = {Lowering {Rust} traits to logic},
     4497    month       = jan,
     4498    year        = 2017,
     4499    howpublished= {\href{http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/}
     4500                  {http://smallcultfollowing.com/\-babysteps/\-blog/\-2017/\-01/\-26/\-lowering-rust-traits-to-logic/}},
     4501    optnote     = {Accessed: 2019-01},
    40064502}
    40074503
    … …  
    40204516}
    40214517
     4518@manual{Lua,
     4519    keywords    = {Lua},
     4520    contributer = {pabuhr@plg},
     4521    author      = {Lua},
     4522    title       = {Lua 5.3 Reference Manual},
     4523    address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
     4524    year        = 2018,
     4525}
     4526
    40224527% M
    40234528
    … …  
    40294534    publisher   = {Motorola},
    40304535    year        = 1992,
     4536}
     4537
     4538@misc{Haberman16,
     4539    keywords    = {C++ template expansion},
     4540    contributer = {a3moss@uwaterloo.ca},
     4541    author      = {Josh Haberman},
     4542    title       = {Making arbitrarily-large binaries from fixed-size {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} code},
     4543    year        = 2016,
     4544    howpublished= {\href{http://blog.reverberate.org/2016/01/making-arbitrarily-large-binaries-from.html}
     4545                  {http://blog.reverberate.org/\-2016/\-01/\-making-arbitrarily-large-binaries-from.html}},
     4546    optnote     = {Accessed: 2016-09},
    40314547}
    40324548
    … …  
    40514567}
    40524568
     4569@misc{Marcel,
     4570    keywords    = {Marcel Thread Library},
     4571    contributer = {pabuhr@plg},
     4572    author      = {Gabriel Antoniu, et al},
     4573    title       = {Marcel Thread Library},
     4574    year        = 2011,
     4575    howpublished= {\href{https://gforge.inria.fr/frs/download.php/file/28643/marcel-2.99.3.tar.gz}
     4576                  {https://\-gforge.inria.fr/\-frs/\-download.php/\-file/\-28643/\-marcel-2.99.3.tar.gz}},
     4577}
     4578
    40534579@inproceedings{mprof,
    40544580    keywords    = {malloc},
    … …  
    40674593    month       = sep,
    40684594    year        = 2006,
    4069     note        = {\textsf{http://cs.anu.edu.au/\-\char`\~Robin.Garner/\-mmtk-guide.pdf}},
     4595    note        = {\textsf{http://cs.anu.edu.au/\-$\sim$Robin.Garner/\-mmtk-guide.pdf}},
    40704596}
    40714597
    … …  
    41714697    month       = sep,
    41724698    year        = 1994,
    4173     note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-uSystem/\-uSystem.ps.gz}}},
     4699    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uSystem.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/\-uSystem.pdf}},
    41744700}
    41754701
    … …  
    43474873}
    43484874%    editor     = {Allen Kent and James G. Williams},
     4875
     4876@incollection{MPC,
     4877    keywords    = {user-level threading},
     4878    contributer = {pabuhr@plg},
     4879    author      = {Marc P\'erache and Herv\'e Jourdren and Raymond Namyst},
     4880    title       = {MPC: A Unified Parallel Runtime for Clusters of {NUMA} Machines},
     4881    booktitle   = {Euro-Par 2008},
     4882    pages       = {329-342},
     4883    publisher   = {Springer},
     4884    address     = {Berlin, Heidelberg},
     4885    year        = 2008,
     4886    volume      = 5168,
     4887    series      = {Lecture Notes in Computer Science},
     4888}
    43494889
    43504890@manual{MPI,
    … …  
    45155055
    45165056% N
     5057
     5058@techreport{Drepper03,
     5059    keywords    = {NPTL, threading, 1:1 model},
     5060    contributer = {pabuhr@plg},
     5061    author      = {Ulrich Drepper and Ingo Molnar},
     5062    title       = {The Native POSIX Thread Library for Linux},
     5063    institution = {Red Hat},
     5064    year        = 2003,
     5065    note        = {\href{http://www.cs.utexas.edu/~witchel/372/lectures/POSIX_Linux_Threading.pdf}{http://www.cs.utexas.edu/\-$\sim$witchel/\-372/\-lectures/\-POSIX\_Linux\_Threading.pdf}},
     5066}
    45175067
    45185068@article{Haddon77,
    … …  
    46415191}
    46425192
     5193@misc{nginx,
     5194    key         = {nginx},
     5195    author      = {{NGINX}},
     5196    howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}},
     5197}
     5198
    46435199@article{Herlihy05,
    46445200    keywords    = {Multiprocessors, concurrent data structures, dynamic data structures, memory management, nonblocking synchronization},
    … …  
    46975253    year        = 1995,
    46985254    number      = 31,
    4699     note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-\char`\~schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
     5255    note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-$\sim$schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
    47005256}
    47015257
    … …  
    47515307@misc{obj-c-book,
    47525308    keywords    = {objective-c},
    4753     contributor = {a3moss@uwaterloo.ca},
     5309    contributor = {pabuhr@plg},
    47545310    key         = {Objective-C},
    4755     title       = {Objective-C},
     5311    author      = {Objective-C},
    47565312    publisher   = {Apple Inc.},
    4757     year        = 2015,
    4758     howpublished= {\href{https://developer.apple.com/library/content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},
    4759     optnote     = {Accessed: 2018-03}
     5313    year        = 2014,
     5314    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
    47605315}
    47615316
    … …  
    47665321    title       = {{X}code 7 Release Notes},
    47675322    year        = 2015,
    4768     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}},
    4769     optnote     = {Accessed: 2017-04}
     5323    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}},
    47705324}
    47715325
    … …  
    48935447}
    48945448
    4895 @techreport{OpenMP,
     5449@manual{OpenMP,
    48965450    keywords    = {concurrency, openmp, spmd},
    48975451    contributer = {pabuhr@plg},
    4898     author      = {OpenMP Architecture Review Board},
    4899     title       = {OpenMP Application Program Interface, Version 4.0},
    4900     month       = jul,
    4901     year        = 2013,
    4902     note        = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}},
    4903 }
     5452    key         = {OpenMP},
     5453    title       = {OpenMP Application Program Interface, Version 4.5},
     5454    month       = nov,
     5455    year        = 2015,
     5456    note        = {\href{https://www.openmp.org/wp-content/uploads/openmp-4.5.pdf}{https://\-www.openmp.org/\-wp-content/\-uploads/\-openmp-4.5.pdf}},
     5457}
     5458
     5459@inproceedings{Krebbers14,
     5460    keywords    = {c formalization},
     5461    contributer = {a3moss@uwaterloo.ca},
     5462    author      = {Krebbers, Robbert},
     5463    title       = {An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C},
     5464    booktitle   = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     5465    series      = {POPL '14},
     5466    year        = {2014},
     5467    isbn        = {978-1-4503-2544-8},
     5468    location    = {San Diego, California, USA},
     5469    pages       = {101--112},
     5470    numpages    = {12},
     5471    url         = {http://doi.acm.org/10.1145/2535838.2535878},
     5472    doi         = {10.1145/2535838.2535878},
     5473    acmid       = {2535878},
     5474    publisher   = {ACM},
     5475    address     = {New York, NY, USA},
     5476}
    49045477
    49055478@book{Deitel04,
    … …  
    52665839}
    52675840
     5841@misc{perf,
     5842    contributer = {pabuhr@plg},
     5843    key         = {perf},
     5844    author      = {perf},
     5845    howpublished= {\href{https://perf.wiki.kernel.org/index.php/Tutorial}{https://\-perf.wiki.kernel.org/\-index.php/\-Tutorial}},
     5846}
     5847
     5848@misc{Verch12,
     5849    contributer = {pabuhr@plg},
     5850    author      = {Shaun Verch},
     5851    title       = {Performance Analysis of 64-Bit Capriccio},
     5852    month       = may,
     5853    year        = 2012,
     5854    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
     5855}
     5856
    52685857@article{Anderson90,
    52695858    keywords    = {spin locks, back off, performance},
    … …  
    52775866    number      = 1,
    52785867    pages       = {6-16},
     5868}
     5869
     5870@inproceedings{Conchon07,
     5871    keywords    = {persistent array, union-find},
     5872    contributer = {a3moss@uwaterloo.ca},
     5873    title       = {A persistent union-find data structure},
     5874    author      = {Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
     5875    booktitle   = {Proceedings of the 2007 workshop on Workshop on ML},
     5876    pages       = {37--46},
     5877    year        = {2007},
     5878    organization= {ACM}
    52795879}
    52805880
    … …  
    54886088}
    54896089
     6090@inproceedings{Buhr98,
     6091    keywords    = {profiling, monitoring, visualization},
     6092    contributer = {pabuhr@plg},
     6093    author      = {Peter A. Buhr and Robert Denda},
     6094    title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
     6095    booktitle   = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments},
     6096    series      = {Lecture Notes in Computer Science},
     6097    publisher   = {Springer-Verlag},
     6098    volume      = 1505,
     6099    opteditor   = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn},
     6100    address     = {Santa Fe, New Mexico, U.S.A.},
     6101    month       = dec,
     6102    year        = 1998,
     6103    pages       = {159-166},
     6104}
     6105
    54906106@book{PowerPC,
    54916107    key         = {PowerPC processor},
    … …  
    55606176    address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    55616177    year        = 2014,
     6178}
     6179
     6180@manual{C++17,
     6181    keywords    = {ISO/IEC C++ 17},
     6182    contributer = {pabuhr@plg},
     6183    key         = {C++17},
     6184    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
     6185    edition     = {5th},
     6186    publisher   = {International Standard Organization},
     6187    address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
     6188    year        = 2017,
    55626189}
    55636190
    … …  
    57136340    institution = {Carnegie Mellon University},
    57146341    year        = 1991,
    5715     month       = feb, number = "CMU-CS-91-106",
     6342    month       = feb,
     6343    number      = {CMU-CS-91-106},
    57166344    annote      = {
    57176345        Discusses a typed lambda calculus with
    … …  
    57536381}
    57546382
     6383@article{Moore75,
     6384    keywords    = {approximation methods, integrated circuits},
     6385    contributer = {pabuhr@plg},
     6386    author      = {Gordon E. Moore},
     6387    title       = {Progress in Digital Integrated Electronics},
     6388    journal     = {Technical Digest, International Electron Devices Meeting, IEEE},
     6389    year        = 1975,
     6390    pages       = {11-13},
     6391}
     6392
    57556393@article{promises,
    57566394    keywords    = {futures, Argus, call streams, rpc},
    57576395    contributer = {gjditchfield@plg},
    57586396    author      = {Barbara Liskov and Liuba Shrira},
    5759     title       = {Promises: Linguistic Support for Efficient Asynchronous
    5760           Procedure Calls in Distributed Systems},
     6397    title       = {Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems},
    57616398    journal     = sigplan,
    57626399    year        = 1988,
    5763     month       = jul, volume = 23, number = 7, pages = {260-267},
    5764     note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language
    5765          Design and Implementation},
     6400    month       = jul,
     6401    volume      = 23,
     6402    number      = 7,
     6403    pages       = {260-267},
     6404    note        = {Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation},
    57666405    abstract    = {
    57676406        This paper deals with the integration of an efficient asynchronous
    … …  
    58136452}
    58146453
     6454@misc{Pthreads,
     6455    keywords    = {pthreads, C concurrency},
     6456    contributer = {pabuhr@plg},
     6457    key         = {pthreads},
     6458    title       = {{Pthread}.h, Specifications Issue 7, {IEEE} Std 1003.1-2017},
     6459    author      = {IEEE and {The Open Group}},
     6460    year        = 2018,
     6461    howpublished= {\href{http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/pthread.h.html}
     6462                  {http://\-pubs.opengroup.org/\-onlinepubs/\-9699919799/\-basedefs/\-pthread.h.html}},
     6463}
     6464
    58156465@manual{Python,
    58166466    keywords    = {Python},
    58176467    contributer = {pabuhr@plg},
    5818     title       = {Python Reference Manual, Release 2.5},
    5819     author      = {Guido van Rossum},
     6468    author      = {Python},
     6469    title       = {Python Language Reference, Release 3.7.2},
    58206470    organization= {Python Software Foundation},
    5821     month       = sep,
    5822     year        = 2006,
    5823     note        = {Fred L. Drake, Jr., editor},
     6471    address     = {\href{https://docs.python.org/3/reference/index.html}{https://\-docs.python.org/\-3/\-reference/\-index.html}},
     6472    year        = 2018,
    58246473}
    58256474
    58266475% Q
     6476
     6477@inproceedings{Qthreads,
     6478    keywords    = {user-level threading},
     6479    author      = {Kyle B. Wheeler and Richard C. Murphy and Douglas Thain},
     6480    title       = {Qthreads: An API for Programming with Millions of Lightweight Threads},
     6481    booktitle   = {International Symposium on Parallel and Distributed Processing},
     6482    organization= {IEEE},
     6483    address     = {Miami, FL, USA},
     6484    month       = apr,
     6485    year        = 2008,
     6486}
    58276487
    58286488@article{Grossman06,
    58296489    keywords    = {Cyclone, existential types, polymorphism, type variables},
    58306490    contributer = {a3moss@plg},
    5831     author      = {D. Grossman},
     6491    author      = {Dan Grossman},
    58326492    title       = {Quantified Types in an Imperative Language},
    58336493    journal     = toplas,
    … …  
    58396499    issn        = {0164-0925},
    58406500    pages       = {429-475},
    5841     url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     6501    url         = {http://doi.acm.org/10.1145/1133651.1133653},
    58426502    doi         = {10.1145/1133651.1133653},
    58436503    acmid       = {1133653},
    … …  
    58616521}
    58626522
     6523@manual{Quasar,
     6524    keywords    = {Quasar},
     6525    contributer = {pabuhr@plg},
     6526    author      = {Quasar},
     6527    title       = {Quasar Documentation, Release 0.8.0},
     6528    organization= {Parallel Universe},
     6529    address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
     6530    year        = 2018,
     6531}
     6532
    58636533% R
    58646534
    … …  
    59386608}
    59396609
     6610@article{Ronsse03,
     6611    keywords    = {profiling, replay},
     6612    contributer = {pabuhr@plg},
     6613    author      = {Michiel Ronsse and De Bosschere, Koen and Mark Christiaens and Jacques Chassin de Kergommeaux and Dieter Kranzlm\"{u}ller},
     6614    title       = {Record/Replay for Nondeterministic Program Executions},
     6615    journal     = cacm,
     6616    month       = sep,
     6617    year        = 2003,
     6618    volume      = 46,
     6619    number      = 9,
     6620    pages       = {62-67},
     6621}
     6622
    59406623@article{Robinson48,
    59416624    keywords    = {recursion, Ackermann function},
    … …  
    59636646}
    59646647
     6648@article{Hesselink06,
     6649    author      = {Wim H. Hesselink},
     6650    title       = {Refinement Verification of the Lazy Caching Algorithm},
     6651    journal     = acta,
     6652    year        = 2006,
     6653    month       = oct,
     6654    volume      = 43,
     6655    number      = 3,
     6656    pages       = {195--222},
     6657}
     6658
    59656659@article{RemoteRendezvous,
    59666660    keywords    = {rendezvous, concurrency},
    … …  
    59766670}
    59776671
     6672@mastersthesis{Schuster99,
     6673    author      = {Oliver Schuster},
     6674    title       = {Replay of Concurrent Shared-Memory Programs},
     6675    school      = {Universit\"at Mannheim},
     6676    address     = {Mannheim, Deutschland},
     6677    year        = 1999,
     6678    month       = apr,
     6679    type        = {Diplomarbeit},
     6680    note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/SchusterThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-SchusterThesis.pdf}},
     6681}
     6682
    59786683@article{Euclid,
    59796684    keywords    = {Euclid},
    … …  
    60076712    school      = {School of Computer Science, University of Waterloo},
    60086713    year        = 2017,
    6009     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     6714    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    60106715    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
    60116716}
    … …  
    60826787    contributer = {pabuhr@plg},
    60836788    key         = {Rust},
    6084     title       = {The {R}ust Programming Language},
    6085     address     = {The Rust Project Developers},
     6789    title       = {{R}ust Programming Language},
     6790    optaddress  = {Rust Project Developers},
    60866791    year        = 2015,
    60876792    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
     6793}
     6794
     6795@manual{Ruby,
     6796    keywords    = {Ruby},
     6797    contributer = {pabuhr@plg},
     6798    author      = {Ruby},
     6799    title       = {Ruby Documentation, Release 2.6.0},
     6800    organization= {Python Software Foundation},
     6801    address     = {\href{https://www.ruby-lang.org/en/documentation}{https://\-www.ruby-lang.org/\-en/\-documentation}},
     6802    year        = 2018,
    60886803}
    60896804
    … …  
    61496864    publisher   = {Springer},
    61506865    note        = {Lecture Notes in Computer Science v. 173},
     6866}
     6867
     6868@article{Baker78,
     6869    keywords    = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
     6870    contributer = {a3moss@uwaterloo.ca},
     6871    author      = {Baker,Jr., Henry G.},
     6872    title       = {Shallow Binding in Lisp 1.5},
     6873    journal     = {Commun. ACM},
     6874    issue_date  = {July 1978},
     6875    volume      = 21,
     6876    number      = 7,
     6877    month       = jul,
     6878    year        = 1978,
     6879    issn        = {0001-0782},
     6880    pages       = {565--569},
     6881    numpages    = {5},
     6882    url         = {http://doi.acm.org/10.1145/359545.359566},
     6883    doi         = {10.1145/359545.359566},
     6884    acmid       = {359566},
     6885    publisher   = {ACM},
     6886    address     = {New York, NY, USA}
     6887}
     6888
     6889@article{Baker91,
     6890    keywords    = {shallow binding, functional arrays},
     6891    contributer = {a3moss@uwaterloo.ca},
     6892    author      = {Baker, Henry G.},
     6893    title       = {Shallow Binding Makes Functional Arrays Fast},
     6894    journal     = {SIGPLAN Not.},
     6895    issue_date  = {Aug. 1991},
     6896    volume      = 26,
     6897    number      = 8,
     6898    month       = aug,
     6899    year        = 1991,
     6900    issn        = {0362-1340},
     6901    pages       = {145--147},
     6902    numpages    = {3},
     6903    url         = {http://doi.acm.org/10.1145/122598.122614},
     6904    doi         = {10.1145/122598.122614},
     6905    acmid       = {122614},
     6906    publisher   = {ACM},
     6907    address     = {New York, NY, USA},
    61516908}
    61526909
    … …  
    67827539}
    67837540
     7541@article{SysVABI,
     7542    keywords    =  {System V ABI},
     7543    contributer =  {a3moss@uwaterloo.ca},
     7544    title       = {System {V} application binary interface},
     7545    author      = {Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
     7546    journal     = {AMD64 Architecture Processor Supplement, Draft v0},
     7547    volume      = {99},
     7548    year        = {2013}
     7549}
     7550
    67847551% T
    67857552
    … …  
    68347601    contributer = {pabuhr@plg},
    68357602    key         = {TIOBE Index},
    6836     title       = {{TIOBE} Index},
     7603    author      = {{TIOBE Index}},
    68377604    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    6838     optnote     = {Accessed: 2018-09},
     7605}
     7606
     7607@misc{ThreadModel,
     7608    contributer = {pabuhr@plg},
     7609    key         = {ThreadModel},
     7610    title       = {Thread (computing)},
     7611    author      = {{Threading Model}},
     7612    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
    68397613}
    68407614
    … …  
    69747748    year        = 1980
    69757749}
     7750
     7751@misc{TraceCompass,
     7752    contributer = {pabuhr@plg},
     7753    key         = {Trace Compass},
     7754    author      = {{T}race {C}ompass},
     7755    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
     7756}
    69767757 
    69777758@article{Leroy00,
    … …  
    69897770        Argues against declaring exceptions on routine definitions.
    69907771    },
     7772}
     7773
     7774@techreport{Black90,
     7775    title       = {Typechecking polymorphism in {Emerald}},
     7776    author      = {Black, Andrew P and Hutchinson, Norman C},
     7777    year        = {1990},
     7778    institution = {Cambridge Research Laboratory, Digital Equipment Corporation}
    69917779}
    69927780
    … …  
    71097897    title       = {Usability Challenges in Exception Handling},
    71107898    booktitle   = {5th International Workshop on Exception Handling (WEH)},
    7111     organization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     7899    optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
    71127900    address     = {Zurich, Switzerland},
    71137901    month       = jun,
    … …  
    71617949    year        = 2017,
    71627950    howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
    7163     optnote     = {Accessed: 2017-04}
    71647951}
    71657952
    … …  
    72538040}
    72548041
     8042@inproceedings{vonBehren03,
     8043    keywords    = {threads, events, web server},
     8044    contributer = {pabuhr@plg},
     8045    author      = {Rob von Behren and Jeremy Condit and Eric Brewer},
     8046    title       = {Why Events Are a Bad Idea (for high-concurrency servers)},
     8047    booktitle   = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems},
     8048    publisher   = {USENIX Association},
     8049    address     = {Lihue, Hawaii, U.S.A.},
     8050    month       = may,
     8051    year        = 2003,
     8052    pages       = {19-24},
     8053}
     8054
    72558055@techreport{Moss90,
    72568056    keywords    = {Swizzling, database},
    … …  
    72978097}
    72988098
     8099@article{Tarjan84,
     8100    keywords    = {union-find},
     8101    contributer = {a3moss@uwaterloo.ca},
     8102    author      = {Tarjan, Robert E. and van Leeuwen, Jan},
     8103    title       = {Worst-case Analysis of Set Union Algorithms},
     8104    journal     = {J. ACM},
     8105    issue_date  = {April 1984},
     8106    volume      = 31,
     8107    number      = 2,
     8108    month       = mar,
     8109    year        = 1984,
     8110    issn        = {0004-5411},
     8111    pages       = {245--281},
     8112    numpages    = {37},
     8113    url         = {http://doi.acm.org/10.1145/62.2160},
     8114    doi         = {10.1145/62.2160},
     8115    acmid       = {2160},
     8116    publisher   = {ACM},
     8117    address     = {New York, NY, USA},
     8118}
     8119
    72998120% X
    73008121
    73018122% Y
     8123
     8124@article{Boehm12,
     8125    keywords    = {memory model, race condition},
     8126    contributer = {pabuhr@plg},
     8127    author      = {Boehm, Hans-J. and Adve, Sarita V.},
     8128    title       = {You Don'T Know Jack About Shared Variables or Memory Models},
     8129    journal     = cacm,
     8130    volume      = 55,
     8131    number      = 2,
     8132    month       = feb,
     8133    year        = 2012,
     8134    pages       = {48--54},
     8135    publisher   = {ACM},
     8136    address     = {New York, NY, USA},
     8137}
    73028138
    73038139% Z
    … …  
    73178153    year        = 1986,
    73188154    editor      = {Norman Meyrowitz},
    7319     publisher   = sigplan # " 21(11)",
     8155    publisher   = sigplan,
    73208156    organization= {Association for Computing Machinery},
    73218157    address     = {Portland, Oregon},
    7322     month       = sep # { 29}
     8158    month       = sep,
    73238159}
    73248160
    … …  
    73298165    year        = 1987,
    73308166    editor      = {Norman Meyrowitz},
    7331     publisher   = sigplan # " 22(12)",
     8167    publisher   = sigplan,
    73328168    organization= {Association for Computing Machinery},
    73338169    address     = {Orlando, Florida},
    7334     month       = oct # { 4--8}
     8170    month       = oct,
    73358171}
    73368172
    … …  
    73418177    year        = 1988,
    73428178    editor      = {Norman Meyrowitz},
    7343     publisher   = sigplan # " 23(11)",
     8179    publisher   = sigplan,
    73448180    organization= {Association for Computing Machinery},
    73458181    address     = {San Diego, California},
    7346     month       = sep # { 25--30}
     8182    month       = sep,
    73478183}
    73488184
    … …  
    73538189    year        = 1989,
    73548190    editor      = {Norman Meyrowitz},
    7355     publisher   = sigplan # " 24(10)",
     8191    publisher   = sigplan,
    73568192    organization= {Association for Computing Machinery},
    73578193    address     = {New Orleans, Louisiana},
    7358     month       = oct # { 1--6}
     8194    month       = oct,
    73598195}
    73608196
    … …  
    73658201    year        = 1990,
    73668202    editor      = {Norman Meyrowitz},
    7367     publisher   = sigplan # " 25(10)",
     8203    publisher   = sigplan,
    73688204    organization= {Association for Computing Machinery},
    73698205    address     = {Ottawa, Canada},
    7370     month       = oct # { 21--25}
     8206    month       = oct,
    73718207}
    73728208
    … …  
    73778213    year        = 1991,
    73788214    editor      = {Andreas Paepcke},
    7379     publisher   = sigplan # " 26(11)",
     8215    publisher   = sigplan,
    73808216    organization= {Association for Computing Machinery},
    73818217    address     = {Phoenix, Arizona},
    7382     month       = oct # { 6--11}
    7383 }
     8218    month       = oct,
     8219}
Note: See TracChangeset for help on using the changeset viewer.