- Timestamp:
- Feb 6, 2020, 10:24:10 AM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- a573c22
- Parents:
- 2aab69b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r2aab69b rb0795be 9 9 % Predefined journal names: 10 10 % acmcs: Computing Surveys acta: Acta Infomatica 11 @string{acta="Acta Infomatica"}12 11 % cacm: Communications of the ACM 13 12 % ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal … … 22 21 % tcs: Theoretical Computer Science 23 22 23 @string{acta="Acta Infomatica"} 24 24 string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"} 25 25 @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."} … … 124 124 series = {ACM Distinguished Dissertations}, 125 125 year = 1983, 126 } 127 128 @article{Zhang19, 129 keywords = {Algebraic effects, dynamic scoping, exceptions, parametricity, type systems}, 130 author = {Zhang, Yizhou and Myers, Andrew C.}, 131 title = {Abstraction-safe Effect Handlers via Tunneling}, 132 journal = {Proc. ACM Program. Lang.}, 133 issue_date = {January 2019}, 134 volume = {3}, 135 number = {POPL}, 136 month = jan, 137 year = {2019}, 138 issn = {2475-1421}, 139 pages = {5:1--5:29}, 140 articleno = {5}, 141 publisher = {ACM}, 142 address = {New York, NY, USA}, 143 } 144 145 @inproceedings{Zhang16, 146 keywords = {Exception tunneling, Genus, exception handling}, 147 author = {Zhang, Yizhou and Salvaneschi, Guido and Beightol, Quinn and Liskov, Barbara and Myers, Andrew C.}, 148 title = {Accepting Blame for Safe Tunneled Exceptions}, 149 booktitle = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation}, 150 series = {PLDI'16}, 151 year = {2016}, 152 location = {Santa Barbara, CA, USA}, 153 pages = {281--295}, 154 publisher = {ACM}, 155 address = {New York, NY, USA}, 126 156 } 127 157 … … 398 428 journal = sigplan, 399 429 year = 1981, 400 month = feb, volume = 16, number = 2, pages = {48-52}, 430 month = feb, 431 volume = 16, 432 number = 2, 433 pages = {48-52}, 401 434 comment = { 402 435 A one-pass, top-down algorithm for overload resolution. Input is a … … 477 510 title = {An Alternative to Subclassing}, 478 511 journal = sigplan, 479 volume = {21}, number = {11}, 512 volume = {21}, 513 number = {11}, 480 514 pages = {424-428}, 481 month = nov, year = 1986, 515 month = nov, 516 year = 1986, 482 517 comment = { 483 518 The Smalltalk class hierarchy has three uses: factoring out code; … … 533 568 isbn = {3-540-66538-2}, 534 569 location = {Toulouse, France}, 535 doi = {http://doi.acm.org/10.1145/318773.319251},536 570 publisher = {Springer}, 537 571 address = {London, UK}, … … 631 665 year = 2010, 632 666 pages = {39--50}, 633 numpages = {12},634 667 publisher = {IEEE Computer Society}, 635 668 address = {Washington, DC, USA}, … … 922 955 } 923 956 957 @manual{C99, 958 keywords = {ISO/IEC C 9899}, 959 contributer = {pabuhr@plg}, 960 key = {C99}, 961 title = {C Programming Language {ISO/IEC} 9899:1999(E)}, 962 edition = {2nd}, 963 publisher = {International Standard Organization}, 964 address = {\href{https://webstore.ansi.org/Standards/INCITS/INCITSISOIEC98991999R2005}{https://webstore.ansi.org/\-Standards/\-INCITS/\-INCITSISOIEC98991999R2005}}, 965 year = 1999, 966 } 967 924 968 @manual{C11, 925 969 keywords = {ISO/IEC C 11}, … … 1305 1349 location = {London, United Kingdom}, 1306 1350 pages = {41--53}, 1307 numpages = {13},1308 url = {http://doi.acm.org/10.1145/360204.360207},1309 doi = {10.1145/360204.360207},1310 acmid = {360207},1311 1351 publisher = {ACM}, 1312 1352 address = {New York, NY, USA}, … … 2408 2448 year = 1993, 2409 2449 pages = {201--208}, 2410 url = {http://doi.acm.org/10.1145/155360.155580},2411 2450 publisher = {ACM}, 2412 2451 address = {New York, NY, USA}, … … 2606 2645 location = {Boulder, Colorado, USA}, 2607 2646 pages = {91--97}, 2608 numpages = {7},2609 2647 publisher = {ACM}, 2610 2648 address = {New York, NY, USA}, … … 2637 2675 issn = {0004-5411}, 2638 2676 pages = {215--225}, 2639 numpages = {11},2640 url = {http://doi.acm.org/10.1145/321879.321884},2641 doi = {10.1145/321879.321884},2642 acmid = {321884},2643 2677 publisher = {ACM}, 2644 2678 address = {New York, NY, USA}, … … 2708 2742 } 2709 2743 2744 @misc{Drepper13, 2745 keywords = {thread-local storage}, 2746 contributer = {pabuhr@plg}, 2747 author = {Ulrich Drepper}, 2748 title = {{ELF} Handling For Thread-Local Storage}, 2749 year = 2013, 2750 month = aug, 2751 note = {WikipediA}, 2752 howpublished= {\href{http://www.akkadia.org/drepper/tls.pdf} 2753 {http://\-www.akkadia.org/\-drepper/\-tls.pdf}}, 2754 } 2755 2710 2756 @misc{Turley99, 2711 2757 keywords = {embedded system, micrprocessor}, … … 2718 2764 howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712} 2719 2765 {https://\-www.eetimes.com/\-author.asp?sectionid=\-36&doc_id=1287712}}, 2766 } 2767 2768 @article{Xiao19, 2769 keywords = {bug classification, fault trigger, Linux operating system, regression bug}, 2770 contributer = {pabuhr@plg}, 2771 author = {Guanping Xiao and Zheng Zheng and Beibei Yin and Kishor S. Trivedi and Xiaoting Du and Kai-Yuan Cai}, 2772 title = {An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective}, 2773 journal = {IEEE Transactions on Reliability}, 2774 month = dec, 2775 year = 2019, 2776 volume = 68, 2777 number = 4, 2778 pages = {1356-1383}, 2720 2779 } 2721 2780 … … 3137 3196 } 3138 3197 3198 @inproceedings{Palix11, 3199 keywords = {Linux, fault-finding tools}, 3200 contributer = {pabuhr@plg}, 3201 author = {Nicolas Palix and Ga\"el Thomas and Suman Saha and Christophe Calv\`es and Julia Lawall and Gilles Muller}, 3202 title = {Faults in Linux: Ten Years Later}, 3203 booktitle = {Proc. of the 16 International Conf. on Arch. Support for Prog. Lang. and Oper. Sys.}, 3204 series = {ASPLOS'11}, 3205 month = mar, 3206 year = 2011, 3207 location = {Newport Beach, California, USA}, 3208 pages = {305-318}, 3209 publisher = {ACM}, 3210 address = {New York, NY, USA}, 3211 } 3212 3139 3213 @article{Lamport87, 3140 3214 keywords = {software solutions, mutual exclusion, fast}, … … 3258 3332 issn = {0001-0782}, 3259 3333 pages = {107--115}, 3260 numpages = {9},3261 url = {http://doi.acm.org/10.1145/1538788.1538814},3262 doi = {10.1145/1538788.1538814},3263 acmid = {1538814},3264 3334 publisher = {ACM}, 3265 3335 address = {New York, NY, USA}, … … 3664 3734 } 3665 3735 3736 @mastersthesis{Radhakrishnan19, 3737 author = {Srihari Radhakrishnan}, 3738 title = {High Performance Web Servers: A Study In Concurrent Programming Models}, 3739 school = {School of Computer Sc., University of Waterloo}, 3740 year = 2019, 3741 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 3742 note = {\href{https://uwspace.uwaterloo.ca/handle/10012/14706}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14706}}, 3743 } 3744 3666 3745 @article{katzenelson83b, 3667 3746 contributer = {gjditchfield@plg}, … … 3697 3776 pages = {115-138}, 3698 3777 year = 1971, 3778 } 3779 3780 @inproceedings{Hagersten03, 3781 keywords = {cache storage, parallel architectures, performance evaluation, shared memory systems}, 3782 author = {Zoran Radovi\'{c} and Erik Hagersten}, 3783 title = {Hierarchical backoff locks for nonuniform communication architectures}, 3784 booktitle = {Proceedings of the Ninth International Symposium on High-Performance Computer Architecture}, 3785 year = {2003}, 3786 location = {Anaheim, CA, USA}, 3787 pages = {241-252}, 3788 publisher = {IEEE}, 3699 3789 } 3700 3790 … … 4365 4455 } 4366 4456 4457 @misc{gccValueLabels, 4458 keywords = {gcc extension, value labels}, 4459 contributer = {pabuhr@plg}, 4460 key = {Labels as Values}, 4461 author = {{gcc Extension}}, 4462 title = {Labels as Values}, 4463 year = {since gcc-3}, 4464 howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html} 4465 {https:\-//gcc.gnu.org/\-onlinedocs/\-gcc/\-Labels-as-Values.html}}, 4466 } 4467 4367 4468 @mastersthesis{Clarke90, 4368 4469 keywords = {concurrency, postponing requests}, … … 4457 4558 4458 4559 @article{Pierce00, 4459 keywords = {Scala },4560 keywords = {Scala, polymorphism, subtyping, type inference}, 4460 4561 contributer = {a3moss@uwaterloo.ca}, 4461 4562 author = {Pierce, Benjamin C. and Turner, David N.}, … … 4469 4570 issn = {0164-0925}, 4470 4571 pages = {1--44}, 4471 numpages = {44},4472 url = {http://doi.acm.org/10.1145/345099.345100},4473 doi = {10.1145/345099.345100},4474 acmid = {345100},4475 4572 publisher = {ACM}, 4476 4573 address = {New York, NY, USA}, 4477 keywords = {polymorphism, subtyping, type inference},4478 4574 } 4575 4576 @article{Dice15, 4577 keywords = {Concurrency, NUMA, hierarchical locks, locks, multicore, mutex, mutual exclusion, spin locks}, 4578 author = {Dice, David and Marathe, Virendra J. and Shavit, Nir}, 4579 title = {Lock Cohorting: A General Technique for Designing NUMA Locks}, 4580 journal = {ACM Trans. Parallel Comput.}, 4581 issue_date = {January 2015}, 4582 volume = 1, 4583 number = 2, 4584 month = feb, 4585 year = 2015, 4586 pages = {13:1--13:42}, 4587 publisher = {ACM}, 4588 address = {New York, NY, USA}, 4589 } 4479 4590 4480 4591 @article{Sundell08, … … 4554 4665 journal = sigplan, 4555 4666 year = 1989, 4556 month = jun, volume = 24, number = 6, pages = {37-48}, 4667 month = jun, 4668 volume = 24, 4669 number = 6, 4670 pages = {37-48}, 4557 4671 abstract = { 4558 4672 This paper describes a scheme we have used to manage a large … … 4995 5109 year = 1986, 4996 5110 pages = {313--326}, 4997 numpages = {14},4998 5111 publisher = {ACM}, 4999 5112 address = {New York, NY, USA}, … … 5011 5124 year = 1986, 5012 5125 pages = {327--348}, 5013 numpages = {22},5014 5126 publisher = {ACM}, 5015 5127 address = {New York, NY, USA}, … … 5208 5320 year = 2005, 5209 5321 pages = {146-196}, 5210 numpages = {51},5211 5322 publisher = {ACM}, 5212 5323 address = {New York, NY, USA}, … … 5354 5465 year = 2000, 5355 5466 pages = {29-46}, 5356 note = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn esota, U.S.A.},5467 note = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.}, 5357 5468 } 5358 5469 … … 5468 5579 location = {San Diego, California, USA}, 5469 5580 pages = {101--112}, 5470 numpages = {12},5471 url = {http://doi.acm.org/10.1145/2535838.2535878},5472 doi = {10.1145/2535838.2535878},5473 acmid = {2535878},5474 5581 publisher = {ACM}, 5475 5582 address = {New York, NY, USA}, … … 5575 5682 issn = {0362-1340}, 5576 5683 pages = {30--42}, 5577 numpages = {13},5578 url = {http://doi.acm.org/10.1145/947586.947589},5579 doi = {10.1145/947586.947589},5580 5684 publisher = {ACM}, 5581 5685 address = {New York, NY, USA} … … 6112 6216 month = 9, 6113 6217 year = 2005, 6218 } 6219 6220 @article{Bauer15, 6221 keywords = {resumption exceptions, theory}, 6222 contributer = {pabuhr@plg}, 6223 author = {Andrej Bauer and Matija Pretnar}, 6224 title = {Programming with Algebraic Effects and Handlers}, 6225 journal = {Journal of Logical and Algebraic Methods in Programming}, 6226 publisher = {Elsevier BV}, 6227 volume = 84, 6228 number = 1, 6229 month = jan, 6230 year = 2015, 6231 pages = {108-123}, 6114 6232 } 6115 6233 … … 6499 6617 issn = {0164-0925}, 6500 6618 pages = {429-475}, 6501 url = {http://doi.acm.org/10.1145/1133651.1133653},6502 doi = {10.1145/1133651.1133653},6503 acmid = {1133653},6504 6619 publisher = {ACM}, 6505 6620 address = {New York, NY, USA}, … … 6879 6994 issn = {0001-0782}, 6880 6995 pages = {565--569}, 6881 numpages = {5},6882 url = {http://doi.acm.org/10.1145/359545.359566},6883 doi = {10.1145/359545.359566},6884 acmid = {359566},6885 6996 publisher = {ACM}, 6886 6997 address = {New York, NY, USA} … … 6900 7011 issn = {0362-1340}, 6901 7012 pages = {145--147}, 6902 numpages = {3},6903 url = {http://doi.acm.org/10.1145/122598.122614},6904 doi = {10.1145/122598.122614},6905 acmid = {122614},6906 7013 publisher = {ACM}, 6907 7014 address = {New York, NY, USA}, … … 7006 7113 issn = {0362-1340}, 7007 7114 pages = {82--87}, 7008 numpages = {6},7009 url = {http://doi.acm.org/10.1145/947680.947688},7010 doi = {10.1145/947680.947688},7011 7115 publisher = {ACM}, 7012 7116 address = {New York, NY, USA}, … … 7153 7257 } 7154 7258 7259 @article{Cascaval08, 7260 author = {Cascaval, Calin and Blundell, Colin and Michael, Maged and Cain, Harold W. and Wu, Peng and Chiras, Stefanie and Chatterjee, Siddhartha}, 7261 title = {Software Transactional Memory: Why Is It Only a Research Toy?}, 7262 journal = {Queue}, 7263 volume = {6}, 7264 number = {5}, 7265 month = sep, 7266 year = {2008}, 7267 pages = {40:46--40:58}, 7268 publisher = {ACM}, 7269 address = {New York, NY, USA}, 7270 } 7271 7155 7272 @article{Dijkstra65a, 7156 7273 keywords = {N-thread software-solution mutual exclusion}, … … 7363 7480 year = 1974, 7364 7481 pages = {261-301}, 7365 issn = {0360-0300},7366 doi = {http://doi.acm.org/10.1145/356635.356640},7367 7482 publisher = {ACM}, 7368 7483 address = {New York, NY, USA}, … … 7454 7569 publisher = {ACM Press}, 7455 7570 address = {New York, NY, USA}, 7456 doi = {http://doi.acm.org/10.1145/356586.356588},7457 7571 } 7458 7572 … … 7755 7869 howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}}, 7756 7870 } 7757 7871 7872 @inproceedings{Boehm09, 7873 author = {Boehm, Hans-J.}, 7874 title = {Transactional Memory Should Be an Implementation Technique, Not a Programming Interface}, 7875 booktitle = {Proceedings of the First USENIX Conference on Hot Topics in Parallelism}, 7876 series = {HotPar'09}, 7877 year = {2009}, 7878 location = {Berkeley, California}, 7879 publisher = {USENIX Association}, 7880 address = {Berkeley, CA, USA}, 7881 } 7882 7758 7883 @article{Leroy00, 7759 7884 keywords = {type-systems, exceptions}, … … 7805 7930 number = {2}, 7806 7931 pages = {204-214}, 7807 month = apr, year = 1988, 7932 month = apr, 7933 year = 1988, 7808 7934 comment = { 7809 7935 Extended record types add fields to their base record. Assignment … … 8110 8236 issn = {0004-5411}, 8111 8237 pages = {245--281}, 8112 numpages = {37},8113 url = {http://doi.acm.org/10.1145/62.2160},8114 doi = {10.1145/62.2160},8115 acmid = {2160},8116 8238 publisher = {ACM}, 8117 8239 address = {New York, NY, USA}, … … 8126 8248 contributer = {pabuhr@plg}, 8127 8249 author = {Boehm, Hans-J. and Adve, Sarita V.}, 8128 title = {You Don' TKnow Jack About Shared Variables or Memory Models},8250 title = {You Don't Know Jack About Shared Variables or Memory Models}, 8129 8251 journal = cacm, 8130 8252 volume = 55,
Note: See TracChangeset
for help on using the changeset viewer.