Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    rbe91ab4 rf9bf142  
    99%    Predefined journal names:
    1010%  acmcs: Computing Surveys             acta: Acta Infomatica
     11@string{acta="Acta Infomatica"}
    1112%  cacm: Communications of the ACM
    1213%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
    … …  
    2122%  tcs: Theoretical Computer Science
    2223
    23 @string{acta="Acta Infomatica"}
    2424string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    2525@string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    … …  
    124124    series      = {ACM Distinguished Dissertations},
    125125    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},
    156126}
    157127
    … …  
    428398    journal     = sigplan,
    429399    year        = 1981,
    430     month       = feb,
    431     volume      = 16,
    432     number      = 2,
    433     pages       = {48-52},
     400    month       = feb, volume = 16, number = 2, pages = {48-52},
    434401    comment     = {
    435402        A one-pass, top-down algorithm for overload resolution.  Input is a
    … …  
    510477    title       = {An Alternative to Subclassing},
    511478    journal     = sigplan,
    512     volume      = {21},
    513     number      = {11},
     479    volume      = {21},    number = {11},
    514480    pages       = {424-428},
    515     month       = nov,
    516     year        = 1986,
     481    month       = nov, year = 1986,
    517482    comment     = {
    518483        The Smalltalk class hierarchy has three uses: factoring out code;
    … …  
    568533    isbn        = {3-540-66538-2},
    569534    location    = {Toulouse, France},
     535    doi         = {http://doi.acm.org/10.1145/318773.319251},
    570536    publisher   = {Springer},
    571537    address     = {London, UK},
    … …  
    665631    year        = 2010,
    666632    pages       = {39--50},
     633    numpages    = {12},
    667634    publisher   = {IEEE Computer Society},
    668635    address     = {Washington, DC, USA},
    … …  
    955922}
    956923
    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 
    968924@manual{C11,
    969925    keywords    = {ISO/IEC C 11},
    … …  
    13491305    location    = {London, United Kingdom},
    13501306    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},
    13511311    publisher   = {ACM},
    13521312    address     = {New York, NY, USA},
    … …  
    24482408    year        = 1993,
    24492409    pages       = {201--208},
     2410    url         = {http://doi.acm.org/10.1145/155360.155580},
    24502411    publisher   = {ACM},
    24512412    address     = {New York, NY, USA},
    … …  
    26452606    location    = {Boulder, Colorado, USA},
    26462607    pages       = {91--97},
     2608    numpages    = {7},
    26472609    publisher   = {ACM},
    26482610    address     = {New York, NY, USA},
    … …  
    26752637    issn        = {0004-5411},
    26762638    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},
    26772643    publisher   = {ACM},
    26782644    address     = {New York, NY, USA},
    … …  
    27422708}
    27432709
    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 
    27562710@misc{Turley99,
    27572711    keywords    = {embedded system, micrprocessor},
    … …  
    27642718    howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712}
    27652719                  {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},
    27792720}
    27802721
    … …  
    31963137}
    31973138
    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 
    32133139@article{Lamport87,
    32143140    keywords    = {software solutions, mutual exclusion, fast},
    … …  
    33323258    issn        = {0001-0782},
    33333259    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},
    33343264    publisher   = {ACM},
    33353265    address     = {New York, NY, USA},
    … …  
    37343664}
    37353665
    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 
    37453666@article{katzenelson83b,
    37463667    contributer = {gjditchfield@plg},
    … …  
    37763697    pages       = {115-138},
    37773698    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},
    37893699}
    37903700
    … …  
    44554365}
    44564366
    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 
    44684367@mastersthesis{Clarke90,
    44694368    keywords    = {concurrency, postponing requests},
    … …  
    45244423}
    45254424
    4526 @misc{libfibre,
    4527     key         = {libfibre},
    4528     author      = {Martin Karsten},
    4529     title       = {{libfibre:~User-Level Threading Runtime}},
    4530     howpublished= {\href{https://git.uwaterloo.ca/mkarsten/libfibre}
    4531                   {https://\-git.uwaterloo.ca/\-mkarsten/\-libfibre}},
    4532     note        = {[Online; accessed 2020-04-15]},
    4533 }
    4534 
    45354425@article{Linda,
    45364426    keywords    = {Linda, concurrency},
    … …  
    45664456}
    45674457
    4568 @inproceedings{Fang06,
    4569     author      = {Fang, Yi and McMillan, Kenneth L. and Pnueli, Amir and Zuck, Lenore D.},
    4570     editor      = {Najm, Elie and Pradat-Peyre, Jean-Fran{\c{c}}ois and Donzeau-Gouge, V{\'e}ronique Vigui{\'e}},
    4571     title       = {Liveness by Invisible Invariants},
    4572     booktitle   = {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
    4573     year        = 2006,
    4574     publisher   = {Springer Berlin Heidelberg},
    4575     address     = {Berlin, Heidelberg},
    4576     pages       = {356--371},
    4577 }
    4578 
    45794458@article{Pierce00,
    4580     keywords    = {Scala, polymorphism, subtyping, type inference},
     4459    keywords    = {Scala},
    45814460    contributer = {a3moss@uwaterloo.ca},
    45824461    author      = {Pierce, Benjamin C. and Turner, David N.},
    … …  
    45904469    issn        = {0164-0925},
    45914470    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},
    45924475    publisher   = {ACM},
    45934476    address     = {New York, NY, USA},
     4477    keywords    = {polymorphism, subtyping, type inference},
    45944478}
    4595 
    4596 @article{Dice15,
    4597     keywords    = {Concurrency, NUMA, hierarchical locks, locks, multicore, mutex, mutual exclusion, spin locks},
    4598     author      = {Dice, David and Marathe, Virendra J. and Shavit, Nir},
    4599     title       = {Lock Cohorting: A General Technique for Designing NUMA Locks},
    4600     journal     = {ACM Trans. Parallel Comput.},
    4601     issue_date  = {January 2015},
    4602     volume      = 1,
    4603     number      = 2,
    4604     month       = feb,
    4605     year        = 2015,
    4606     pages       = {13:1--13:42},
    4607     publisher   = {ACM},
    4608     address     = {New York, NY, USA},
    4609 }
    46104479
    46114480@article{Sundell08,
    … …  
    46854554    journal     = sigplan,
    46864555    year        = 1989,
    4687     month       = jun,
    4688     volume      = 24,
    4689     number      = 6,
    4690     pages       = {37-48},
     4556    month       = jun, volume = 24, number = 6, pages = {37-48},
    46914557    abstract    = {
    46924558        This paper describes a scheme we have used to manage a large
    … …  
    47594625    contributer = {pabuhr@plg},
    47604626    author      = {Gregory R. Andrews},
    4761     title       = {A Method for Solving Synchronization Problems},
     4627    title       = {A Method for Solving Synronization Problems},
    47624628    journal     = scp,
    47634629    volume      = 13,
    … …  
    50844950    title       = {Multiple Inheritance for {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    50854951    booktitle   = {Proceedings of the Spring '87 EUUG Conference},
    5086     month       = may,
    5087     year        = 1987,
     4952    month       = may, year = 1987
    50884953}
    50894954
    … …  
    51304995    year        = 1986,
    51314996    pages       = {313--326},
     4997    numpages    = {14},
    51324998    publisher   = {ACM},
    51334999    address     = {New York, NY, USA},
    … …  
    51455011    year        = 1986,
    51465012    pages       = {327--348},
     5013    numpages    = {22},
    51475014    publisher   = {ACM},
    51485015    address     = {New York, NY, USA},
    … …  
    53415208    year        = 2005,
    53425209    pages       = {146-196},
     5210    numpages    = {51},
    53435211    publisher   = {ACM},
    53445212    address     = {New York, NY, USA},
    … …  
    54865354    year        = 2000,
    54875355    pages       = {29-46},
    5488     note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.},
     5356    note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minnesota, U.S.A.},
    54895357}
    54905358
    … …  
    56005468    location    = {San Diego, California, USA},
    56015469    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},
    56025474    publisher   = {ACM},
    56035475    address     = {New York, NY, USA},
    … …  
    57035575    issn        = {0362-1340},
    57045576    pages       = {30--42},
     5577    numpages    = {13},
     5578    url         = {http://doi.acm.org/10.1145/947586.947589},
     5579    doi         = {10.1145/947586.947589},
    57055580    publisher   = {ACM},
    57065581    address     = {New York, NY, USA}
    … …  
    62376112    month       = 9,
    62386113    year        = 2005,
    6239 }
    6240 
    6241 @article{Bauer15,
    6242     keywords    = {resumption exceptions, theory},
    6243     contributer = {pabuhr@plg},
    6244     author      = {Andrej Bauer and Matija Pretnar},
    6245     title       = {Programming with Algebraic Effects and Handlers},
    6246     journal     = {Journal of Logical and Algebraic Methods in Programming},
    6247     publisher   = {Elsevier BV},
    6248     volume      = 84,
    6249     number      = 1,
    6250     month       = jan,
    6251     year        = 2015,
    6252     pages       = {108-123},
    62536114}
    62546115
    … …  
    66386499    issn        = {0164-0925},
    66396500    pages       = {429-475},
     6501    url         = {http://doi.acm.org/10.1145/1133651.1133653},
     6502    doi         = {10.1145/1133651.1133653},
     6503    acmid       = {1133653},
    66406504    publisher   = {ACM},
    66416505    address     = {New York, NY, USA},
    … …  
    66656529    address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
    66666530    year        = 2018,
    6667 }
    6668 
    6669 @article{Aravind09,
    6670     author      = {Alex A. Aravind and Wim H. Hesselink},
    6671     title       = {A Queue Based Mutual Exclusion Algorithm},
    6672     journal     = acta,
    6673     volume      = 46,
    6674     pages       = {73--86},
    6675     year        = 2009,
    66766531}
    66776532
    … …  
    70246879    issn        = {0001-0782},
    70256880    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},
    70266885    publisher   = {ACM},
    70276886    address     = {New York, NY, USA}
    … …  
    70416900    issn        = {0362-1340},
    70426901    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},
    70436906    publisher   = {ACM},
    70446907    address     = {New York, NY, USA},
    … …  
    71437006    issn        = {0362-1340},
    71447007    pages       = {82--87},
     7008    numpages    = {6},
     7009    url         = {http://doi.acm.org/10.1145/947680.947688},
     7010    doi         = {10.1145/947680.947688},
    71457011    publisher   = {ACM},
    71467012    address     = {New York, NY, USA},
    … …  
    72877153}
    72887154
    7289 @article{Cascaval08,
    7290     author      = {Cascaval, Calin and Blundell, Colin and Michael, Maged and Cain, Harold W. and Wu, Peng and Chiras, Stefanie and Chatterjee, Siddhartha},
    7291     title       = {Software Transactional Memory: Why Is It Only a Research Toy?},
    7292     journal     = {Queue},
    7293     volume      = {6},
    7294     number      = {5},
    7295     month       = sep,
    7296     year        = {2008},
    7297     pages       = {40:46--40:58},
    7298     publisher   = {ACM},
    7299     address     = {New York, NY, USA},
    7300 }
    7301 
    73027155@article{Dijkstra65a,
    73037156    keywords    = {N-thread software-solution mutual exclusion},
    … …  
    75107363    year        = 1974,
    75117364    pages       = {261-301},
     7365    issn        = {0360-0300},
     7366    doi         = {http://doi.acm.org/10.1145/356635.356640},
    75127367    publisher   = {ACM},
    75137368    address     = {New York, NY, USA},
    … …  
    75997454    publisher   = {ACM Press},
    76007455    address     = {New York, NY, USA},
     7456    doi         = {http://doi.acm.org/10.1145/356586.356588},
    76017457}
    76027458
    … …  
    78997755    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
    79007756}
    7901 
    7902 @inproceedings{Boehm09,
    7903     author      = {Boehm, Hans-J.},
    7904     title       = {Transactional Memory Should Be an Implementation Technique, Not a Programming Interface},
    7905     booktitle   = {Proceedings of the First USENIX Conference on Hot Topics in Parallelism},
    7906     series      = {HotPar'09},
    7907     year        = {2009},
    7908     location    = {Berkeley, California},
    7909     publisher   = {USENIX Association},
    7910     address     = {Berkeley, CA, USA},
    7911 }
    7912 
     7757 
    79137758@article{Leroy00,
    79147759    keywords    = {type-systems, exceptions},
    … …  
    79607805    number      = {2},
    79617806    pages       = {204-214},
    7962     month       = apr,
    7963     year        = 1988,
     7807    month       = apr, year = 1988,
    79647808    comment     = {
    79657809        Extended record types add fields to their base record.  Assignment
    … …  
    80607904}
    80617905
    8062 @article{Karsten20,
    8063     author      = {Karsten, Martin and Barghi, Saman},
    8064     title       = {{User-level Threading: Have Your Cake and Eat It Too}},
    8065     year        = {2020},
    8066     issue_date  = {March 2020},
    8067     publisher   = {Association for Computing Machinery},
    8068     address     = {New York, NY, USA},
    8069     volume      = {4},
    8070     number      = {1},
    8071     url         = {https://doi.org/10.1145/3379483},
    8072     doi         = {10.1145/3379483},
    8073     journal     = {Proc. ACM Meas. Anal. Comput. Syst.},
    8074     month       = mar,
    8075     numpages    = {30},
    8076 }
    8077 
    80787906@techreport{Harmony,
    80797907    keywords    = {messages, concurrency},
    … …  
    80917919    contributer = {gjditchfield@plg},
    80927920    author      = {Henry Lieverman},
    8093     title       = {Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems},
     7921    title       = {Using Prototypical Objects to Implement Shared Behavior in
     7922                  Object Oriented Systems},
    80947923    journal     = sigplan,
    8095     month       = nov,
    8096     year        = 1986,
    8097     volume      = 21,
    8098     number      = 11,
    8099     pages       = {214-223}
     7924    month       = nov, year = 1986,
     7925    volume      = 21, number = 11, pages = {214-223}
    81007926}
    81017927
    … …  
    82848110    issn        = {0004-5411},
    82858111    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},
    82868116    publisher   = {ACM},
    82878117    address     = {New York, NY, USA},
    … …  
    82968126    contributer = {pabuhr@plg},
    82978127    author      = {Boehm, Hans-J. and Adve, Sarita V.},
    8298     title       = {You Don't Know Jack About Shared Variables or Memory Models},
     8128    title       = {You Don'T Know Jack About Shared Variables or Memory Models},
    82998129    journal     = cacm,
    83008130    volume      = 55,
Note: See TracChangeset for help on using the changeset viewer.