Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r2185df1 r5346dce  
    2121%  toplas: ACM Trans. on Prog. Lang. & Sys.
    2222%  tcs: Theoretical Computer Science
    23 
    24 string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    25 @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    26 string{ieeese="IEEE Transactions on Software Engineering"}
    27 @string{ieeese="IEEE Trans. Softw. Eng."}
    28 string{spe="Software---\-Practice and Experience"}
    29 @string{spe="Softw. Pract. Exper."}
    30 string{ccpe="Concurrency and Computation: Practice and Experience"}
    31 @string{ccpe="Concurrency Comput.: Pract. Exper."}
    32 string{sigplan="SIGPLAN Notices"}
    33 @string{sigplan="SIGPLAN Not."}
    34 string{joop="Journal of Object-Oriented Programming"}
    35 @string{joop="J. of Object-Oriented Program."}
     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."}
    3635@string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
    3736@string{osr="Operating Systems Review"}
    3837@string{pldi="Programming Language Design and Implementation"}
    3938@string{toplas="Transactions on Programming Languages and Systems"}
    40 string{mathann="Mathematische Annalen"}
    41 @string{mathann="Math. Ann."}
     39@string{mathann="Mathematische Annalen"}
     40% @string{mathann="Math. Ann."}
    4241
    4342% A
    … …  
    567566}
    568567
    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 
    580568@article{Kessels82,
    581569    keywords    = {concurrency, critical section},
    … …  
    665653    author      = {Joung, Yuh-Jzer},
    666654    title       = {Asynchronous group mutual exclusion},
    667     journal     = {Dist. Comput.},
    668     optjournal  = {Distributed Computing},
     655    journal     = {Distributed Computing},
    669656    year        = {2000},
    670657    month       = {Nov},
    … …  
    713700
    714701% 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 }
    729702
    730703@incollection{beta:old,
    … …  
    809782        time computable inheritance hierarchy.
    810783    },
    811     comment     = {
     784    comment = {
    812785        Classes are predicates; if object {\tt o} is in class {\tt C}, then
    813786        {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
    … …  
    843816    month       = oct,
    844817    type        = {Diplomarbeit},
    845     note        = {\href{https://plg.uwaterloo.ca/~usystem/theses/KrischerThesis.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-theses/\-KrischerThesis.pdf}},
     818    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-KrischerThesis.ps.gz}}},
    846819}
    847820
    … …  
    935908
    936909@misc{Cforall,
    937     contributer = {pabuhr@plg},
    938910    key         = {Cforall},
    939     author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
    940     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-features}},
     911    title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     912    howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
    941913    optnote     = {Accessed: 2018-01-01},
    942914}
    … …  
    954926
    955927@misc{CFAStackEvaluation,
    956     contributer = {a3moss@plg},
    957928    author      = {Aaron Moss},
    958929    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
    … …  
    963934
    964935@article{Moss18,
    965     keywords    = {type systems, polymorphism, tuples, Cforall},
     936    keywords    = {concurrency, C++},
    966937    contributer = {pabuhr@plg},
    967938    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    968939    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     940    year        = 2018,
    969941    journal     = spe,
    970     volume      = 48,
    971     number      = 12,
    972     month       = dec,
    973     year        = 2018,
    974     pages       = {2111-2146},
    975     note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
     942    note        = {Accepted, to appear},
    976943}
    977944
    … …  
    995962    comment     = {
    996963        The evidence given is thin.
    997     },
     964        }
    998965}
    999966
    … …  
    1005972    journal     = {Dr. Dobb's Journal of Software Tools},
    1006973    year        = 1989,
    1007     month       = feb,
    1008     volume      = 14,
    1009     number      = 2,
    1010     pages       = {45-51},
     974    month       = feb, volume = 14, number = 2, pages = {45-51},
    1011975    comment     = {
    1012976       A light-weight multitasking kernel for MS-DOS.  A task\_control
    … …  
    11201084    month       = oct,
    11211085    year        = 2001,
    1122     note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-cfa.ps}},
     1086    note        = {\href{http://plg.uwaterloo.ca/~cforall/cfa.ps}{http://\-plg.uwaterloo.ca/\-\char`\~cforall/\-cfa.ps}},
    11231087}
    11241088
    … …  
    14521416}
    14531417
    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 
    14641418@incollection{Reppy93,
    14651419    keywords    = {ML, concurrency, continuation passing},
    … …  
    15261480}
    15271481
    1528 @manual{uC++,
     1482@techreport{uC++,
    15291483    keywords    = {C++, concurrency, light-weight process, shared memory},
    15301484    contributer = {pabuhr@plg},
    1531     key         = {uC++},
    15321485    author      = {Peter A. Buhr},
    15331486    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    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}},
     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}},
    15381492}
    15391493
    … …  
    16021556}
    16031557
    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 
    16131558@book{Andrews91:book,
    16141559    keywords    = {concurrency},
    … …  
    16351580
    16361581@mastersthesis{Delisle18,
    1637     keywords    = {concurrency, Cforall},
    1638     contributer = {pabuhr@plg},
    1639     author      = {Thierry Delisle},
     1582    author      = {Thierry Delisle },
    16401583    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    16411584    school      = {School of Computer Science, University of Waterloo},
    16421585    year        = 2018,
    1643     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     1586    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    16441587    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},
    16561588}
    16571589
    … …  
    18281760    author      = {Glen Ditchfield},
    18291761    title       = {Conversions for \textsf{C}$\mathbf{\forall}$},
    1830     note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-$\sim$cforall/\-Conversions/\-index.html}},
     1762    note        = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}},
    18311763    month       = {Nov},
    18321764    year        = {2002},
    … …  
    18951827    key         = {Peter Buhr},
    18961828    title       = {CS343},
    1897     year        = 2018,
    1898     howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-$\sim$cs343}},
     1829    year        = 2017,
     1830    howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
    18991831}
    19001832
    … …  
    19551887    note        = {Svensk Standard SS 63 61 14},
    19561888    year        = 1987,
    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},
     1889    abstract    = {
     1890        Standard for the programming language SIMULA.  Written in English.
     1891    }
    19711892}
    19721893
    … …  
    21082029    year        = {1998},
    21092030    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}
    21202031}
    21212032
    … …  
    29202831}
    29212832
    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 
    29362833% F
    29372834
    … …  
    29672864    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    29682865    title       = {Fast mutual exclusion by the {T}riangle algorithm},
    2969     author      = {Wim H. Hesselink and Peter A. Buhr and David Dice},
     2866    author      = {Wim H. Hesselink and Peter Buhr and David Dice},
    29702867    journal     = ccpe,
    29712868    volume      = 30,
    … …  
    29742871    month       = feb,
    29752872    publisher   = {John Wiley \& Sons},
    2976     note        = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}}
     2873    note        = {\url{https://doi.org/10.1002/cpe.4183}}
    29772874}
    29782875
    … …  
    32773174    keywords    = {Go programming language},
    32783175    contributer = {pabuhr@plg},
     3176    title       = {{Go} Programming Language},
    32793177    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    3280     title       = {{Go} Programming Language},
    32813178    organization= {Google},
    32823179    year        = 2009,
    … …  
    33863283    edition     = {{S}imon {M}arlow},
    33873284    year        = 2010,
    3388     note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}},
     3285    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
    33893286}
    33903287
    … …  
    34603357}
    34613358
    3462 @article{Hesselink17b,
     3359@article{Hesselink17,
    34633360    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    34643361    title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
    3465     author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
     3362    author      = {Peter Buhr and David Dice and Wim H. Hesselink},
    34663363    journal     = ccpe,
    3467     volume      = 30,
    3468     number      = 18,
     3364    volumeopt   = 30,
     3365    numberopt   = 4,
    34693366    year        = 2018,
    3470     month       = sep,
     3367    month       = may,
    34713368    publisher   = {John Wiley \& Sons},
    3472     note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
     3369    note        = {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
    34733370}
    34743371
    … …  
    36083505    publisher   = {ACM Press},
    36093506    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}
    36233507}
    36243508
    … …  
    39623846% K
    39633847
    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 
    39753848@article{Duggan96,
    39763849    keywords    = {concurrency, critical section},
    39773850    contributer = {pabuhr@plg},
    3978     author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
     3851    author      = {Dominic Duggan and G. V. Cormack and John Ophel},
    39793852    title       = {Kinded Type Inference for Parametric Overloading},
    39803853    journal     = acta,
    … …  
    42114084    month       = sep,
    42124085    year        = 2006,
    4213     note        = {\textsf{http://cs.anu.edu.au/\-$\sim$Robin.Garner/\-mmtk-guide.pdf}},
     4086    note        = {\textsf{http://cs.anu.edu.au/\-\char`\~Robin.Garner/\-mmtk-guide.pdf}},
    42144087}
    42154088
    … …  
    43154188    month       = sep,
    43164189    year        = 1994,
    4317     note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uSystem.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/\-uSystem.pdf}},
     4190    note        = {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-uSystem/\-uSystem.ps.gz}}},
    43184191}
    43194192
    … …  
    46594532
    46604533% 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 }
    46714534
    46724535@article{Haddon77,
    … …  
    47954658}
    47964659
    4797 @misc{nginx,
    4798     key         = {nginx},
    4799     author      = {{NGINX}},
    4800     howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}},
    4801 }
    4802 
    48034660@article{Herlihy05,
    48044661    keywords    = {Multiprocessors, concurrent data structures, dynamic data structures, memory management, nonblocking synchronization},
    … …  
    48574714    year        = 1995,
    48584715    number      = 31,
    4859     note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-$\sim$schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
     4716    note        = {{\small\textsf{http://\-www.cs.wustl.edu/\-\char`\~schmidt/\-PDF/\-IPC\_SAP-92.pdf}}},
    48604717}
    48614718
    … …  
    49114768@misc{obj-c-book,
    49124769    keywords    = {objective-c},
    4913     contributor = {pabuhr@plg},
     4770    contributor = {a3moss@uwaterloo.ca},
    49144771    key         = {Objective-C},
    4915     author      = {Objective-C},
     4772    title       = {Objective-C},
    49164773    publisher   = {Apple Inc.},
    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}},
     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}},
    49194776    optnote     = {Accessed: 2018-03}
    49204777}
    … …  
    49264783    title       = {{X}code 7 Release Notes},
    49274784    year        = 2015,
    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}},
     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}},
    49294786    optnote     = {Accessed: 2017-04}
    49304787}
    … …  
    54265283}
    54275284
    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 
    54455285@article{Anderson90,
    54465286    keywords    = {spin locks, back off, performance},
    … …  
    54545294    number      = 1,
    54555295    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}
    54675296}
    54685297
    … …  
    56745503    note        = {Proceedings of the OOPSLA'89 Conference, Oct. 1--6, 1989, New Orleans, Lousiana},
    56755504    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},
    56925505}
    56935506
    … …  
    60425855    keywords    = {Cyclone, existential types, polymorphism, type variables},
    60435856    contributer = {a3moss@plg},
    6044     author      = {Dan Grossman},
     5857    author      = {D. Grossman},
    60455858    title       = {Quantified Types in an Imperative Language},
    60465859    journal     = toplas,
    … …  
    60525865    issn        = {0164-0925},
    60535866    pages       = {429-475},
    6054     url         = {http://doi.acm.org/10.1145/1133651.1133653},
     5867    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    60555868    doi         = {10.1145/1133651.1133653},
    60565869    acmid       = {1133653},
    … …  
    61515964}
    61525965
    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 
    61665966@article{Robinson48,
    61675967    keywords    = {recursion, Ackermann function},
    … …  
    62026002}
    62036003
    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 
    62156004@article{Euclid,
    62166005    keywords    = {Euclid},
    … …  
    62446033    school      = {School of Computer Science, University of Waterloo},
    62456034    year        = 2017,
    6246     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     6035    address     = {Waterloo, Ontario, Canada, N2L 3G1},
    62476036    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
    62486037}
    … …  
    63196108    contributer = {pabuhr@plg},
    63206109    key         = {Rust},
    6321     title       = {{R}ust Programming Language},
    6322     optaddress  = {Rust Project Developers},
     6110    title       = {The {R}ust Programming Language},
     6111    address     = {The Rust Project Developers},
    63236112    year        = 2015,
    63246113    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    63866175    publisher   = {Springer},
    63876176    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},
    64306177}
    64316178
    … …  
    71136860    contributer = {pabuhr@plg},
    71146861    key         = {TIOBE Index},
    7115     author      = {{TIOBE Index}},
     6862    title       = {{TIOBE} Index},
    71166863    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    71176864    optnote     = {Accessed: 2018-09},
    … …  
    72537000    year        = 1980
    72547001}
    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 }
    72627002 
    72637003@article{Leroy00,
    … …  
    73957135    title       = {Usability Challenges in Exception Handling},
    73967136    booktitle   = {5th International Workshop on Exception Handling (WEH)},
    7397     optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     7137    organization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
    73987138    address     = {Zurich, Switzerland},
    73997139    month       = jun,
    … …  
    75397279}
    75407280
    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 
    75547281@techreport{Moss90,
    75557282    keywords    = {Swizzling, database},
    … …  
    75967323}
    75977324
    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 
    76197325% X
    76207326
    … …  
    76377343    year        = 1986,
    76387344    editor      = {Norman Meyrowitz},
    7639     publisher   = sigplan,
     7345    publisher   = sigplan # " 21(11)",
    76407346    organization= {Association for Computing Machinery},
    76417347    address     = {Portland, Oregon},
    7642     month       = sep,
     7348    month       = sep # { 29}
    76437349}
    76447350
    … …  
    76497355    year        = 1987,
    76507356    editor      = {Norman Meyrowitz},
    7651     publisher   = sigplan,
     7357    publisher   = sigplan # " 22(12)",
    76527358    organization= {Association for Computing Machinery},
    76537359    address     = {Orlando, Florida},
    7654     month       = oct,
     7360    month       = oct # { 4--8}
    76557361}
    76567362
    … …  
    76617367    year        = 1988,
    76627368    editor      = {Norman Meyrowitz},
    7663     publisher   = sigplan,
     7369    publisher   = sigplan # " 23(11)",
    76647370    organization= {Association for Computing Machinery},
    76657371    address     = {San Diego, California},
    7666     month       = sep,
     7372    month       = sep # { 25--30}
    76677373}
    76687374
    … …  
    76737379    year        = 1989,
    76747380    editor      = {Norman Meyrowitz},
    7675     publisher   = sigplan,
     7381    publisher   = sigplan # " 24(10)",
    76767382    organization= {Association for Computing Machinery},
    76777383    address     = {New Orleans, Louisiana},
    7678     month       = oct,
     7384    month       = oct # { 1--6}
    76797385}
    76807386
    … …  
    76857391    year        = 1990,
    76867392    editor      = {Norman Meyrowitz},
    7687     publisher   = sigplan,
     7393    publisher   = sigplan # " 25(10)",
    76887394    organization= {Association for Computing Machinery},
    76897395    address     = {Ottawa, Canada},
    7690     month       = oct,
     7396    month       = oct # { 21--25}
    76917397}
    76927398
    … …  
    76977403    year        = 1991,
    76987404    editor      = {Andreas Paepcke},
    7699     publisher   = sigplan,
     7405    publisher   = sigplan # " 26(11)",
    77007406    organization= {Association for Computing Machinery},
    77017407    address     = {Phoenix, Arizona},
    7702     month       = oct,
    7703 }
     7408    month       = oct # { 6--11}
     7409}
Note: See TracChangeset for help on using the changeset viewer.