Changeset 6a490b2 for doc/bibliography


Ignore:
Timestamp:
May 11, 2020, 1:53:29 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
504a7dc
Parents:
b7d6a36 (diff), a7b486b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into relaxed_ready

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    rb7d6a36 r6a490b2  
    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},
    … …  
    44234524}
    44244525
     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
    44254535@article{Linda,
    44264536    keywords    = {Linda, concurrency},
    … …  
    44564566}
    44574567
     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
    44584579@article{Pierce00,
    4459     keywords    = {Scala},
     4580    keywords    = {Scala, polymorphism, subtyping, type inference},
    44604581    contributer = {a3moss@uwaterloo.ca},
    44614582    author      = {Pierce, Benjamin C. and Turner, David N.},
    … …  
    44694590    issn        = {0164-0925},
    44704591    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},
    44754592    publisher   = {ACM},
    44764593    address     = {New York, NY, USA},
    4477     keywords    = {polymorphism, subtyping, type inference},
    44784594}
     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}
    44794610
    44804611@article{Sundell08,
    … …  
    45544685    journal     = sigplan,
    45554686    year        = 1989,
    4556     month       = jun, volume = 24, number = 6, pages = {37-48},
     4687    month       = jun,
     4688    volume      = 24,
     4689    number      = 6,
     4690    pages       = {37-48},
    45574691    abstract    = {
    45584692        This paper describes a scheme we have used to manage a large
    … …  
    46254759    contributer = {pabuhr@plg},
    46264760    author      = {Gregory R. Andrews},
    4627     title       = {A Method for Solving Synronization Problems},
     4761    title       = {A Method for Solving Synchronization Problems},
    46284762    journal     = scp,
    46294763    volume      = 13,
    … …  
    49505084    title       = {Multiple Inheritance for {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    49515085    booktitle   = {Proceedings of the Spring '87 EUUG Conference},
    4952     month       = may, year = 1987
     5086    month       = may,
     5087    year        = 1987,
    49535088}
    49545089
    … …  
    49955130    year        = 1986,
    49965131    pages       = {313--326},
    4997     numpages    = {14},
    49985132    publisher   = {ACM},
    49995133    address     = {New York, NY, USA},
    … …  
    50115145    year        = 1986,
    50125146    pages       = {327--348},
    5013     numpages    = {22},
    50145147    publisher   = {ACM},
    50155148    address     = {New York, NY, USA},
    … …  
    52085341    year        = 2005,
    52095342    pages       = {146-196},
    5210     numpages    = {51},
    52115343    publisher   = {ACM},
    52125344    address     = {New York, NY, USA},
    … …  
    53545486    year        = 2000,
    53555487    pages       = {29-46},
    5356     note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minnesota, U.S.A.},
     5488    note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.},
    53575489}
    53585490
    … …  
    54685600    location    = {San Diego, California, USA},
    54695601    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},
    54745602    publisher   = {ACM},
    54755603    address     = {New York, NY, USA},
    … …  
    55755703    issn        = {0362-1340},
    55765704    pages       = {30--42},
    5577     numpages    = {13},
    5578     url         = {http://doi.acm.org/10.1145/947586.947589},
    5579     doi         = {10.1145/947586.947589},
    55805705    publisher   = {ACM},
    55815706    address     = {New York, NY, USA}
    … …  
    61126237    month       = 9,
    61136238    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},
    61146253}
    61156254
    … …  
    64996638    issn        = {0164-0925},
    65006639    pages       = {429-475},
    6501     url         = {http://doi.acm.org/10.1145/1133651.1133653},
    6502     doi         = {10.1145/1133651.1133653},
    6503     acmid       = {1133653},
    65046640    publisher   = {ACM},
    65056641    address     = {New York, NY, USA},
    … …  
    65296665    address     = {\href{http://docs.paralleluniverse.co/quasar}{http://\-docs.paralleluniverse.co/\-quasar}},
    65306666    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,
    65316676}
    65326677
    … …  
    68797024    issn        = {0001-0782},
    68807025    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},
    68857026    publisher   = {ACM},
    68867027    address     = {New York, NY, USA}
    … …  
    69007041    issn        = {0362-1340},
    69017042    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},
    69067043    publisher   = {ACM},
    69077044    address     = {New York, NY, USA},
    … …  
    70067143    issn        = {0362-1340},
    70077144    pages       = {82--87},
    7008     numpages    = {6},
    7009     url         = {http://doi.acm.org/10.1145/947680.947688},
    7010     doi         = {10.1145/947680.947688},
    70117145    publisher   = {ACM},
    70127146    address     = {New York, NY, USA},
    … …  
    71537287}
    71547288
     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
    71557302@article{Dijkstra65a,
    71567303    keywords    = {N-thread software-solution mutual exclusion},
    … …  
    73637510    year        = 1974,
    73647511    pages       = {261-301},
    7365     issn        = {0360-0300},
    7366     doi         = {http://doi.acm.org/10.1145/356635.356640},
    73677512    publisher   = {ACM},
    73687513    address     = {New York, NY, USA},
    … …  
    74547599    publisher   = {ACM Press},
    74557600    address     = {New York, NY, USA},
    7456     doi         = {http://doi.acm.org/10.1145/356586.356588},
    74577601}
    74587602
    … …  
    77557899    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
    77567900}
    7757  
     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
    77587913@article{Leroy00,
    77597914    keywords    = {type-systems, exceptions},
    … …  
    78057960    number      = {2},
    78067961    pages       = {204-214},
    7807     month       = apr, year = 1988,
     7962    month       = apr,
     7963    year        = 1988,
    78087964    comment     = {
    78097965        Extended record types add fields to their base record.  Assignment
    … …  
    79048060}
    79058061
     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
    79068078@techreport{Harmony,
    79078079    keywords    = {messages, concurrency},
    … …  
    79198091    contributer = {gjditchfield@plg},
    79208092    author      = {Henry Lieverman},
    7921     title       = {Using Prototypical Objects to Implement Shared Behavior in
    7922                   Object Oriented Systems},
     8093    title       = {Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems},
    79238094    journal     = sigplan,
    7924     month       = nov, year = 1986,
    7925     volume      = 21, number = 11, pages = {214-223}
     8095    month       = nov,
     8096    year        = 1986,
     8097    volume      = 21,
     8098    number      = 11,
     8099    pages       = {214-223}
    79268100}
    79278101
    … …  
    81108284    issn        = {0004-5411},
    81118285    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},
    81168286    publisher   = {ACM},
    81178287    address     = {New York, NY, USA},
    … …  
    81268296    contributer = {pabuhr@plg},
    81278297    author      = {Boehm, Hans-J. and Adve, Sarita V.},
    8128     title       = {You Don'T Know Jack About Shared Variables or Memory Models},
     8298    title       = {You Don't Know Jack About Shared Variables or Memory Models},
    81298299    journal     = cacm,
    81308300    volume      = 55,
Note: See TracChangeset for help on using the changeset viewer.