Index: doc/bibliography/pl.bib =================================================================== --- doc/bibliography/pl.bib (revision f9bf142ef442d7af8e2d6db94b4a55098b694cfd) +++ doc/bibliography/pl.bib (revision 289c7d2d08324b12fa247f070f64d4ffc48bcd09) @@ -9,5 +9,4 @@ % Predefined journal names: % acmcs: Computing Surveys acta: Acta Infomatica -@string{acta="Acta Infomatica"} % cacm: Communications of the ACM % ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal @@ -22,4 +21,5 @@ % tcs: Theoretical Computer Science +@string{acta="Acta Infomatica"} string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"} @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."} @@ -124,4 +124,34 @@ series = {ACM Distinguished Dissertations}, year = 1983, +} + +@article{Zhang19, + keywords = {Algebraic effects, dynamic scoping, exceptions, parametricity, type systems}, + author = {Zhang, Yizhou and Myers, Andrew C.}, + title = {Abstraction-safe Effect Handlers via Tunneling}, + journal = {Proc. ACM Program. Lang.}, + issue_date = {January 2019}, + volume = {3}, + number = {POPL}, + month = jan, + year = {2019}, + issn = {2475-1421}, + pages = {5:1--5:29}, + articleno = {5}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@inproceedings{Zhang16, + keywords = {Exception tunneling, Genus, exception handling}, + author = {Zhang, Yizhou and Salvaneschi, Guido and Beightol, Quinn and Liskov, Barbara and Myers, Andrew C.}, + title = {Accepting Blame for Safe Tunneled Exceptions}, + booktitle = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation}, + series = {PLDI'16}, + year = {2016}, + location = {Santa Barbara, CA, USA}, + pages = {281--295}, + publisher = {ACM}, + address = {New York, NY, USA}, } @@ -398,5 +428,8 @@ journal = sigplan, year = 1981, - month = feb, volume = 16, number = 2, pages = {48-52}, + month = feb, + volume = 16, + number = 2, + pages = {48-52}, comment = { A one-pass, top-down algorithm for overload resolution. Input is a @@ -477,7 +510,9 @@ title = {An Alternative to Subclassing}, journal = sigplan, - volume = {21}, number = {11}, + volume = {21}, + number = {11}, pages = {424-428}, - month = nov, year = 1986, + month = nov, + year = 1986, comment = { The Smalltalk class hierarchy has three uses: factoring out code; @@ -533,5 +568,4 @@ isbn = {3-540-66538-2}, location = {Toulouse, France}, - doi = {http://doi.acm.org/10.1145/318773.319251}, publisher = {Springer}, address = {London, UK}, @@ -631,5 +665,4 @@ year = 2010, pages = {39--50}, - numpages = {12}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, @@ -922,4 +955,15 @@ } +@manual{C99, + keywords = {ISO/IEC C 9899}, + contributer = {pabuhr@plg}, + key = {C99}, + title = {C Programming Language {ISO/IEC} 9899:1999(E)}, + edition = {2nd}, + publisher = {International Standard Organization}, + address = {\href{https://webstore.ansi.org/Standards/INCITS/INCITSISOIEC98991999R2005}{https://webstore.ansi.org/\-Standards/\-INCITS/\-INCITSISOIEC98991999R2005}}, + year = 1999, +} + @manual{C11, keywords = {ISO/IEC C 11}, @@ -1305,8 +1349,4 @@ location = {London, United Kingdom}, pages = {41--53}, - numpages = {13}, - url = {http://doi.acm.org/10.1145/360204.360207}, - doi = {10.1145/360204.360207}, - acmid = {360207}, publisher = {ACM}, address = {New York, NY, USA}, @@ -2408,5 +2448,4 @@ year = 1993, pages = {201--208}, - url = {http://doi.acm.org/10.1145/155360.155580}, publisher = {ACM}, address = {New York, NY, USA}, @@ -2606,5 +2645,4 @@ location = {Boulder, Colorado, USA}, pages = {91--97}, - numpages = {7}, publisher = {ACM}, address = {New York, NY, USA}, @@ -2637,8 +2675,4 @@ issn = {0004-5411}, pages = {215--225}, - numpages = {11}, - url = {http://doi.acm.org/10.1145/321879.321884}, - doi = {10.1145/321879.321884}, - acmid = {321884}, publisher = {ACM}, address = {New York, NY, USA}, @@ -2708,4 +2742,16 @@ } +@misc{Drepper13, + keywords = {thread-local storage}, + contributer = {pabuhr@plg}, + author = {Ulrich Drepper}, + title = {{ELF} Handling For Thread-Local Storage}, + year = 2013, + month = aug, + note = {WikipediA}, + howpublished= {\href{http://www.akkadia.org/drepper/tls.pdf} + {http://\-www.akkadia.org/\-drepper/\-tls.pdf}}, +} + @misc{Turley99, keywords = {embedded system, micrprocessor}, @@ -2718,4 +2764,17 @@ howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712} {https://\-www.eetimes.com/\-author.asp?sectionid=\-36&doc_id=1287712}}, +} + +@article{Xiao19, + keywords = {bug classification, fault trigger, Linux operating system, regression bug}, + contributer = {pabuhr@plg}, + author = {Guanping Xiao and Zheng Zheng and Beibei Yin and Kishor S. Trivedi and Xiaoting Du and Kai-Yuan Cai}, + title = {An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective}, + journal = {IEEE Transactions on Reliability}, + month = dec, + year = 2019, + volume = 68, + number = 4, + pages = {1356-1383}, } @@ -3137,4 +3196,19 @@ } +@inproceedings{Palix11, + keywords = {Linux, fault-finding tools}, + contributer = {pabuhr@plg}, + author = {Nicolas Palix and Ga\"el Thomas and Suman Saha and Christophe Calv\`es and Julia Lawall and Gilles Muller}, + title = {Faults in Linux: Ten Years Later}, + booktitle = {Proc. of the 16 International Conf. on Arch. Support for Prog. Lang. and Oper. Sys.}, + series = {ASPLOS'11}, + month = mar, + year = 2011, + location = {Newport Beach, California, USA}, + pages = {305-318}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + @article{Lamport87, keywords = {software solutions, mutual exclusion, fast}, @@ -3258,8 +3332,4 @@ issn = {0001-0782}, pages = {107--115}, - numpages = {9}, - url = {http://doi.acm.org/10.1145/1538788.1538814}, - doi = {10.1145/1538788.1538814}, - acmid = {1538814}, publisher = {ACM}, address = {New York, NY, USA}, @@ -3664,4 +3734,13 @@ } +@mastersthesis{Radhakrishnan19, + author = {Srihari Radhakrishnan}, + title = {High Performance Web Servers: A Study In Concurrent Programming Models}, + school = {School of Computer Sc., University of Waterloo}, + year = 2019, + optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, + note = {\href{https://uwspace.uwaterloo.ca/handle/10012/14706}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14706}}, +} + @article{katzenelson83b, contributer = {gjditchfield@plg}, @@ -3697,4 +3776,15 @@ pages = {115-138}, year = 1971, +} + +@inproceedings{Hagersten03, + keywords = {cache storage, parallel architectures, performance evaluation, shared memory systems}, + author = {Zoran Radovi\'{c} and Erik Hagersten}, + title = {Hierarchical backoff locks for nonuniform communication architectures}, + booktitle = {Proceedings of the Ninth International Symposium on High-Performance Computer Architecture}, + year = {2003}, + location = {Anaheim, CA, USA}, + pages = {241-252}, + publisher = {IEEE}, } @@ -4365,4 +4455,15 @@ } +@misc{gccValueLabels, + keywords = {gcc extension, value labels}, + contributer = {pabuhr@plg}, + key = {Labels as Values}, + author = {{gcc Extension}}, + title = {Labels as Values}, + year = {since gcc-3}, + howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html} + {https:\-//gcc.gnu.org/\-onlinedocs/\-gcc/\-Labels-as-Values.html}}, +} + @mastersthesis{Clarke90, keywords = {concurrency, postponing requests}, @@ -4457,5 +4558,5 @@ @article{Pierce00, - keywords = {Scala}, + keywords = {Scala, polymorphism, subtyping, type inference}, contributer = {a3moss@uwaterloo.ca}, author = {Pierce, Benjamin C. and Turner, David N.}, @@ -4469,12 +4570,22 @@ issn = {0164-0925}, pages = {1--44}, - numpages = {44}, - url = {http://doi.acm.org/10.1145/345099.345100}, - doi = {10.1145/345099.345100}, - acmid = {345100}, publisher = {ACM}, address = {New York, NY, USA}, - keywords = {polymorphism, subtyping, type inference}, } + +@article{Dice15, + keywords = {Concurrency, NUMA, hierarchical locks, locks, multicore, mutex, mutual exclusion, spin locks}, + author = {Dice, David and Marathe, Virendra J. and Shavit, Nir}, + title = {Lock Cohorting: A General Technique for Designing NUMA Locks}, + journal = {ACM Trans. Parallel Comput.}, + issue_date = {January 2015}, + volume = 1, + number = 2, + month = feb, + year = 2015, + pages = {13:1--13:42}, + publisher = {ACM}, + address = {New York, NY, USA}, +} @article{Sundell08, @@ -4554,5 +4665,8 @@ journal = sigplan, year = 1989, - month = jun, volume = 24, number = 6, pages = {37-48}, + month = jun, + volume = 24, + number = 6, + pages = {37-48}, abstract = { This paper describes a scheme we have used to manage a large @@ -4995,5 +5109,4 @@ year = 1986, pages = {313--326}, - numpages = {14}, publisher = {ACM}, address = {New York, NY, USA}, @@ -5011,5 +5124,4 @@ year = 1986, pages = {327--348}, - numpages = {22}, publisher = {ACM}, address = {New York, NY, USA}, @@ -5208,5 +5320,4 @@ year = 2005, pages = {146-196}, - numpages = {51}, publisher = {ACM}, address = {New York, NY, USA}, @@ -5354,5 +5465,5 @@ year = 2000, pages = {29-46}, - note = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minnesota, U.S.A.}, + note = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.}, } @@ -5468,8 +5579,4 @@ location = {San Diego, California, USA}, pages = {101--112}, - numpages = {12}, - url = {http://doi.acm.org/10.1145/2535838.2535878}, - doi = {10.1145/2535838.2535878}, - acmid = {2535878}, publisher = {ACM}, address = {New York, NY, USA}, @@ -5575,7 +5682,4 @@ issn = {0362-1340}, pages = {30--42}, - numpages = {13}, - url = {http://doi.acm.org/10.1145/947586.947589}, - doi = {10.1145/947586.947589}, publisher = {ACM}, address = {New York, NY, USA} @@ -6112,4 +6216,18 @@ month = 9, year = 2005, +} + +@article{Bauer15, + keywords = {resumption exceptions, theory}, + contributer = {pabuhr@plg}, + author = {Andrej Bauer and Matija Pretnar}, + title = {Programming with Algebraic Effects and Handlers}, + journal = {Journal of Logical and Algebraic Methods in Programming}, + publisher = {Elsevier BV}, + volume = 84, + number = 1, + month = jan, + year = 2015, + pages = {108-123}, } @@ -6499,7 +6617,4 @@ issn = {0164-0925}, pages = {429-475}, - url = {http://doi.acm.org/10.1145/1133651.1133653}, - doi = {10.1145/1133651.1133653}, - acmid = {1133653}, publisher = {ACM}, address = {New York, NY, USA}, @@ -6879,8 +6994,4 @@ 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} @@ -6900,8 +7011,4 @@ 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}, @@ -7006,7 +7113,4 @@ issn = {0362-1340}, pages = {82--87}, - numpages = {6}, - url = {http://doi.acm.org/10.1145/947680.947688}, - doi = {10.1145/947680.947688}, publisher = {ACM}, address = {New York, NY, USA}, @@ -7153,4 +7257,17 @@ } +@article{Cascaval08, + author = {Cascaval, Calin and Blundell, Colin and Michael, Maged and Cain, Harold W. and Wu, Peng and Chiras, Stefanie and Chatterjee, Siddhartha}, + title = {Software Transactional Memory: Why Is It Only a Research Toy?}, + journal = {Queue}, + volume = {6}, + number = {5}, + month = sep, + year = {2008}, + pages = {40:46--40:58}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + @article{Dijkstra65a, keywords = {N-thread software-solution mutual exclusion}, @@ -7363,6 +7480,4 @@ year = 1974, pages = {261-301}, - issn = {0360-0300}, - doi = {http://doi.acm.org/10.1145/356635.356640}, publisher = {ACM}, address = {New York, NY, USA}, @@ -7454,5 +7569,4 @@ publisher = {ACM Press}, address = {New York, NY, USA}, - doi = {http://doi.acm.org/10.1145/356586.356588}, } @@ -7755,5 +7869,16 @@ howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}}, } - + +@inproceedings{Boehm09, + author = {Boehm, Hans-J.}, + title = {Transactional Memory Should Be an Implementation Technique, Not a Programming Interface}, + booktitle = {Proceedings of the First USENIX Conference on Hot Topics in Parallelism}, + series = {HotPar'09}, + year = {2009}, + location = {Berkeley, California}, + publisher = {USENIX Association}, + address = {Berkeley, CA, USA}, +} + @article{Leroy00, keywords = {type-systems, exceptions}, @@ -7805,5 +7930,6 @@ number = {2}, pages = {204-214}, - month = apr, year = 1988, + month = apr, + year = 1988, comment = { Extended record types add fields to their base record. Assignment @@ -8110,8 +8236,4 @@ 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}, @@ -8126,5 +8248,5 @@ contributer = {pabuhr@plg}, author = {Boehm, Hans-J. and Adve, Sarita V.}, - title = {You Don'T Know Jack About Shared Variables or Memory Models}, + title = {You Don't Know Jack About Shared Variables or Memory Models}, journal = cacm, volume = 55,