Changeset 2185df1 for doc


Ignore:
Timestamp:
Nov 7, 2018, 1:30:30 PM (5 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum
Children:
909aebf
Parents:
dc8511c
Message:

formatting

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    rdc8511c 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},
     
    796809        time computable inheritance hierarchy.
    797810    },
    798     comment = {
     811    comment     = {
    799812        Classes are predicates; if object {\tt o} is in class {\tt C}, then
    800813        {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
     
    950963
    951964@article{Moss18,
    952     keywords    = {type systems, tuples, Cforall},
     965    keywords    = {type systems, polymorphism, tuples, Cforall},
    953966    contributer = {pabuhr@plg},
    954967    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    955968    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     969    journal     = spe,
     970    volume      = 48,
     971    number      = 12,
     972    month       = dec,
    956973    year        = 2018,
    957     month       = aug,
    958     journal     = spe,
     974    pages       = {2111-2146},
    959975    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    960976}
     
    9891005    journal     = {Dr. Dobb's Journal of Software Tools},
    9901006    year        = 1989,
    991     month       = feb, volume = 14, number = 2, pages = {45-51},
     1007    month       = feb,
     1008    volume      = 14,
     1009    number      = 2,
     1010    pages       = {45-51},
    9921011    comment     = {
    9931012       A light-weight multitasking kernel for MS-DOS.  A task\_control
     
    15071526}
    15081527
    1509 @techreport{uC++,
     1528@manual{uC++,
    15101529    keywords    = {C++, concurrency, light-weight process, shared memory},
    15111530    contributer = {pabuhr@plg},
     1531    key         = {uC++},
    15121532    author      = {Peter A. Buhr},
    15131533    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    1514     institution = {School of Computer Science, University of Waterloo},
    1515     address     = {Waterloo, Ontario, Canada, N2L 3G1},
    1516     month       = dec,
    1517     year        = 2017,
     1534    organization= {University of Waterloo},
     1535    month       = sep,
     1536    year        = 2018,
    15181537    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
    15191538}
     
    15861605    author      = {Sun, Xianda},
    15871606    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
    1588     school      = {School of Computer Science, University of Waterloo},
     1607    school      = {School of Computer Sc., University of Waterloo},
    15891608    year        = 2015,
    15901609    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     
    19361955    note        = {Svensk Standard SS 63 61 14},
    19371956    year        = 1987,
    1938     abstract    = {
    1939         Standard for the programming language SIMULA.  Written in English.
    1940     }
     1957    abstract    = {Standard for the programming language SIMULA. Written in English.}
    19411958}
    19421959
    19431960@article{Galil91,
    1944   keywords = {union-find},
    1945   contributer = {a3moss@uwaterloo.ca},
    1946   title={Data structures and algorithms for disjoint set union problems},
    1947   author={Galil, Zvi and Italiano, Giuseppe F},
    1948   journal={ACM Computing Surveys (CSUR)},
    1949   volume={23},
    1950   number={3},
    1951   pages={319--344},
    1952   year={1991},
    1953   publisher={ACM}
     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},
    19541971}
    19551972
     
    20942111
    20952112@book{Aho74,
    2096   keywords = {algorithms, textbook, union-find},
    2097   contributer = {a3moss@uwaterloo.ca},
    2098   title = {The Design and Analysis of Computer Algorithms},
    2099   author = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
    2100   year = {1974},
    2101   publisher = {Addison-Wesley},
    2102   address = {Reading, MA, USA}
     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}
    21032120}
    21042121
     
    29002917    month       = oct,
    29012918    year        = 1988,
    2902     pages       = {143--149}
    2903 }
    2904 
    2905 @InProceedings{Patwary10,
    2906 keywords = {union-find},
    2907 contributer = {a3moss@uwaterloo.ca},
    2908 author={Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
    2909 editor={Festa, Paola},
    2910 title={Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
    2911 booktitle={Experimental Algorithms},
    2912 year=2010,
    2913 publisher={Springer Berlin Heidelberg},
    2914 address={Berlin, Heidelberg},
    2915 pages={411--423},
    2916 isbn={978-3-642-13193-6}
     2919    pages       = {143-149}
     2920}
     2921
     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}
    29172934}
    29182935
     
    32603277    keywords    = {Go programming language},
    32613278    contributer = {pabuhr@plg},
     3279    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    32623280    title       = {{Go} Programming Language},
    3263     author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    32643281    organization= {Google},
    32653282    year        = 2009,
     
    34533470    month       = sep,
    34543471    publisher   = {John Wiley \& Sons},
    3455     note        = {\href{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{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}},
    34563473}
    34573474
     
    35943611
    35953612@article{Galler64,
    3596   keywords={union-find, original},
    3597   contributer={a3moss@uwaterloo.ca},
    3598   title={An improved equivalence algorithm},
    3599   author={Galler, Bernard A and Fisher, Michael J},
    3600   journal={Communications of the ACM},
    3601   volume={7},
    3602   number={5},
    3603   pages={301--303},
    3604   year={1964},
    3605   publisher={ACM}
     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}
    36063623}
    36073624
     
    39483965    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
    39493966    title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
    3950     booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
     3967    booktitle   = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools},
    39513968    publisher   = {ACM Press},
    39523969    address     = {Philadelphia, Pennsylvania, U.S.A.},
     
    54405457
    54415458@inproceedings{Conchon07,
    5442   keywords = {persistent array, union-find},
    5443   contributer = {a3moss@uwaterloo.ca},
    5444   title={A persistent union-find data structure},
    5445   author={Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
    5446   booktitle={Proceedings of the 2007 workshop on Workshop on ML},
    5447   pages={37--46},
    5448   year={2007},
    5449   organization={ACM}
     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}
    54505467}
    54515468
     
    56645681    author      = {Peter A. Buhr and Robert Denda},
    56655682    title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
    5666     booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
     5683    booktitle   = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments},
    56675684    series      = {Lecture Notes in Computer Science},
    56685685    publisher   = {Springer-Verlag},
     
    60356052    issn        = {0164-0925},
    60366053    pages       = {429-475},
    6037     url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     6054    url         = {http://doi.acm.org/10.1145/1133651.1133653},
    60386055    doi         = {10.1145/1133651.1133653},
    60396056    acmid       = {1133653},
     
    63026319    contributer = {pabuhr@plg},
    63036320    key         = {Rust},
    6304     title       = {The {R}ust Programming Language},
    6305     address     = {The Rust Project Developers},
     6321    title       = {{R}ust Programming Language},
     6322    optaddress  = {Rust Project Developers},
    63066323    year        = 2015,
    63076324    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
     
    63726389
    63736390@article{Baker78,
    6374  keywords = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
    6375  contributer = {a3moss@uwaterloo.ca},
    6376  author = {Baker,Jr., Henry G.},
    6377  title = {Shallow Binding in Lisp 1.5},
    6378  journal = {Commun. ACM},
    6379  issue_date = {July 1978},
    6380  volume = {21},
    6381  number = {7},
    6382  month = jul,
    6383  year = {1978},
    6384  issn = {0001-0782},
    6385  pages = {565--569},
    6386  numpages = {5},
    6387  url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/359545.359566},
    6388  doi = {10.1145/359545.359566},
    6389  acmid = {359566},
    6390  publisher = {ACM},
    6391  address = {New York, NY, USA}
     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}
    63926409}
    63936410
    63946411@article{Baker91,
    6395  keywords = {shallow binding, functional arrays},
    6396  contributer = {a3moss@uwaterloo.ca},
    6397  author = {Baker, Henry G.},
    6398  title = {Shallow Binding Makes Functional Arrays Fast},
    6399  journal = {SIGPLAN Not.},
    6400  issue_date = {Aug. 1991},
    6401  volume = {26},
    6402  number = {8},
    6403  month = aug,
    6404  year = {1991},
    6405  issn = {0362-1340},
    6406  pages = {145--147},
    6407  numpages = {3},
    6408  url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/122598.122614},
    6409  doi = {10.1145/122598.122614},
    6410  acmid = {122614},
    6411  publisher = {ACM},
    6412  address = {New York, NY, USA},
     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},
    64136430}
    64146431
     
    75807597
    75817598@article{Tarjan84,
    7582  keywords = {union-find},
    7583  contributer = {a3moss@uwaterloo.ca},
    7584  author = {Tarjan, Robert E. and van Leeuwen, Jan},
    7585  title = {Worst-case Analysis of Set Union Algorithms},
    7586  journal = {J. ACM},
    7587  issue_date = {April 1984},
    7588  volume = {31},
    7589  number = {2},
    7590  month = mar,
    7591  year = {1984},
    7592  issn = {0004-5411},
    7593  pages = {245--281},
    7594  numpages = {37},
    7595  url = {http://doi.acm.org/10.1145/62.2160},
    7596  doi = {10.1145/62.2160},
    7597  acmid = {2160},
    7598  publisher = {ACM},
    7599  address = {New York, NY, USA},
     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},
    76007617}
    76017618
Note: See TracChangeset for help on using the changeset viewer.