Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r2185df1 r57b0b1f  
    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},
    … …  
    809796        time computable inheritance hierarchy.
    810797    },
    811     comment     = {
     798    comment = {
    812799        Classes are predicates; if object {\tt o} is in class {\tt C}, then
    813800        {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
    … …  
    963950
    964951@article{Moss18,
    965     keywords    = {type systems, polymorphism, tuples, Cforall},
     952    keywords    = {type systems, tuples, Cforall},
    966953    contributer = {pabuhr@plg},
    967954    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    968955    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     956    year        = 2018,
     957    month       = aug,
    969958    journal     = spe,
    970     volume      = 48,
    971     number      = 12,
    972     month       = dec,
    973     year        = 2018,
    974     pages       = {2111-2146},
    975959    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    976960}
    … …  
    1005989    journal     = {Dr. Dobb's Journal of Software Tools},
    1006990    year        = 1989,
    1007     month       = feb,
    1008     volume      = 14,
    1009     number      = 2,
    1010     pages       = {45-51},
     991    month       = feb, volume = 14, number = 2, pages = {45-51},
    1011992    comment     = {
    1012993       A light-weight multitasking kernel for MS-DOS.  A task\_control
    … …  
    15261507}
    15271508
    1528 @manual{uC++,
     1509@techreport{uC++,
    15291510    keywords    = {C++, concurrency, light-weight process, shared memory},
    15301511    contributer = {pabuhr@plg},
    1531     key         = {uC++},
    15321512    author      = {Peter A. Buhr},
    15331513    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,
     1514    institution = {School of Computer Science, University of Waterloo},
     1515    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1516    month       = dec,
     1517    year        = 2017,
    15371518    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
    15381519}
    … …  
    16051586    author      = {Sun, Xianda},
    16061587    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
    1607     school      = {School of Computer Sc., University of Waterloo},
     1588    school      = {School of Computer Science, University of Waterloo},
    16081589    year        = 2015,
    16091590    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    … …  
    19551936    note        = {Svensk Standard SS 63 61 14},
    19561937    year        = 1987,
    1957     abstract    = {Standard for the programming language SIMULA. Written in English.}
     1938    abstract    = {
     1939        Standard for the programming language SIMULA.  Written in English.
     1940    }
    19581941}
    19591942
    19601943@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},
     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}
    19711954}
    19721955
    … …  
    21112094
    21122095@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}
     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}
    21202103}
    21212104
    … …  
    29172900    month       = oct,
    29182901    year        = 1988,
    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}
     2902    pages       = {143--149}
     2903}
     2904
     2905@InProceedings{Patwary10,
     2906keywords = {union-find},
     2907contributer = {a3moss@uwaterloo.ca},
     2908author={Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
     2909editor={Festa, Paola},
     2910title={Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
     2911booktitle={Experimental Algorithms},
     2912year=2010,
     2913publisher={Springer Berlin Heidelberg},
     2914address={Berlin, Heidelberg},
     2915pages={411--423},
     2916isbn={978-3-642-13193-6}
    29342917}
    29352918
    … …  
    32773260    keywords    = {Go programming language},
    32783261    contributer = {pabuhr@plg},
     3262    title       = {{Go} Programming Language},
    32793263    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    3280     title       = {{Go} Programming Language},
    32813264    organization= {Google},
    32823265    year        = 2009,
    … …  
    34703453    month       = sep,
    34713454    publisher   = {John Wiley \& Sons},
    3472     note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
     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}},
    34733456}
    34743457
    … …  
    36113594
    36123595@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}
     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}
    36233606}
    36243607
    … …  
    39653948    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
    39663949    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},
     3950    booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
    39683951    publisher   = {ACM Press},
    39693952    address     = {Philadelphia, Pennsylvania, U.S.A.},
    … …  
    54575440
    54585441@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}
     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}
    54675450}
    54685451
    … …  
    56815664    author      = {Peter A. Buhr and Robert Denda},
    56825665    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},
     5666    booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
    56845667    series      = {Lecture Notes in Computer Science},
    56855668    publisher   = {Springer-Verlag},
    … …  
    60526035    issn        = {0164-0925},
    60536036    pages       = {429-475},
    6054     url         = {http://doi.acm.org/10.1145/1133651.1133653},
     6037    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    60556038    doi         = {10.1145/1133651.1133653},
    60566039    acmid       = {1133653},
    … …  
    63196302    contributer = {pabuhr@plg},
    63206303    key         = {Rust},
    6321     title       = {{R}ust Programming Language},
    6322     optaddress  = {Rust Project Developers},
     6304    title       = {The {R}ust Programming Language},
     6305    address     = {The Rust Project Developers},
    63236306    year        = 2015,
    63246307    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    63896372
    63906373@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}
     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}
    64096392}
    64106393
    64116394@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},
     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},
    64306413}
    64316414
    … …  
    75977580
    75987581@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},
     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},
    76177600}
    76187601
Note: See TracChangeset for help on using the changeset viewer.