Changeset 6d44da1 for doc/bibliography/pl.bib
- Timestamp:
- Sep 25, 2018, 11:35:34 AM (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:
- c6bbcdb
- Parents:
- 341bb80 (diff), 7428ad9 (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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r341bb80 r6d44da1 701 701 % B 702 702 703 @article{Michael13, 704 contributer = {pabuhr@plg}, 705 author = {Maged M. Michael}, 706 title = {The Balancing Act of Choosing Nonblocking Features}, 707 journal = cacm, 708 volume = 56, 709 number = 9, 710 month = sep, 711 year = 2013, 712 pages = {46--53}, 713 publisher = {ACM}, 714 address = {New York, NY, USA}, 715 } 716 703 717 @incollection{beta:old, 704 718 keywords = {beta, patterns, virtual types}, … … 908 922 909 923 @misc{Cforall, 924 contributer = {pabuhr@plg}, 910 925 key = {Cforall}, 911 title = {\textsf{C}{$\mathbf{\forall}$} Features},912 howpublished= {\ url{https://plg.uwaterloo.ca/~cforall/features}},926 author = {{\textsf{C}{$\mathbf{\forall}$} Features}}, 927 howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-~cforall/\-features}}, 913 928 optnote = {Accessed: 2018-01-01}, 914 929 } … … 926 941 927 942 @misc{CFAStackEvaluation, 943 contributer = {a3moss@plg}, 928 944 author = {Aaron Moss}, 929 945 title = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs}, 930 946 year = 2018, 931 howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{ \textcolor{blue}{Q4: https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}}},947 howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}}, 932 948 optnote = {[Accessed May 2018]}, 933 949 } 934 950 935 951 @article{Moss18, 936 keywords = { concurrency, C++},952 keywords = {type systems, tuples, Cforall}, 937 953 contributer = {pabuhr@plg}, 938 954 author = {Aaron Moss and Robert Schluntz and Peter A. Buhr}, 939 955 title = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C}, 940 956 year = 2018, 957 month = aug, 941 958 journal = spe, 942 note = { Accepted, to appear},959 note = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}}, 943 960 } 944 961 … … 962 979 comment = { 963 980 The evidence given is thin. 964 } 981 }, 965 982 } 966 983 … … 1416 1433 } 1417 1434 1435 @misc{NThreadCode13, 1436 keywords = {N-thread software-solution mutual exclusion}, 1437 contributer = {pabuhr@plg}, 1438 key = {concurrent locking}, 1439 author = {Peter A. Buhr and David Dice and Wim H. Hesselink}, 1440 title = {concurrent-locking}, 1441 howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}}, 1442 optnote = {[Accessed April 2017]}, 1443 } 1444 1418 1445 @incollection{Reppy93, 1419 1446 keywords = {ML, concurrency, continuation passing}, … … 1489 1516 month = dec, 1490 1517 year = 2017, 1491 note = {\href{http ://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-7.0.0.sh}{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-7.0.0.sh}},1518 note = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-~usystem/\-pub/\-uSystem/uC++.pdf}}, 1492 1519 } 1493 1520 … … 1556 1583 } 1557 1584 1585 @mastersthesis{Sun15, 1586 author = {Sun, Xianda}, 1587 title = {Concurrent High-performance Persistent Hash Table In {J}ava}, 1588 school = {School of Computer Science, University of Waterloo}, 1589 year = 2015, 1590 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 1591 note = {\href{https://uwspace.uwaterloo.ca/handle/10012/10013}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-10013}}, 1592 } 1593 1558 1594 @book{Andrews91:book, 1559 1595 keywords = {concurrency}, … … 1580 1616 1581 1617 @mastersthesis{Delisle18, 1582 author = {Thierry Delisle }, 1618 keywords = {concurrency, Cforall}, 1619 contributer = {pabuhr@plg}, 1620 author = {Thierry Delisle}, 1583 1621 title = {Concurrency in \textsf{C}$\mathbf{\forall}$}, 1584 1622 school = {School of Computer Science, University of Waterloo}, 1585 1623 year = 2018, 1586 address = {Waterloo, Ontario, Canada, N2L 3G1},1624 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 1587 1625 note = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}}, 1626 } 1627 1628 @article{Delisle18b, 1629 keywords = {concurrency, Cforall}, 1630 contributer = {pabuhr@plg}, 1631 author = {Thierry Delisle and Peter A. Buhr}, 1632 title = {Concurrency in \textsf{C}$\mathbf{\forall}$}, 1633 year = 2018, 1634 journal = spe, 1635 pages = {1-32}, 1636 note = {submitted}, 1588 1637 } 1589 1638 … … 1827 1876 key = {Peter Buhr}, 1828 1877 title = {CS343}, 1829 year = 201 7,1878 year = 2018, 1830 1879 howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}}, 1831 1880 } … … 2864 2913 keywords = {concurrency, mutual exclusion, performance experiment, software solutions}, 2865 2914 title = {Fast mutual exclusion by the {T}riangle algorithm}, 2866 author = {Wim H. Hesselink and Peter Buhr and David Dice},2915 author = {Wim H. Hesselink and Peter A. Buhr and David Dice}, 2867 2916 journal = ccpe, 2868 2917 volume = 30, … … 2871 2920 month = feb, 2872 2921 publisher = {John Wiley \& Sons}, 2873 note = {\ url{https://doi.org/10.1002/cpe.4183}}2922 note = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}} 2874 2923 } 2875 2924 … … 3283 3332 edition = {{S}imon {M}arlow}, 3284 3333 year = 2010, 3285 note = {\href{https://haskell.org/definition/haskell2010.pdf}{https:// haskell.org/\-definition/\-haskell2010.pdf}},3334 note = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}}, 3286 3335 } 3287 3336 … … 3357 3406 } 3358 3407 3359 @article{Hesselink17 ,3408 @article{Hesselink17b, 3360 3409 keywords = {concurrency, mutual exclusion, performance experiment, software solutions}, 3361 3410 title = {High-Contention Mutual Exclusion by Elevator Algorithms}, 3362 author = {Peter Buhr and David Dice and Wim H. Hesselink},3411 author = {Peter A. Buhr and David Dice and Wim H. Hesselink}, 3363 3412 journal = ccpe, 3364 volume opt= 30,3365 number opt = 4,3413 volume = 30, 3414 number = 18, 3366 3415 year = 2018, 3367 month = may,3416 month = sep, 3368 3417 publisher = {John Wiley \& Sons}, 3369 note = {\ url{https://doi-org.proxy.lib.uwaterloo.ca/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}}, 3370 3419 } 3371 3420 … … 3846 3895 % K 3847 3896 3897 @inproceedings{Buhr96b, 3898 author = {Peter A. Buhr and Martin Karsten and Jun Shih}, 3899 title = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications}, 3900 booktitle = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools}, 3901 publisher = {ACM Press}, 3902 address = {Philadelphia, Pennsylvania, U.S.A.}, 3903 month = may, 3904 year = 1996, 3905 pages = {80-87}, 3906 } 3907 3848 3908 @article{Duggan96, 3849 3909 keywords = {concurrency, critical section}, 3850 3910 contributer = {pabuhr@plg}, 3851 author = {Dominic Duggan and G .V. Cormack and John Ophel},3911 author = {Dominic Duggan and Gordon V. Cormack and John Ophel}, 3852 3912 title = {Kinded Type Inference for Parametric Overloading}, 3853 3913 journal = acta, … … 4533 4593 % N 4534 4594 4595 @techreport{Drepper03, 4596 keywords = {NPTL, threading, 1:1 model}, 4597 contributer = {pabuhr@plg}, 4598 author = {Ulrich Drepper and Ingo Molnar}, 4599 title = {The Native POSIX Thread Library for Linux}, 4600 institution = {Red Hat}, 4601 year = 2003, 4602 note = {\href{http://www.cs.utexas.edu/~witchel/372/lectures/POSIX_Linux_Threading.pdf}{http://www.cs.utexas.edu/\-$\sim$witchel/\-372/\-lectures/\-POSIX\_Linux\_Threading.pdf}}, 4603 } 4604 4535 4605 @article{Haddon77, 4536 4606 keywords = {monitors, nested monitor calls}, … … 4656 4726 volume = 9, 4657 4727 pages = {157-164}, 4728 } 4729 4730 @misc{nginx, 4731 key = {nginx}, 4732 author = {{NGINX}}, 4733 howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}}, 4658 4734 } 4659 4735 … … 4768 4844 @misc{obj-c-book, 4769 4845 keywords = {objective-c}, 4770 contributor = { a3moss@uwaterloo.ca},4846 contributor = {pabuhr@plg}, 4771 4847 key = {Objective-C}, 4772 title= {Objective-C},4848 author = {Objective-C}, 4773 4849 publisher = {Apple Inc.}, 4774 year = 201 5,4775 howpublished= {\href{https://developer.apple.com/library/ content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},4850 year = 2014, 4851 howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}}, 4776 4852 optnote = {Accessed: 2018-03} 4777 4853 } … … 4783 4859 title = {{X}code 7 Release Notes}, 4784 4860 year = 2015, 4785 howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https:// developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},4861 howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://\-developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}}, 4786 4862 optnote = {Accessed: 2017-04} 4787 4863 } … … 5283 5359 } 5284 5360 5361 @misc{perf, 5362 contributer = {pabuhr@plg}, 5363 key = {perf}, 5364 author = {perf}, 5365 howpublished= {\href{https://perf.wiki.kernel.org/index.php/Tutorial}{https://\-perf.wiki.kernel.org/\-index.php/\-Tutorial}}, 5366 } 5367 5368 @misc{Verch12, 5369 contributer = {pabuhr@plg}, 5370 author = {Shaun Verch}, 5371 title = {Performance Analysis of 64-Bit Capriccio}, 5372 month = may, 5373 year = 2012, 5374 howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}}, 5375 optnote = {Accessed: 2013-10-4} 5376 } 5377 5285 5378 @article{Anderson90, 5286 5379 keywords = {spin locks, back off, performance}, … … 5503 5596 note = {Proceedings of the OOPSLA'89 Conference, Oct. 1--6, 1989, New Orleans, Lousiana}, 5504 5597 abstract = {}, 5598 } 5599 5600 @inproceedings{Buhr98, 5601 keywords = {profiling, monitoring, visualization}, 5602 contributer = {pabuhr@plg}, 5603 author = {Peter A. Buhr and Robert Denda}, 5604 title = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment}, 5605 booktitle = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)}, 5606 series = {Lecture Notes in Computer Science}, 5607 publisher = {Springer-Verlag}, 5608 volume = 1505, 5609 opteditor = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn}, 5610 address = {Santa Fe, New Mexico, U.S.A.}, 5611 month = dec, 5612 year = 1998, 5613 pages = {159-166}, 5505 5614 } 5506 5615 … … 5855 5964 keywords = {Cyclone, existential types, polymorphism, type variables}, 5856 5965 contributer = {a3moss@plg}, 5857 author = {D .Grossman},5966 author = {Dan Grossman}, 5858 5967 title = {Quantified Types in an Imperative Language}, 5859 5968 journal = toplas, … … 5964 6073 } 5965 6074 6075 @article{Ronsse03, 6076 keywords = {profiling, replay}, 6077 contributer = {pabuhr@plg}, 6078 author = {Michiel Ronsse and De Bosschere, Koen and Mark Christiaens and Jacques Chassin de Kergommeaux and Dieter Kranzlm\"{u}ller}, 6079 title = {Record/Replay for Nondeterministic Program Executions}, 6080 journal = cacm, 6081 month = sep, 6082 year = 2003, 6083 volume = 46, 6084 number = 9, 6085 pages = {62-67}, 6086 } 6087 5966 6088 @article{Robinson48, 5967 6089 keywords = {recursion, Ackermann function}, … … 6002 6124 } 6003 6125 6126 @mastersthesis{Schuster99, 6127 author = {Oliver Schuster}, 6128 title = {Replay of Concurrent Shared-Memory Programs}, 6129 school = {Universit\"at Mannheim}, 6130 address = {Mannheim, Deutschland}, 6131 year = 1999, 6132 month = apr, 6133 type = {Diplomarbeit}, 6134 note = {\href{ftp://plg.uwaterloo.ca/pub/theses/SchusterThesis.ps.gz}{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-SchusterThesis.ps.gz}}, 6135 } 6136 6004 6137 @article{Euclid, 6005 6138 keywords = {Euclid}, … … 6033 6166 school = {School of Computer Science, University of Waterloo}, 6034 6167 year = 2017, 6035 address = {Waterloo, Ontario, Canada, N2L 3G1},6168 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 6036 6169 note = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}}, 6037 6170 } … … 6860 6993 contributer = {pabuhr@plg}, 6861 6994 key = {TIOBE Index}, 6862 title = {{TIOBE} Index},6995 author = {{TIOBE Index}}, 6863 6996 howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}}, 6864 6997 optnote = {Accessed: 2018-09}, … … 7000 7133 year = 1980 7001 7134 } 7135 7136 @misc{TraceCompass, 7137 contributer = {pabuhr@plg}, 7138 key = {Trace Compass}, 7139 author = {{T}race {C}ompass}, 7140 howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}}, 7141 } 7002 7142 7003 7143 @article{Leroy00, … … 7135 7275 title = {Usability Challenges in Exception Handling}, 7136 7276 booktitle = {5th International Workshop on Exception Handling (WEH)}, 7137 o rganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},7277 optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)}, 7138 7278 address = {Zurich, Switzerland}, 7139 7279 month = jun, … … 7279 7419 } 7280 7420 7421 @inproceedings{vonBehren03, 7422 keywords = {threads, events, web server}, 7423 contributer = {pabuhr@plg}, 7424 author = {Rob von Behren and Jeremy Condit and Eric Brewer}, 7425 title = {Why Events Are a Bad Idea (for high-concurrency servers)}, 7426 booktitle = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems}, 7427 publisher = {USENIX Association}, 7428 address = {Lihue, Hawaii, U.S.A.}, 7429 month = may, 7430 year = 2003, 7431 pages = {19-24}, 7432 } 7433 7281 7434 @techreport{Moss90, 7282 7435 keywords = {Swizzling, database}, … … 7343 7496 year = 1986, 7344 7497 editor = {Norman Meyrowitz}, 7345 publisher = sigplan # " 21(11)",7498 publisher = sigplan, 7346 7499 organization= {Association for Computing Machinery}, 7347 7500 address = {Portland, Oregon}, 7348 month = sep # { 29}7501 month = sep, 7349 7502 } 7350 7503 … … 7355 7508 year = 1987, 7356 7509 editor = {Norman Meyrowitz}, 7357 publisher = sigplan # " 22(12)",7510 publisher = sigplan, 7358 7511 organization= {Association for Computing Machinery}, 7359 7512 address = {Orlando, Florida}, 7360 month = oct # { 4--8}7513 month = oct, 7361 7514 } 7362 7515 … … 7367 7520 year = 1988, 7368 7521 editor = {Norman Meyrowitz}, 7369 publisher = sigplan # " 23(11)",7522 publisher = sigplan, 7370 7523 organization= {Association for Computing Machinery}, 7371 7524 address = {San Diego, California}, 7372 month = sep # { 25--30}7525 month = sep, 7373 7526 } 7374 7527 … … 7379 7532 year = 1989, 7380 7533 editor = {Norman Meyrowitz}, 7381 publisher = sigplan # " 24(10)",7534 publisher = sigplan, 7382 7535 organization= {Association for Computing Machinery}, 7383 7536 address = {New Orleans, Louisiana}, 7384 month = oct # { 1--6}7537 month = oct, 7385 7538 } 7386 7539 … … 7391 7544 year = 1990, 7392 7545 editor = {Norman Meyrowitz}, 7393 publisher = sigplan # " 25(10)",7546 publisher = sigplan, 7394 7547 organization= {Association for Computing Machinery}, 7395 7548 address = {Ottawa, Canada}, 7396 month = oct # { 21--25}7549 month = oct, 7397 7550 } 7398 7551 … … 7403 7556 year = 1991, 7404 7557 editor = {Andreas Paepcke}, 7405 publisher = sigplan # " 26(11)",7558 publisher = sigplan, 7406 7559 organization= {Association for Computing Machinery}, 7407 7560 address = {Phoenix, Arizona}, 7408 month = oct # { 6--11}7409 } 7561 month = oct, 7562 }
Note: See TracChangeset
for help on using the changeset viewer.