Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r2185df1 r9805dd0  
    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.}
    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},
     1938    abstract    = {
     1939        Standard for the programming language SIMULA.  Written in English.
     1940    }
    19711941}
    19721942
    … …  
    21082078    year        = {1998},
    21092079    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}
    21202080}
    21212081
    … …  
    29202880}
    29212881
    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 
    29362882% F
    29372883
    … …  
    32773223    keywords    = {Go programming language},
    32783224    contributer = {pabuhr@plg},
     3225    title       = {{Go} Programming Language},
    32793226    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    3280     title       = {{Go} Programming Language},
    32813227    organization= {Google},
    32823228    year        = 2009,
    … …  
    34703416    month       = sep,
    34713417    publisher   = {John Wiley \& Sons},
    3472     note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
     3418    note        = {\href{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{https://\-doi-org.proxy.lib.uwaterloo.ca/\-10.1002/\-cpe.4475}},
    34733419}
    34743420
    … …  
    36083554    publisher   = {ACM Press},
    36093555    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}
    36233556}
    36243557
    … …  
    39653898    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
    39663899    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},
     3900    booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
    39683901    publisher   = {ACM Press},
    39693902    address     = {Philadelphia, Pennsylvania, U.S.A.},
    … …  
    54565389}
    54575390
    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}
    5467 }
    5468 
    54695391@article{poly,
    54705392    keywords    = {Poly, Standard ML, Russell, persistence},
    … …  
    56815603    author      = {Peter A. Buhr and Robert Denda},
    56825604    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},
     5605    booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
    56845606    series      = {Lecture Notes in Computer Science},
    56855607    publisher   = {Springer-Verlag},
    … …  
    60525974    issn        = {0164-0925},
    60535975    pages       = {429-475},
    6054     url         = {http://doi.acm.org/10.1145/1133651.1133653},
     5976    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
    60555977    doi         = {10.1145/1133651.1133653},
    60565978    acmid       = {1133653},
    … …  
    63196241    contributer = {pabuhr@plg},
    63206242    key         = {Rust},
    6321     title       = {{R}ust Programming Language},
    6322     optaddress  = {Rust Project Developers},
     6243    title       = {The {R}ust Programming Language},
     6244    address     = {The Rust Project Developers},
    63236245    year        = 2015,
    63246246    note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
    … …  
    63866308    publisher   = {Springer},
    63876309    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},
    64306310}
    64316311
    … …  
    75967476}
    75977477
    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 
    76197478% X
    76207479
Note: See TracChangeset for help on using the changeset viewer.