Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r5346dce r2185df1  
    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
    … …  
    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},
    … …  
    816843    month       = oct,
    817844    type        = {Diplomarbeit},
    818     note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-KrischerThesis.ps.gz}}},
     845    note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/KrischerThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-KrischerThesis.pdf}},
    819846}
    820847
    … …  
    908935
    909936@misc{Cforall,
     937    contributer = {pabuhr@plg},
    910938    key         = {Cforall},
    911     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
    912     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
     939    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
     940    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
    913941    optnote     = {Accessed: 2018-01-01},
    914942}
    … …  
    926954
    927955@misc{CFAStackEvaluation,
     956    contributer = {a3moss@plg},
    928957    author      = {Aaron Moss},
    929958    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
    … …  
    934963
    935964@article{Moss18,
    936     keywords    = {concurrency, C++},
     965    keywords    = {type systems, polymorphism, tuples, Cforall},
    937966    contributer = {pabuhr@plg},
    938967    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    939968    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     969    journal     = spe,
     970    volume      = 48,
     971    number      = 12,
     972    month       = dec,
    940973    year        = 2018,
    941     journal     = spe,
    942     note        = {Accepted, to appear},
     974    pages       = {2111-2146},
     975    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    943976}
    944977
    … …  
    962995    comment     = {
    963996        The evidence given is thin.
    964         }
     997    },
    965998}
    966999
    … …  
    9721005    journal     = {Dr. Dobb's Journal of Software Tools},
    9731006    year        = 1989,
    974     month       = feb, volume = 14, number = 2, pages = {45-51},
     1007    month       = feb,
     1008    volume      = 14,
     1009    number      = 2,
     1010    pages       = {45-51},
    9751011    comment     = {
    9761012       A light-weight multitasking kernel for MS-DOS.  A task\_control
    … …  
    10841120    month       = oct,
    10851121    year        = 2001,
    1086     note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-\char`\~cforall/\-cfa.ps}},
     1122    note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-cfa.ps}},
    10871123}
    10881124
    … …  
    14161452}
    14171453
     1454@misc{NThreadCode13,
     1455    keywords    = {N-thread software-solution mutual exclusion},
     1456    contributer = {pabuhr@plg},
     1457    key         = {concurrent locking},
     1458    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
     1459    title       = {concurrent-locking},
     1460    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
     1461    optnote     = {[Accessed April 2017]},
     1462}
     1463
    14181464@incollection{Reppy93,
    14191465    keywords    = {ML, concurrency, continuation passing},
    … …  
    14801526}
    14811527
    1482 @techreport{uC++,
     1528@manual{uC++,
    14831529    keywords    = {C++, concurrency, light-weight process, shared memory},
    14841530    contributer = {pabuhr@plg},
     1531    key         = {uC++},
    14851532    author      = {Peter A. Buhr},
    14861533    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    1487     institution = {School of Computer Science, University of Waterloo},
    1488     address     = {Waterloo, Ontario, Canada, N2L 3G1},
    1489     month       = dec,
    1490     year        = 2017,
    1491     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}},
     1534    organization= {University of Waterloo},
     1535    month       = sep,
     1536    year        = 2018,
     1537    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
    14921538}
    14931539
    … …  
    15561602}
    15571603
     1604@mastersthesis{Sun15,
     1605    author      = {Sun, Xianda},
     1606    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
     1607    school      = {School of Computer Sc., University of Waterloo},
     1608    year        = 2015,
     1609    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     1610    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/10013}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-10013}},
     1611}
     1612
    15581613@book{Andrews91:book,
    15591614    keywords    = {concurrency},
    … …  
    15801635
    15811636@mastersthesis{Delisle18,
    1582     author      = {Thierry Delisle },
     1637    keywords    = {concurrency, Cforall},
     1638    contributer = {pabuhr@plg},
     1639    author      = {Thierry Delisle},
    15831640    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    15841641    school      = {School of Computer Science, University of Waterloo},
    15851642    year        = 2018,
    1586     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1643    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    15871644    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
     1645}
     1646
     1647@article{Delisle18b,
     1648    keywords    = {concurrency, Cforall},
     1649    contributer = {pabuhr@plg},
     1650    author      = {Thierry Delisle and Peter A. Buhr},
     1651    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     1652    year        = 2018,
     1653    journal     = spe,
     1654    pages       = {1-32},
     1655    note        = {submitted},
    15881656}
    15891657
    … …  
    17601828    author      = {Glen Ditchfield},
    17611829    title       = {Conversions for \textsf{C}$\mathbf{\forall}$},
    1762     note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
     1830    note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-Conversions/\-index.html}},
    17631831    month       = {Nov},
    17641832    year        = {2002},
    … …  
    18271895    key         = {Peter Buhr},
    18281896    title       = {CS343},
    1829     year        = 2017,
    1830     howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
     1897    year        = 2018,
     1898    howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-$\sim$cs343}},
    18311899}
    18321900
    … …  
    18871955    note        = {Svensk Standard SS 63 61 14},
    18881956    year        = 1987,
    1889     abstract    = {
    1890         Standard for the programming language SIMULA.  Written in English.
    1891     }
     1957    abstract    = {Standard for the programming language SIMULA. Written in English.}
     1958}
     1959
     1960@article{Galil91,
     1961    keywords    = {union-find},
     1962    contributer = {a3moss@uwaterloo.ca},
     1963    title       = {Data structures and algorithms for disjoint set union problems},
     1964    author      = {Galil, Zvi and Italiano, Giuseppe F},
     1965    journal     = {ACM Computing Surveys (CSUR)},
     1966    volume      = 23,
     1967    number      = 3,
     1968    pages       = {319--344},
     1969    year        = 1991,
     1970    publisher   = {ACM},
    18921971}
    18931972
    … …  
    20292108    year        = {1998},
    20302109    pages       = {393-407},
     2110}
     2111
     2112@book{Aho74,
     2113    keywords    = {algorithms, textbook, union-find},
     2114    contributer = {a3moss@uwaterloo.ca},
     2115    title       = {The Design and Analysis of Computer Algorithms},
     2116    author      = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
     2117    year        = {1974},
     2118    publisher   = {Addison-Wesley},
     2119    address     = {Reading, MA, USA}
    20312120}
    20322121
    … …  
    28312920}
    28322921
     2922@inproceedings{Patwary10,
     2923    keywords    = {union-find},
     2924    contributer = {a3moss@uwaterloo.ca},
     2925    author      = {Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
     2926    editor      = {Festa, Paola},
     2927    title       = {Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
     2928    booktitle   = {Experimental Algorithms},
     2929    year        = 2010,
     2930    publisher   = {Springer Berlin Heidelberg},
     2931    address     = {Berlin, Heidelberg},
     2932    pages       = {411--423},
     2933    isbn        = {978-3-642-13193-6}
     2934}
     2935
    28332936% F
    28342937
    … …  
    28642967    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    28652968    title       = {Fast mutual exclusion by the {T}riangle algorithm},
    2866     author      = {Wim H. Hesselink and Peter Buhr and David Dice},
     2969    author      = {Wim H. Hesselink and Peter A. Buhr and David Dice},
    28672970    journal     = ccpe,
    28682971    volume      = 30,
    … …  
    28712974    month       = feb,
    28722975    publisher   = {John Wiley \& Sons},
    2873     note        = {\url{https://doi.org/10.1002/cpe.4183}}
     2976    note        = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}}
    28742977}
    28752978
    … …  
    31743277    keywords    = {Go programming language},
    31753278    contributer = {pabuhr@plg},
     3279    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    31763280    title       = {{Go} Programming Language},
    3177     author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    31783281    organization= {Google},
    31793282    year        = 2009,
    … …  
    32833386    edition     = {{S}imon {M}arlow},
    32843387    year        = 2010,
    3285     note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
     3388    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}},
    32863389}
    32873390
    … …  
    33573460}
    33583461
    3359 @article{Hesselink17,
     3462@article{Hesselink17b,
    33603463    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    33613464    title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
    3362     author      = {Peter Buhr and David Dice and Wim H. Hesselink},
     3465    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
    33633466    journal     = ccpe,
    3364     volumeopt   = 30,
    3365     numberopt   = 4,
     3467    volume      = 30,
     3468    number      = 18,
    33663469    year        = 2018,
    3367     month       = may,
     3470    month       = sep,
    33683471    publisher   = {John Wiley \& Sons},
    3369     note        = {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
     3472    note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
    33703473}
    33713474
    … …  
    35053608    publisher   = {ACM Press},
    35063609    address     = {New York, NY, USA},
     3610}
     3611
     3612@article{Galler64,
     3613    keywords    = {union-find, original},
     3614    contributer = {a3moss@uwaterloo.ca},
     3615    title       = {An improved equivalence algorithm},
     3616    author      = {Galler, Bernard A and Fisher, Michael J},
     3617    journal     = {Communications of the ACM},
     3618    volume      = {7},
     3619    number      = {5},
     3620    pages       = {301--303},
     3621    year        = {1964},
     3622    publisher   = {ACM}
    35073623}
    35083624
    … …  
    38463962% K
    38473963
     3964@inproceedings{Buhr96b,
     3965    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
     3966    title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
     3967    booktitle   = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools},
     3968    publisher   = {ACM Press},
     3969    address     = {Philadelphia, Pennsylvania, U.S.A.},
     3970    month       = may,
     3971    year        = 1996,
     3972    pages       = {80-87},
     3973}
     3974
    38483975@article{Duggan96,
    38493976    keywords    = {concurrency, critical section},
    38503977    contributer = {pabuhr@plg},
    3851     author      = {Dominic Duggan and G. V. Cormack and John Ophel},
     3978    author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
    38523979    title       = {Kinded Type Inference for Parametric Overloading},
    38533980    journal     = acta,
    … …  
    40844211    month       = sep,
    40854212    year        = 2006,
    4086     note        = {\textsf{http://cs.anu.edu.au/\-\char`\~Robin.Garner/\-mmtk-guide.pdf}},
     4213    note        = {\textsf{http://cs.anu.edu.au/\-$\sim$Robin.Garner/\-mmtk-guide.pdf}},
    40874214}
    40884215
    … …  
    41884315    month       = sep,
    41894316    year        = 1994,
    4190     note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-uSystem/\-uSystem.ps.gz}}},
     4317    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uSystem.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/\-uSystem.pdf}},
    41914318}
    41924319
    … …  
    45324659
    45334660% N
     4661
     4662@techreport{Drepper03,
     4663    keywords    = {NPTL, threading, 1:1 model},
     4664    contributer = {pabuhr@plg},
     4665    author      = {Ulrich Drepper and Ingo Molnar},
     4666    title       = {The Native POSIX Thread Library for Linux},
     4667    institution = {Red Hat},
     4668    year        = 2003,
     4669    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}},
     4670}
    45344671
    45354672@article{Haddon77,
    … …  
    46584795}
    46594796
     4797@misc{nginx,
     4798    key         = {nginx},
     4799    author      = {{NGINX}},
     4800    howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}},
     4801}
     4802
    46604803@article{Herlihy05,
    46614804    keywords    = {Multiprocessors, concurrent data structures, dynamic data structures, memory management, nonblocking synchronization},
    … …  
    47144857    year        = 1995,
    47154858    number      = 31,
    4716     note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-\char`\~schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
     4859    note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-$\sim$schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
    47174860}
    47184861
    … …  
    47684911@misc{obj-c-book,
    47694912    keywords    = {objective-c},
    4770     contributor = {a3moss@uwaterloo.ca},
     4913    contributor = {pabuhr@plg},
    47714914    key         = {Objective-C},
    4772     title       = {Objective-C},
     4915    author      = {Objective-C},
    47734916    publisher   = {Apple Inc.},
    4774     year        = 2015,
    4775     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}},
     4917    year        = 2014,
     4918    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
    47764919    optnote     = {Accessed: 2018-03}
    47774920}
    … …  
    47834926    title       = {{X}code 7 Release Notes},
    47844927    year        = 2015,
    4785     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}},
     4928    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}},
    47864929    optnote     = {Accessed: 2017-04}
    47874930}
    … …  
    52835426}
    52845427
     5428@misc{perf,
     5429    contributer = {pabuhr@plg},
     5430    key         = {perf},
     5431    author      = {perf},
     5432    howpublished= {\href{https://perf.wiki.kernel.org/index.php/Tutorial}{https://\-perf.wiki.kernel.org/\-index.php/\-Tutorial}},
     5433}
     5434
     5435@misc{Verch12,
     5436    contributer = {pabuhr@plg},
     5437    author      = {Shaun Verch},
     5438    title       = {Performance Analysis of 64-Bit Capriccio},
     5439    month       = may,
     5440    year        = 2012,
     5441    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
     5442    optnote     = {Accessed: 2013-10-4}
     5443}
     5444
    52855445@article{Anderson90,
    52865446    keywords    = {spin locks, back off, performance},
    … …  
    52945454    number      = 1,
    52955455    pages       = {6-16},
     5456}
     5457
     5458@inproceedings{Conchon07,
     5459    keywords    = {persistent array, union-find},
     5460    contributer = {a3moss@uwaterloo.ca},
     5461    title       = {A persistent union-find data structure},
     5462    author      = {Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
     5463    booktitle   = {Proceedings of the 2007 workshop on Workshop on ML},
     5464    pages       = {37--46},
     5465    year        = {2007},
     5466    organization= {ACM}
    52965467}
    52975468
    … …  
    55035674    note        = {Proceedings of the OOPSLA'89 Conference, Oct. 1--6, 1989, New Orleans, Lousiana},
    55045675    abstract    = {},
     5676}
     5677
     5678@inproceedings{Buhr98,
     5679    keywords    = {profiling, monitoring, visualization},
     5680    contributer = {pabuhr@plg},
     5681    author      = {Peter A. Buhr and Robert Denda},
     5682    title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
     5683    booktitle   = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments},
     5684    series      = {Lecture Notes in Computer Science},
     5685    publisher   = {Springer-Verlag},
     5686    volume      = 1505,
     5687    opteditor   = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn},
     5688    address     = {Santa Fe, New Mexico, U.S.A.},
     5689    month       = dec,
     5690    year        = 1998,
     5691    pages       = {159-166},
    55055692}
    55065693
    … …  
    58556042    keywords    = {Cyclone, existential types, polymorphism, type variables},
    58566043    contributer = {a3moss@plg},
    5857     author      = {D. Grossman},
     6044    author      = {Dan Grossman},
    58586045    title       = {Quantified Types in an Imperative Language},
    58596046    journal     = toplas,
    … …  
    58656052    issn        = {0164-0925},
    58666053    pages       = {429-475},
    5867     url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     6054    url         = {http://doi.acm.org/10.1145/1133651.1133653},
    58686055    doi         = {10.1145/1133651.1133653},
    58696056    acmid       = {1133653},
    … …  
    59646151}
    59656152
     6153@article{Ronsse03,
     6154    keywords    = {profiling, replay},
     6155    contributer = {pabuhr@plg},
     6156    author      = {Michiel Ronsse and De Bosschere, Koen and Mark Christiaens and Jacques Chassin de Kergommeaux and Dieter Kranzlm\"{u}ller},
     6157    title       = {Record/Replay for Nondeterministic Program Executions},
     6158    journal     = cacm,
     6159    month       = sep,
     6160    year        = 2003,
     6161    volume      = 46,
     6162    number      = 9,
     6163    pages       = {62-67},
     6164}
     6165
    59666166@article{Robinson48,
    59676167    keywords    = {recursion, Ackermann function},
    … …  
    60026202}
    60036203
     6204@mastersthesis{Schuster99,
     6205    author      = {Oliver Schuster},
     6206    title       = {Replay of Concurrent Shared-Memory Programs},
     6207    school      = {Universit\"at Mannheim},
     6208    address     = {Mannheim, Deutschland},
     6209    year        = 1999,
     6210    month       = apr,
     6211    type        = {Diplomarbeit},
     6212    note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/SchusterThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-SchusterThesis.pdf}},
     6213}
     6214
    60046215@article{Euclid,
    60056216    keywords    = {Euclid},
    … …  
    60336244    school      = {School of Computer Science, University of Waterloo},
    60346245    year        = 2017,
    6035     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     6246    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    60366247    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
    60376248}
    … …  
    61086319    contributer = {pabuhr@plg},
    61096320    key         = {Rust},
    6110     title       = {The {R}ust Programming Language},
    6111     address     = {The Rust Project Developers},
     6321    title       = {{R}ust Programming Language},
     6322    optaddress  = {Rust Project Developers},
    61126323    year        = 2015,
    61136324    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    61756386    publisher   = {Springer},
    61766387    note        = {Lecture Notes in Computer Science v. 173},
     6388}
     6389
     6390@article{Baker78,
     6391    keywords    = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
     6392    contributer = {a3moss@uwaterloo.ca},
     6393    author      = {Baker,Jr., Henry G.},
     6394    title       = {Shallow Binding in Lisp 1.5},
     6395    journal     = {Commun. ACM},
     6396    issue_date  = {July 1978},
     6397    volume      = 21,
     6398    number      = 7,
     6399    month       = jul,
     6400    year        = 1978,
     6401    issn        = {0001-0782},
     6402    pages       = {565--569},
     6403    numpages    = {5},
     6404    url         = {http://doi.acm.org/10.1145/359545.359566},
     6405    doi         = {10.1145/359545.359566},
     6406    acmid       = {359566},
     6407    publisher   = {ACM},
     6408    address     = {New York, NY, USA}
     6409}
     6410
     6411@article{Baker91,
     6412    keywords    = {shallow binding, functional arrays},
     6413    contributer = {a3moss@uwaterloo.ca},
     6414    author      = {Baker, Henry G.},
     6415    title       = {Shallow Binding Makes Functional Arrays Fast},
     6416    journal     = {SIGPLAN Not.},
     6417    issue_date  = {Aug. 1991},
     6418    volume      = 26,
     6419    number      = 8,
     6420    month       = aug,
     6421    year        = 1991,
     6422    issn        = {0362-1340},
     6423    pages       = {145--147},
     6424    numpages    = {3},
     6425    url         = {http://doi.acm.org/10.1145/122598.122614},
     6426    doi         = {10.1145/122598.122614},
     6427    acmid       = {122614},
     6428    publisher   = {ACM},
     6429    address     = {New York, NY, USA},
    61776430}
    61786431
    … …  
    68607113    contributer = {pabuhr@plg},
    68617114    key         = {TIOBE Index},
    6862     title       = {{TIOBE} Index},
     7115    author      = {{TIOBE Index}},
    68637116    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    68647117    optnote     = {Accessed: 2018-09},
    … …  
    70007253    year        = 1980
    70017254}
     7255
     7256@misc{TraceCompass,
     7257    contributer = {pabuhr@plg},
     7258    key         = {Trace Compass},
     7259    author      = {{T}race {C}ompass},
     7260    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
     7261}
    70027262 
    70037263@article{Leroy00,
    … …  
    71357395    title       = {Usability Challenges in Exception Handling},
    71367396    booktitle   = {5th International Workshop on Exception Handling (WEH)},
    7137     organization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     7397    optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
    71387398    address     = {Zurich, Switzerland},
    71397399    month       = jun,
    … …  
    72797539}
    72807540
     7541@inproceedings{vonBehren03,
     7542    keywords    = {threads, events, web server},
     7543    contributer = {pabuhr@plg},
     7544    author      = {Rob von Behren and Jeremy Condit and Eric Brewer},
     7545    title       = {Why Events Are a Bad Idea (for high-concurrency servers)},
     7546    booktitle   = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems},
     7547    publisher   = {USENIX Association},
     7548    address     = {Lihue, Hawaii, U.S.A.},
     7549    month       = may,
     7550    year        = 2003,
     7551    pages       = {19-24},
     7552}
     7553
    72817554@techreport{Moss90,
    72827555    keywords    = {Swizzling, database},
    … …  
    73237596}
    73247597
     7598@article{Tarjan84,
     7599    keywords    = {union-find},
     7600    contributer = {a3moss@uwaterloo.ca},
     7601    author      = {Tarjan, Robert E. and van Leeuwen, Jan},
     7602    title       = {Worst-case Analysis of Set Union Algorithms},
     7603    journal     = {J. ACM},
     7604    issue_date  = {April 1984},
     7605    volume      = 31,
     7606    number      = 2,
     7607    month       = mar,
     7608    year        = 1984,
     7609    issn        = {0004-5411},
     7610    pages       = {245--281},
     7611    numpages    = {37},
     7612    url         = {http://doi.acm.org/10.1145/62.2160},
     7613    doi         = {10.1145/62.2160},
     7614    acmid       = {2160},
     7615    publisher   = {ACM},
     7616    address     = {New York, NY, USA},
     7617}
     7618
    73257619% X
    73267620
    … …  
    73437637    year        = 1986,
    73447638    editor      = {Norman Meyrowitz},
    7345     publisher   = sigplan # " 21(11)",
     7639    publisher   = sigplan,
    73467640    organization= {Association for Computing Machinery},
    73477641    address     = {Portland, Oregon},
    7348     month       = sep # { 29}
     7642    month       = sep,
    73497643}
    73507644
    … …  
    73557649    year        = 1987,
    73567650    editor      = {Norman Meyrowitz},
    7357     publisher   = sigplan # " 22(12)",
     7651    publisher   = sigplan,
    73587652    organization= {Association for Computing Machinery},
    73597653    address     = {Orlando, Florida},
    7360     month       = oct # { 4--8}
     7654    month       = oct,
    73617655}
    73627656
    … …  
    73677661    year        = 1988,
    73687662    editor      = {Norman Meyrowitz},
    7369     publisher   = sigplan # " 23(11)",
     7663    publisher   = sigplan,
    73707664    organization= {Association for Computing Machinery},
    73717665    address     = {San Diego, California},
    7372     month       = sep # { 25--30}
     7666    month       = sep,
    73737667}
    73747668
    … …  
    73797673    year        = 1989,
    73807674    editor      = {Norman Meyrowitz},
    7381     publisher   = sigplan # " 24(10)",
     7675    publisher   = sigplan,
    73827676    organization= {Association for Computing Machinery},
    73837677    address     = {New Orleans, Louisiana},
    7384     month       = oct # { 1--6}
     7678    month       = oct,
    73857679}
    73867680
    … …  
    73917685    year        = 1990,
    73927686    editor      = {Norman Meyrowitz},
    7393     publisher   = sigplan # " 25(10)",
     7687    publisher   = sigplan,
    73947688    organization= {Association for Computing Machinery},
    73957689    address     = {Ottawa, Canada},
    7396     month       = oct # { 21--25}
     7690    month       = oct,
    73977691}
    73987692
    … …  
    74037697    year        = 1991,
    74047698    editor      = {Andreas Paepcke},
    7405     publisher   = sigplan # " 26(11)",
     7699    publisher   = sigplan,
    74067700    organization= {Association for Computing Machinery},
    74077701    address     = {Phoenix, Arizona},
    7408     month       = oct # { 6--11}
    7409 }
     7702    month       = oct,
     7703}
Note: See TracChangeset for help on using the changeset viewer.