- Timestamp:
- Nov 7, 2018, 1:30:30 PM (6 years ago)
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
rdc8511c r2185df1 21 21 % toplas: ACM Trans. on Prog. Lang. & Sys. 22 22 % 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 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."} 35 36 @string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"} 36 37 @string{osr="Operating Systems Review"} 37 38 @string{pldi="Programming Language Design and Implementation"} 38 39 @string{toplas="Transactions on Programming Languages and Systems"} 39 @string{mathann="Mathematische Annalen"}40 %@string{mathann="Math. Ann."}40 string{mathann="Mathematische Annalen"} 41 @string{mathann="Math. Ann."} 41 42 42 43 % A … … 566 567 } 567 568 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 568 580 @article{Kessels82, 569 581 keywords = {concurrency, critical section}, … … 653 665 author = {Joung, Yuh-Jzer}, 654 666 title = {Asynchronous group mutual exclusion}, 655 journal = {Distributed Computing}, 667 journal = {Dist. Comput.}, 668 optjournal = {Distributed Computing}, 656 669 year = {2000}, 657 670 month = {Nov}, … … 796 809 time computable inheritance hierarchy. 797 810 }, 798 comment 811 comment = { 799 812 Classes are predicates; if object {\tt o} is in class {\tt C}, then 800 813 {\tt C} is true of {\tt o}. Classes are combined with {\tt :AND}, … … 950 963 951 964 @article{Moss18, 952 keywords = {type systems, tuples, Cforall},965 keywords = {type systems, polymorphism, tuples, Cforall}, 953 966 contributer = {pabuhr@plg}, 954 967 author = {Aaron Moss and Robert Schluntz and Peter A. Buhr}, 955 968 title = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C}, 969 journal = spe, 970 volume = 48, 971 number = 12, 972 month = dec, 956 973 year = 2018, 957 month = aug, 958 journal = spe, 974 pages = {2111-2146}, 959 975 note = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}}, 960 976 } … … 989 1005 journal = {Dr. Dobb's Journal of Software Tools}, 990 1006 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}, 992 1011 comment = { 993 1012 A light-weight multitasking kernel for MS-DOS. A task\_control … … 1507 1526 } 1508 1527 1509 @ techreport{uC++,1528 @manual{uC++, 1510 1529 keywords = {C++, concurrency, light-weight process, shared memory}, 1511 1530 contributer = {pabuhr@plg}, 1531 key = {uC++}, 1512 1532 author = {Peter A. Buhr}, 1513 1533 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, 1518 1537 note = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}}, 1519 1538 } … … 1586 1605 author = {Sun, Xianda}, 1587 1606 title = {Concurrent High-performance Persistent Hash Table In {J}ava}, 1588 school = {School of Computer Sc ience, University of Waterloo},1607 school = {School of Computer Sc., University of Waterloo}, 1589 1608 year = 2015, 1590 1609 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, … … 1936 1955 note = {Svensk Standard SS 63 61 14}, 1937 1956 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.} 1941 1958 } 1942 1959 1943 1960 @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}, 1954 1971 } 1955 1972 … … 2094 2111 2095 2112 @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} 2103 2120 } 2104 2121 … … 2900 2917 month = oct, 2901 2918 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} 2917 2934 } 2918 2935 … … 3260 3277 keywords = {Go programming language}, 3261 3278 contributer = {pabuhr@plg}, 3279 author = {Robert Griesemer and Rob Pike and Ken Thompson}, 3262 3280 title = {{Go} Programming Language}, 3263 author = {Robert Griesemer and Rob Pike and Ken Thompson},3264 3281 organization= {Google}, 3265 3282 year = 2009, … … 3453 3470 month = sep, 3454 3471 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}}, 3456 3473 } 3457 3474 … … 3594 3611 3595 3612 @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} 3606 3623 } 3607 3624 … … 3948 3965 author = {Peter A. Buhr and Martin Karsten and Jun Shih}, 3949 3966 title = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications}, 3950 booktitle = {Proc eedings of SPDT'96: SIGMETRICS Symposiumon Parallel and Distributed Tools},3967 booktitle = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools}, 3951 3968 publisher = {ACM Press}, 3952 3969 address = {Philadelphia, Pennsylvania, U.S.A.}, … … 5440 5457 5441 5458 @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} 5450 5467 } 5451 5468 … … 5664 5681 author = {Peter A. Buhr and Robert Denda}, 5665 5682 title = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment}, 5666 booktitle = {Proc eedings 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}, 5667 5684 series = {Lecture Notes in Computer Science}, 5668 5685 publisher = {Springer-Verlag}, … … 6035 6052 issn = {0164-0925}, 6036 6053 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}, 6038 6055 doi = {10.1145/1133651.1133653}, 6039 6056 acmid = {1133653}, … … 6302 6319 contributer = {pabuhr@plg}, 6303 6320 key = {Rust}, 6304 title = { The{R}ust Programming Language},6305 address = {TheRust Project Developers},6321 title = {{R}ust Programming Language}, 6322 optaddress = {Rust Project Developers}, 6306 6323 year = 2015, 6307 6324 note = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}}, … … 6372 6389 6373 6390 @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} 6392 6409 } 6393 6410 6394 6411 @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}, 6413 6430 } 6414 6431 … … 7580 7597 7581 7598 @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}, 7600 7617 } 7601 7618
Note: See TracChangeset
for help on using the changeset viewer.