Changeset b0795be for doc


Ignore:
Timestamp:
Feb 6, 2020, 10:24:10 AM (21 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
arm-eh, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
a573c22
Parents:
2aab69b
Message:

bibliography entries added for concurrency paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r2aab69b rb0795be  
    99%    Predefined journal names:
    1010%  acmcs: Computing Surveys             acta: Acta Infomatica
    11 @string{acta="Acta Infomatica"}
    1211%  cacm: Communications of the ACM
    1312%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
     
    2221%  tcs: Theoretical Computer Science
    2322
     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},
    126156}
    127157
     
    398428    journal     = sigplan,
    399429    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},
    401434    comment     = {
    402435        A one-pass, top-down algorithm for overload resolution.  Input is a
     
    477510    title       = {An Alternative to Subclassing},
    478511    journal     = sigplan,
    479     volume      = {21},    number = {11},
     512    volume      = {21},
     513    number      = {11},
    480514    pages       = {424-428},
    481     month       = nov, year = 1986,
     515    month       = nov,
     516    year        = 1986,
    482517    comment     = {
    483518        The Smalltalk class hierarchy has three uses: factoring out code;
     
    533568    isbn        = {3-540-66538-2},
    534569    location    = {Toulouse, France},
    535     doi         = {http://doi.acm.org/10.1145/318773.319251},
    536570    publisher   = {Springer},
    537571    address     = {London, UK},
     
    631665    year        = 2010,
    632666    pages       = {39--50},
    633     numpages    = {12},
    634667    publisher   = {IEEE Computer Society},
    635668    address     = {Washington, DC, USA},
     
    922955}
    923956
     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
    924968@manual{C11,
    925969    keywords    = {ISO/IEC C 11},
     
    13051349    location    = {London, United Kingdom},
    13061350    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},
    13111351    publisher   = {ACM},
    13121352    address     = {New York, NY, USA},
     
    24082448    year        = 1993,
    24092449    pages       = {201--208},
    2410     url         = {http://doi.acm.org/10.1145/155360.155580},
    24112450    publisher   = {ACM},
    24122451    address     = {New York, NY, USA},
     
    26062645    location    = {Boulder, Colorado, USA},
    26072646    pages       = {91--97},
    2608     numpages    = {7},
    26092647    publisher   = {ACM},
    26102648    address     = {New York, NY, USA},
     
    26372675    issn        = {0004-5411},
    26382676    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},
    26432677    publisher   = {ACM},
    26442678    address     = {New York, NY, USA},
     
    27082742}
    27092743
     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
    27102756@misc{Turley99,
    27112757    keywords    = {embedded system, micrprocessor},
     
    27182764    howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712}
    27192765                  {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},
    27202779}
    27212780
     
    31373196}
    31383197
     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
    31393213@article{Lamport87,
    31403214    keywords    = {software solutions, mutual exclusion, fast},
     
    32583332    issn        = {0001-0782},
    32593333    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},
    32643334    publisher   = {ACM},
    32653335    address     = {New York, NY, USA},
     
    36643734}
    36653735
     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
    36663745@article{katzenelson83b,
    36673746    contributer = {gjditchfield@plg},
     
    36973776    pages       = {115-138},
    36983777    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},
    36993789}
    37003790
     
    43654455}
    43664456
     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
    43674468@mastersthesis{Clarke90,
    43684469    keywords    = {concurrency, postponing requests},
     
    44574558
    44584559@article{Pierce00,
    4459     keywords    = {Scala},
     4560    keywords    = {Scala, polymorphism, subtyping, type inference},
    44604561    contributer = {a3moss@uwaterloo.ca},
    44614562    author      = {Pierce, Benjamin C. and Turner, David N.},
     
    44694570    issn        = {0164-0925},
    44704571    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},
    44754572    publisher   = {ACM},
    44764573    address     = {New York, NY, USA},
    4477     keywords    = {polymorphism, subtyping, type inference},
    44784574}
     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}
    44794590
    44804591@article{Sundell08,
     
    45544665    journal     = sigplan,
    45554666    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},
    45574671    abstract    = {
    45584672        This paper describes a scheme we have used to manage a large
     
    49955109    year        = 1986,
    49965110    pages       = {313--326},
    4997     numpages    = {14},
    49985111    publisher   = {ACM},
    49995112    address     = {New York, NY, USA},
     
    50115124    year        = 1986,
    50125125    pages       = {327--348},
    5013     numpages    = {22},
    50145126    publisher   = {ACM},
    50155127    address     = {New York, NY, USA},
     
    52085320    year        = 2005,
    52095321    pages       = {146-196},
    5210     numpages    = {51},
    52115322    publisher   = {ACM},
    52125323    address     = {New York, NY, USA},
     
    53545465    year        = 2000,
    53555466    pages       = {29-46},
    5356     note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minnesota, U.S.A.},
     5467    note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.},
    53575468}
    53585469
     
    54685579    location    = {San Diego, California, USA},
    54695580    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},
    54745581    publisher   = {ACM},
    54755582    address     = {New York, NY, USA},
     
    55755682    issn        = {0362-1340},
    55765683    pages       = {30--42},
    5577     numpages    = {13},
    5578     url         = {http://doi.acm.org/10.1145/947586.947589},
    5579     doi         = {10.1145/947586.947589},
    55805684    publisher   = {ACM},
    55815685    address     = {New York, NY, USA}
     
    61126216    month       = 9,
    61136217    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},
    61146232}
    61156233
     
    64996617    issn        = {0164-0925},
    65006618    pages       = {429-475},
    6501     url         = {http://doi.acm.org/10.1145/1133651.1133653},
    6502     doi         = {10.1145/1133651.1133653},
    6503     acmid       = {1133653},
    65046619    publisher   = {ACM},
    65056620    address     = {New York, NY, USA},
     
    68796994    issn        = {0001-0782},
    68806995    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},
    68856996    publisher   = {ACM},
    68866997    address     = {New York, NY, USA}
     
    69007011    issn        = {0362-1340},
    69017012    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},
    69067013    publisher   = {ACM},
    69077014    address     = {New York, NY, USA},
     
    70067113    issn        = {0362-1340},
    70077114    pages       = {82--87},
    7008     numpages    = {6},
    7009     url         = {http://doi.acm.org/10.1145/947680.947688},
    7010     doi         = {10.1145/947680.947688},
    70117115    publisher   = {ACM},
    70127116    address     = {New York, NY, USA},
     
    71537257}
    71547258
     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
    71557272@article{Dijkstra65a,
    71567273    keywords    = {N-thread software-solution mutual exclusion},
     
    73637480    year        = 1974,
    73647481    pages       = {261-301},
    7365     issn        = {0360-0300},
    7366     doi         = {http://doi.acm.org/10.1145/356635.356640},
    73677482    publisher   = {ACM},
    73687483    address     = {New York, NY, USA},
     
    74547569    publisher   = {ACM Press},
    74557570    address     = {New York, NY, USA},
    7456     doi         = {http://doi.acm.org/10.1145/356586.356588},
    74577571}
    74587572
     
    77557869    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
    77567870}
    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
    77587883@article{Leroy00,
    77597884    keywords    = {type-systems, exceptions},
     
    78057930    number      = {2},
    78067931    pages       = {204-214},
    7807     month       = apr, year = 1988,
     7932    month       = apr,
     7933    year        = 1988,
    78087934    comment     = {
    78097935        Extended record types add fields to their base record.  Assignment
     
    81108236    issn        = {0004-5411},
    81118237    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},
    81168238    publisher   = {ACM},
    81178239    address     = {New York, NY, USA},
     
    81268248    contributer = {pabuhr@plg},
    81278249    author      = {Boehm, Hans-J. and Adve, Sarita V.},
    8128     title       = {You Don'T Know Jack About Shared Variables or Memory Models},
     8250    title       = {You Don't Know Jack About Shared Variables or Memory Models},
    81298251    journal     = cacm,
    81308252    volume      = 55,
Note: See TracChangeset for help on using the changeset viewer.