Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    rb0795be 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},
    … …  
    45584457
    45594458@article{Pierce00,
    4560     keywords    = {Scala, polymorphism, subtyping, type inference},
     4459    keywords    = {Scala},
    45614460    contributer = {a3moss@uwaterloo.ca},
    45624461    author      = {Pierce, Benjamin C. and Turner, David N.},
    … …  
    45704469    issn        = {0164-0925},
    45714470    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},
    45724475    publisher   = {ACM},
    45734476    address     = {New York, NY, USA},
     4477    keywords    = {polymorphism, subtyping, type inference},
    45744478}
    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 }
    45904479
    45914480@article{Sundell08,
    … …  
    46654554    journal     = sigplan,
    46664555    year        = 1989,
    4667     month       = jun,
    4668     volume      = 24,
    4669     number      = 6,
    4670     pages       = {37-48},
     4556    month       = jun, volume = 24, number = 6, pages = {37-48},
    46714557    abstract    = {
    46724558        This paper describes a scheme we have used to manage a large
    … …  
    51094995    year        = 1986,
    51104996    pages       = {313--326},
     4997    numpages    = {14},
    51114998    publisher   = {ACM},
    51124999    address     = {New York, NY, USA},
    … …  
    51245011    year        = 1986,
    51255012    pages       = {327--348},
     5013    numpages    = {22},
    51265014    publisher   = {ACM},
    51275015    address     = {New York, NY, USA},
    … …  
    53205208    year        = 2005,
    53215209    pages       = {146-196},
     5210    numpages    = {51},
    53225211    publisher   = {ACM},
    53235212    address     = {New York, NY, USA},
    … …  
    54655354    year        = 2000,
    54665355    pages       = {29-46},
    5467     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.},
    54685357}
    54695358
    … …  
    55795468    location    = {San Diego, California, USA},
    55805469    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},
    55815474    publisher   = {ACM},
    55825475    address     = {New York, NY, USA},
    … …  
    56825575    issn        = {0362-1340},
    56835576    pages       = {30--42},
     5577    numpages    = {13},
     5578    url         = {http://doi.acm.org/10.1145/947586.947589},
     5579    doi         = {10.1145/947586.947589},
    56845580    publisher   = {ACM},
    56855581    address     = {New York, NY, USA}
    … …  
    62166112    month       = 9,
    62176113    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},
    62326114}
    62336115
    … …  
    66176499    issn        = {0164-0925},
    66186500    pages       = {429-475},
     6501    url         = {http://doi.acm.org/10.1145/1133651.1133653},
     6502    doi         = {10.1145/1133651.1133653},
     6503    acmid       = {1133653},
    66196504    publisher   = {ACM},
    66206505    address     = {New York, NY, USA},
    … …  
    69946879    issn        = {0001-0782},
    69956880    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},
    69966885    publisher   = {ACM},
    69976886    address     = {New York, NY, USA}
    … …  
    70116900    issn        = {0362-1340},
    70126901    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},
    70136906    publisher   = {ACM},
    70146907    address     = {New York, NY, USA},
    … …  
    71137006    issn        = {0362-1340},
    71147007    pages       = {82--87},
     7008    numpages    = {6},
     7009    url         = {http://doi.acm.org/10.1145/947680.947688},
     7010    doi         = {10.1145/947680.947688},
    71157011    publisher   = {ACM},
    71167012    address     = {New York, NY, USA},
    … …  
    72577153}
    72587154
    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 
    72727155@article{Dijkstra65a,
    72737156    keywords    = {N-thread software-solution mutual exclusion},
    … …  
    74807363    year        = 1974,
    74817364    pages       = {261-301},
     7365    issn        = {0360-0300},
     7366    doi         = {http://doi.acm.org/10.1145/356635.356640},
    74827367    publisher   = {ACM},
    74837368    address     = {New York, NY, USA},
    … …  
    75697454    publisher   = {ACM Press},
    75707455    address     = {New York, NY, USA},
     7456    doi         = {http://doi.acm.org/10.1145/356586.356588},
    75717457}
    75727458
    … …  
    78697755    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
    78707756}
    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 
     7757 
    78837758@article{Leroy00,
    78847759    keywords    = {type-systems, exceptions},
    … …  
    79307805    number      = {2},
    79317806    pages       = {204-214},
    7932     month       = apr,
    7933     year        = 1988,
     7807    month       = apr, year = 1988,
    79347808    comment     = {
    79357809        Extended record types add fields to their base record.  Assignment
    … …  
    82368110    issn        = {0004-5411},
    82378111    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},
    82388116    publisher   = {ACM},
    82398117    address     = {New York, NY, USA},
    … …  
    82488126    contributer = {pabuhr@plg},
    82498127    author      = {Boehm, Hans-J. and Adve, Sarita V.},
    8250     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},
    82518129    journal     = cacm,
    82528130    volume      = 55,
Note: See TracChangeset for help on using the changeset viewer.