Changeset 95b8aa7 for doc/bibliography/pl.bib

Timestamp:

Jan 11, 2019, 3:36:48 PM (7 years ago)

Author:

Aaron Moss <a3moss@…>

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:

e1f7eef

Parents:

ff5caaf (diff), 52ffa30 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Pull fixes for deferred_resn from other branch

File:

• doc/bibliography/pl.bib (modified) (21 diffs)

doc/bibliography/pl.bib

@@ -21 +21 @@
 %  toplas: ACM Trans. on Prog. Lang. & Sys.
 %  tcs: Theoretical Computer Science
-@string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
-% @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
-@string{ieeese="IEEE Transactions on Software Engineering"}
-% @string{ieeese="IEEE Trans. Softw. Eng."}
-@string{spe="Software---\-Practice and Experience"}
-% @string{spe="Softw. Pract. Exp."}
-@string{ccpe="Concurrency and Computation: Practice and Experience"}
-% @string{ccpe="Concurrency Comput: Pract Experience"}
-@string{sigplan="SIGPLAN Notices"}
-% @string{sigplan="SIGPLAN Not."}
-@string{joop="Journal of Object-Oriented Programming"}
-% @string{joop="J. of Object-Oriented Program."}
+
+string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
+@string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
+string{ieeese="IEEE Transactions on Software Engineering"}
+@string{ieeese="IEEE Trans. Softw. Eng."}
+string{spe="Software---\-Practice and Experience"}
+@string{spe="Softw. Pract. Exper."}
+string{ccpe="Concurrency and Computation: Practice and Experience"}
+@string{ccpe="Concurrency Comput.: Pract. Exper."}
+string{sigplan="SIGPLAN Notices"}
+@string{sigplan="SIGPLAN Not."}
+string{joop="Journal of Object-Oriented Programming"}
+@string{joop="J. of Object-Oriented Program."}
 @string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"}
 @string{osr="Operating Systems Review"}
 @string{pldi="Programming Language Design and Implementation"}
 @string{toplas="Transactions on Programming Languages and Systems"}
-@string{mathann="Mathematische Annalen"}
-% @string{mathann="Math. Ann."}
+string{mathann="Mathematische Annalen"}
+@string{mathann="Math. Ann."}
 
 % A
@@ -566 +567 @@
 }
 
+@inproceedings {Qin18,
+    author      = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout},
+    title       = {Arachne: Core-Aware Thread Management},
+    booktitle   = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
+    year        = {2018},
+    address     = {Carlsbad, CA},
+    pages       = {145-160},
+    publisher   = {{USENIX} Association},
+    note        = {\href{https://www.usenix.org/conference/osdi18/presentation/qin}{https://\-www.usenix.org/\-conference/\-osdi18/\-presentation/\-qin}},
+}
+
 @article{Kessels82,
     keywords    = {concurrency, critical section},
@@ -653 +665 @@
     author      = {Joung, Yuh-Jzer},
     title       = {Asynchronous group mutual exclusion},
-    journal     = {Distributed Computing},
+    journal     = {Dist. Comput.},
+    optjournal  = {Distributed Computing},
     year        = {2000},
     month       = {Nov},
@@ -796 +809 @@
         time computable inheritance hierarchy.
     },
-    comment = {
+    comment     = {
         Classes are predicates; if object {\tt o} is in class {\tt C}, then
         {\tt C} is true of {\tt o}.  Classes are combined with {\tt :AND},
@@ -950 +963 @@
 
 @article{Moss18,
-    keywords    = {type systems, tuples, Cforall},
+    keywords    = {type systems, polymorphism, tuples, Cforall},
     contributer = {pabuhr@plg},
     author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
+    journal     = spe,
+    volume      = 48,
+    number      = 12,
+    month       = dec,
     year        = 2018,
-    month       = aug,
-    journal     = spe,
+    pages       = {2111-2146},
     note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
 }
@@ -989 +1005 @@
     journal     = {Dr. Dobb's Journal of Software Tools},
     year        = 1989,
-    month       = feb, volume = 14, number = 2, pages = {45-51},
+    month       = feb,
+    volume      = 14,
+    number      = 2,
+    pages       = {45-51},
     comment     = {
        A light-weight multitasking kernel for MS-DOS.  A task\_control
@@ -1507 +1526 @@
 }
 
-@techreport{uC++,
+@manual{uC++,
     keywords    = {C++, concurrency, light-weight process, shared memory},
     contributer = {pabuhr@plg},
+    key         = {uC++},
     author      = {Peter A. Buhr},
     title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
-    institution = {School of Computer Science, University of Waterloo},
-    address     = {Waterloo, Ontario, Canada, N2L 3G1},
-    month       = dec,
-    year        = 2017,
+    organization= {University of Waterloo},
+    month       = sep,
+    year        = 2018,
     note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
 }
@@ -1586 +1605 @@
     author      = {Sun, Xianda},
     title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
-    school      = {School of Computer Science, University of Waterloo},
+    school      = {School of Computer Sc., University of Waterloo},
     year        = 2015,
     optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
@@ -1936 +1955 @@
     note        = {Svensk Standard SS 63 61 14},
     year        = 1987,
-    abstract    = {
-        Standard for the programming language SIMULA.  Written in English.
-    }
+    abstract    = {Standard for the programming language SIMULA. Written in English.}
+}
+
+@article{Galil91,
+    keywords    = {union-find},
+    contributer = {a3moss@uwaterloo.ca},
+    title       = {Data structures and algorithms for disjoint set union problems},
+    author      = {Galil, Zvi and Italiano, Giuseppe F},
+    journal     = {ACM Computing Surveys (CSUR)},
+    volume      = 23,
+    number      = 3,
+    pages       = {319--344},
+    year        = 1991,
+    publisher   = {ACM},
 }
 
@@ -2078 +2108 @@
     year        = {1998},
     pages       = {393-407},
+}
+
+@book{Aho74,
+    keywords    = {algorithms, textbook, union-find},
+    contributer = {a3moss@uwaterloo.ca},
+    title       = {The Design and Analysis of Computer Algorithms},
+    author      = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},
+    year        = {1974},
+    publisher   = {Addison-Wesley},
+    address     = {Reading, MA, USA}
 }
 
@@ -2880 +2920 @@
 }
 
+@inproceedings{Patwary10,
+    keywords    = {union-find},
+    contributer = {a3moss@uwaterloo.ca},
+    author      = {Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},
+    editor      = {Festa, Paola},
+    title       = {Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},
+    booktitle   = {Experimental Algorithms},
+    year        = 2010,
+    publisher   = {Springer Berlin Heidelberg},
+    address     = {Berlin, Heidelberg},
+    pages       = {411--423},
+    isbn        = {978-3-642-13193-6}
+}
+
 % F
 
@@ -3223 +3277 @@
     keywords    = {Go programming language},
     contributer = {pabuhr@plg},
+    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
     title       = {{Go} Programming Language},
-    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
     organization= {Google},
     year        = 2009,
@@ -3416 +3470 @@
     month       = sep,
     publisher   = {John Wiley \& Sons},
-    note        = {\href{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{https://\-doi-org.proxy.lib.uwaterloo.ca/\-10.1002/\-cpe.4475}},
+    note        = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}},
 }
 
@@ -3554 +3608 @@
     publisher   = {ACM Press},
     address     = {New York, NY, USA},
+}
+
+@article{Galler64,
+    keywords    = {union-find, original},
+    contributer = {a3moss@uwaterloo.ca},
+    title       = {An improved equivalence algorithm},
+    author      = {Galler, Bernard A and Fisher, Michael J},
+    journal     = {Communications of the ACM},
+    volume      = {7},
+    number      = {5},
+    pages       = {301--303},
+    year        = {1964},
+    publisher   = {ACM}
 }
 
@@ -3898 +3965 @@
     author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
     title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
-    booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
+    booktitle   = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools},
     publisher   = {ACM Press},
     address     = {Philadelphia, Pennsylvania, U.S.A.},
@@ -5389 +5456 @@
 }
 
+@inproceedings{Conchon07,
+    keywords    = {persistent array, union-find},
+    contributer = {a3moss@uwaterloo.ca},
+    title       = {A persistent union-find data structure},
+    author      = {Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},
+    booktitle   = {Proceedings of the 2007 workshop on Workshop on ML},
+    pages       = {37--46},
+    year        = {2007},
+    organization= {ACM}
+}
+
 @article{poly,
     keywords    = {Poly, Standard ML, Russell, persistence},
@@ -5603 +5681 @@
     author      = {Peter A. Buhr and Robert Denda},
     title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
-    booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
+    booktitle   = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments},
     series      = {Lecture Notes in Computer Science},
     publisher   = {Springer-Verlag},
@@ -5974 +6052 @@
     issn        = {0164-0925},
     pages       = {429-475},
-    url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
+    url         = {http://doi.acm.org/10.1145/1133651.1133653},
     doi         = {10.1145/1133651.1133653},
     acmid       = {1133653},
@@ -6241 +6319 @@
     contributer = {pabuhr@plg},
     key         = {Rust},
-    title       = {The {R}ust Programming Language},
-    address     = {The Rust Project Developers},
+    title       = {{R}ust Programming Language},
+    optaddress  = {Rust Project Developers},
     year        = 2015,
     note        = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}},
@@ -6308 +6386 @@
     publisher   = {Springer},
     note        = {Lecture Notes in Computer Science v. 173},
+}
+
+@article{Baker78,
+    keywords    = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},
+    contributer = {a3moss@uwaterloo.ca},
+    author      = {Baker,Jr., Henry G.},
+    title       = {Shallow Binding in Lisp 1.5},
+    journal     = {Commun. ACM},
+    issue_date  = {July 1978},
+    volume      = 21,
+    number      = 7,
+    month       = jul,
+    year        = 1978,
+    issn        = {0001-0782},
+    pages       = {565--569},
+    numpages    = {5},
+    url         = {http://doi.acm.org/10.1145/359545.359566},
+    doi         = {10.1145/359545.359566},
+    acmid       = {359566},
+    publisher   = {ACM},
+    address     = {New York, NY, USA}
+}
+
+@article{Baker91,
+    keywords    = {shallow binding, functional arrays},
+    contributer = {a3moss@uwaterloo.ca},
+    author      = {Baker, Henry G.},
+    title       = {Shallow Binding Makes Functional Arrays Fast},
+    journal     = {SIGPLAN Not.},
+    issue_date  = {Aug. 1991},
+    volume      = 26,
+    number      = 8,
+    month       = aug,
+    year        = 1991,
+    issn        = {0362-1340},
+    pages       = {145--147},
+    numpages    = {3},
+    url         = {http://doi.acm.org/10.1145/122598.122614},
+    doi         = {10.1145/122598.122614},
+    acmid       = {122614},
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
 }
 
@@ -7476 +7596 @@
 }
 
+@article{Tarjan84,
+    keywords    = {union-find},
+    contributer = {a3moss@uwaterloo.ca},
+    author      = {Tarjan, Robert E. and van Leeuwen, Jan},
+    title       = {Worst-case Analysis of Set Union Algorithms},
+    journal     = {J. ACM},
+    issue_date  = {April 1984},
+    volume      = 31,
+    number      = 2,
+    month       = mar,
+    year        = 1984,
+    issn        = {0004-5411},
+    pages       = {245--281},
+    numpages    = {37},
+    url         = {http://doi.acm.org/10.1145/62.2160},
+    doi         = {10.1145/62.2160},
+    acmid       = {2160},
+    publisher   = {ACM},
+    address     = {New York, NY, USA},
+} 
+
 % X