Changeset 6d44da1 for doc/bibliography


Ignore:
Timestamp:
Sep 25, 2018, 11:35:34 AM (7 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
Children:
c6bbcdb
Parents:
341bb80 (diff), 7428ad9 (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 shared_library

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r341bb80 r6d44da1  
    701701% B
    702702
     703@article{Michael13,
     704    contributer = {pabuhr@plg},
     705    author      = {Maged M. Michael},
     706    title       = {The Balancing Act of Choosing Nonblocking Features},
     707    journal     = cacm,
     708    volume      = 56,
     709    number      = 9,
     710    month       = sep,
     711    year        = 2013,
     712    pages       = {46--53},
     713    publisher   = {ACM},
     714    address     = {New York, NY, USA},
     715}
     716
    703717@incollection{beta:old,
    704718    keywords    = {beta, patterns, virtual types},
    … …  
    908922
    909923@misc{Cforall,
     924    contributer = {pabuhr@plg},
    910925    key         = {Cforall},
    911     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
    912     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
     926    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
     927    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-~cforall/\-features}},
    913928    optnote     = {Accessed: 2018-01-01},
    914929}
    … …  
    926941
    927942@misc{CFAStackEvaluation,
     943    contributer = {a3moss@plg},
    928944    author      = {Aaron Moss},
    929945    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
    930946    year        = 2018,
    931     howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{\textcolor{blue}{Q4: https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}}},
     947    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
    932948    optnote     = {[Accessed May 2018]},
    933949}
    934950
    935951@article{Moss18,
    936     keywords    = {concurrency, C++},
     952    keywords    = {type systems, tuples, Cforall},
    937953    contributer = {pabuhr@plg},
    938954    author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
    939955    title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
    940956    year        = 2018,
     957    month       = aug,
    941958    journal     = spe,
    942     note        = {Accepted, to appear},
     959    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    943960}
    944961
    … …  
    962979    comment     = {
    963980        The evidence given is thin.
    964         }
     981    },
    965982}
    966983
    … …  
    14161433}
    14171434
     1435@misc{NThreadCode13,
     1436    keywords    = {N-thread software-solution mutual exclusion},
     1437    contributer = {pabuhr@plg},
     1438    key         = {concurrent locking},
     1439    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
     1440    title       = {concurrent-locking},
     1441    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
     1442    optnote     = {[Accessed April 2017]},
     1443}
     1444
    14181445@incollection{Reppy93,
    14191446    keywords    = {ML, concurrency, continuation passing},
    … …  
    14891516    month       = dec,
    14901517    year        = 2017,
    1491     note        = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-7.0.0.sh}{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-7.0.0.sh}},
     1518    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-~usystem/\-pub/\-uSystem/uC++.pdf}},
    14921519}
    14931520
    … …  
    15561583}
    15571584
     1585@mastersthesis{Sun15,
     1586    author      = {Sun, Xianda},
     1587    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
     1588    school      = {School of Computer Science, University of Waterloo},
     1589    year        = 2015,
     1590    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     1591    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/10013}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-10013}},
     1592}
     1593
    15581594@book{Andrews91:book,
    15591595    keywords    = {concurrency},
    … …  
    15801616
    15811617@mastersthesis{Delisle18,
    1582     author      = {Thierry Delisle },
     1618    keywords    = {concurrency, Cforall},
     1619    contributer = {pabuhr@plg},
     1620    author      = {Thierry Delisle},
    15831621    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
    15841622    school      = {School of Computer Science, University of Waterloo},
    15851623    year        = 2018,
    1586     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1624    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    15871625    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
     1626}
     1627
     1628@article{Delisle18b,
     1629    keywords    = {concurrency, Cforall},
     1630    contributer = {pabuhr@plg},
     1631    author      = {Thierry Delisle and Peter A. Buhr},
     1632    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     1633    year        = 2018,
     1634    journal     = spe,
     1635    pages       = {1-32},
     1636    note        = {submitted},
    15881637}
    15891638
    … …  
    18271876    key         = {Peter Buhr},
    18281877    title       = {CS343},
    1829     year        = 2017,
     1878    year        = 2018,
    18301879    howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
    18311880}
    … …  
    28642913    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    28652914    title       = {Fast mutual exclusion by the {T}riangle algorithm},
    2866     author      = {Wim H. Hesselink and Peter Buhr and David Dice},
     2915    author      = {Wim H. Hesselink and Peter A. Buhr and David Dice},
    28672916    journal     = ccpe,
    28682917    volume      = 30,
    … …  
    28712920    month       = feb,
    28722921    publisher   = {John Wiley \& Sons},
    2873     note        = {\url{https://doi.org/10.1002/cpe.4183}}
     2922    note        = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}}
    28742923}
    28752924
    … …  
    32833332    edition     = {{S}imon {M}arlow},
    32843333    year        = 2010,
    3285     note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
     3334    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}},
    32863335}
    32873336
    … …  
    33573406}
    33583407
    3359 @article{Hesselink17,
     3408@article{Hesselink17b,
    33603409    keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
    33613410    title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
    3362     author      = {Peter Buhr and David Dice and Wim H. Hesselink},
     3411    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
    33633412    journal     = ccpe,
    3364     volumeopt   = 30,
    3365     numberopt   = 4,
     3413    volume      = 30,
     3414    number      = 18,
    33663415    year        = 2018,
    3367     month       = may,
     3416    month       = sep,
    33683417    publisher   = {John Wiley \& Sons},
    3369     note        = {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
     3418    note        = {\href{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{https://\-doi-org.proxy.lib.uwaterloo.ca/\-10.1002/\-cpe.4475}},
    33703419}
    33713420
    … …  
    38463895% K
    38473896
     3897@inproceedings{Buhr96b,
     3898    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
     3899    title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
     3900    booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
     3901    publisher   = {ACM Press},
     3902    address     = {Philadelphia, Pennsylvania, U.S.A.},
     3903    month       = may,
     3904    year        = 1996,
     3905    pages       = {80-87},
     3906}
     3907
    38483908@article{Duggan96,
    38493909    keywords    = {concurrency, critical section},
    38503910    contributer = {pabuhr@plg},
    3851     author      = {Dominic Duggan and G. V. Cormack and John Ophel},
     3911    author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
    38523912    title       = {Kinded Type Inference for Parametric Overloading},
    38533913    journal     = acta,
    … …  
    45334593% N
    45344594
     4595@techreport{Drepper03,
     4596    keywords    = {NPTL, threading, 1:1 model},
     4597    contributer = {pabuhr@plg},
     4598    author      = {Ulrich Drepper and Ingo Molnar},
     4599    title       = {The Native POSIX Thread Library for Linux},
     4600    institution = {Red Hat},
     4601    year        = 2003,
     4602    note        = {\href{http://www.cs.utexas.edu/~witchel/372/lectures/POSIX_Linux_Threading.pdf}{http://www.cs.utexas.edu/\-$\sim$witchel/\-372/\-lectures/\-POSIX\_Linux\_Threading.pdf}},
     4603}
     4604
    45354605@article{Haddon77,
    45364606    keywords    = {monitors, nested monitor calls},
    … …  
    46564726    volume      = 9,
    46574727    pages       = {157-164},
     4728}
     4729
     4730@misc{nginx,
     4731    key         = {nginx},
     4732    author      = {{NGINX}},
     4733    howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}},
    46584734}
    46594735
    … …  
    47684844@misc{obj-c-book,
    47694845    keywords    = {objective-c},
    4770     contributor = {a3moss@uwaterloo.ca},
     4846    contributor = {pabuhr@plg},
    47714847    key         = {Objective-C},
    4772     title       = {Objective-C},
     4848    author      = {Objective-C},
    47734849    publisher   = {Apple Inc.},
    4774     year        = 2015,
    4775     howpublished= {\href{https://developer.apple.com/library/content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},
     4850    year        = 2014,
     4851    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
    47764852    optnote     = {Accessed: 2018-03}
    47774853}
    … …  
    47834859    title       = {{X}code 7 Release Notes},
    47844860    year        = 2015,
    4785     howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
     4861    howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://\-developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
    47864862    optnote     = {Accessed: 2017-04}
    47874863}
    … …  
    52835359}
    52845360
     5361@misc{perf,
     5362    contributer = {pabuhr@plg},
     5363    key         = {perf},
     5364    author      = {perf},
     5365    howpublished= {\href{https://perf.wiki.kernel.org/index.php/Tutorial}{https://\-perf.wiki.kernel.org/\-index.php/\-Tutorial}},
     5366}
     5367
     5368@misc{Verch12,
     5369    contributer = {pabuhr@plg},
     5370    author      = {Shaun Verch},
     5371    title       = {Performance Analysis of 64-Bit Capriccio},
     5372    month       = may,
     5373    year        = 2012,
     5374    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
     5375    optnote     = {Accessed: 2013-10-4}
     5376}
     5377
    52855378@article{Anderson90,
    52865379    keywords    = {spin locks, back off, performance},
    … …  
    55035596    note        = {Proceedings of the OOPSLA'89 Conference, Oct. 1--6, 1989, New Orleans, Lousiana},
    55045597    abstract    = {},
     5598}
     5599
     5600@inproceedings{Buhr98,
     5601    keywords    = {profiling, monitoring, visualization},
     5602    contributer = {pabuhr@plg},
     5603    author      = {Peter A. Buhr and Robert Denda},
     5604    title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
     5605    booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
     5606    series      = {Lecture Notes in Computer Science},
     5607    publisher   = {Springer-Verlag},
     5608    volume      = 1505,
     5609    opteditor   = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn},
     5610    address     = {Santa Fe, New Mexico, U.S.A.},
     5611    month       = dec,
     5612    year        = 1998,
     5613    pages       = {159-166},
    55055614}
    55065615
    … …  
    58555964    keywords    = {Cyclone, existential types, polymorphism, type variables},
    58565965    contributer = {a3moss@plg},
    5857     author      = {D. Grossman},
     5966    author      = {Dan Grossman},
    58585967    title       = {Quantified Types in an Imperative Language},
    58595968    journal     = toplas,
    … …  
    59646073}
    59656074
     6075@article{Ronsse03,
     6076    keywords    = {profiling, replay},
     6077    contributer = {pabuhr@plg},
     6078    author      = {Michiel Ronsse and De Bosschere, Koen and Mark Christiaens and Jacques Chassin de Kergommeaux and Dieter Kranzlm\"{u}ller},
     6079    title       = {Record/Replay for Nondeterministic Program Executions},
     6080    journal     = cacm,
     6081    month       = sep,
     6082    year        = 2003,
     6083    volume      = 46,
     6084    number      = 9,
     6085    pages       = {62-67},
     6086}
     6087
    59666088@article{Robinson48,
    59676089    keywords    = {recursion, Ackermann function},
    … …  
    60026124}
    60036125
     6126@mastersthesis{Schuster99,
     6127    author      = {Oliver Schuster},
     6128    title       = {Replay of Concurrent Shared-Memory Programs},
     6129    school      = {Universit\"at Mannheim},
     6130    address     = {Mannheim, Deutschland},
     6131    year        = 1999,
     6132    month       = apr,
     6133    type        = {Diplomarbeit},
     6134    note        = {\href{ftp://plg.uwaterloo.ca/pub/theses/SchusterThesis.ps.gz}{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-SchusterThesis.ps.gz}},
     6135}
     6136
    60046137@article{Euclid,
    60056138    keywords    = {Euclid},
    … …  
    60336166    school      = {School of Computer Science, University of Waterloo},
    60346167    year        = 2017,
    6035     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     6168    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    60366169    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
    60376170}
    … …  
    68606993    contributer = {pabuhr@plg},
    68616994    key         = {TIOBE Index},
    6862     title       = {{TIOBE} Index},
     6995    author      = {{TIOBE Index}},
    68636996    howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
    68646997    optnote     = {Accessed: 2018-09},
    … …  
    70007133    year        = 1980
    70017134}
     7135
     7136@misc{TraceCompass,
     7137    contributer = {pabuhr@plg},
     7138    key         = {Trace Compass},
     7139    author      = {{T}race {C}ompass},
     7140    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
     7141}
    70027142 
    70037143@article{Leroy00,
    … …  
    71357275    title       = {Usability Challenges in Exception Handling},
    71367276    booktitle   = {5th International Workshop on Exception Handling (WEH)},
    7137     organization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     7277    optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
    71387278    address     = {Zurich, Switzerland},
    71397279    month       = jun,
    … …  
    72797419}
    72807420
     7421@inproceedings{vonBehren03,
     7422    keywords    = {threads, events, web server},
     7423    contributer = {pabuhr@plg},
     7424    author      = {Rob von Behren and Jeremy Condit and Eric Brewer},
     7425    title       = {Why Events Are a Bad Idea (for high-concurrency servers)},
     7426    booktitle   = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems},
     7427    publisher   = {USENIX Association},
     7428    address     = {Lihue, Hawaii, U.S.A.},
     7429    month       = may,
     7430    year        = 2003,
     7431    pages       = {19-24},
     7432}
     7433
    72817434@techreport{Moss90,
    72827435    keywords    = {Swizzling, database},
    … …  
    73437496    year        = 1986,
    73447497    editor      = {Norman Meyrowitz},
    7345     publisher   = sigplan # " 21(11)",
     7498    publisher   = sigplan,
    73467499    organization= {Association for Computing Machinery},
    73477500    address     = {Portland, Oregon},
    7348     month       = sep # { 29}
     7501    month       = sep,
    73497502}
    73507503
    … …  
    73557508    year        = 1987,
    73567509    editor      = {Norman Meyrowitz},
    7357     publisher   = sigplan # " 22(12)",
     7510    publisher   = sigplan,
    73587511    organization= {Association for Computing Machinery},
    73597512    address     = {Orlando, Florida},
    7360     month       = oct # { 4--8}
     7513    month       = oct,
    73617514}
    73627515
    … …  
    73677520    year        = 1988,
    73687521    editor      = {Norman Meyrowitz},
    7369     publisher   = sigplan # " 23(11)",
     7522    publisher   = sigplan,
    73707523    organization= {Association for Computing Machinery},
    73717524    address     = {San Diego, California},
    7372     month       = sep # { 25--30}
     7525    month       = sep,
    73737526}
    73747527
    … …  
    73797532    year        = 1989,
    73807533    editor      = {Norman Meyrowitz},
    7381     publisher   = sigplan # " 24(10)",
     7534    publisher   = sigplan,
    73827535    organization= {Association for Computing Machinery},
    73837536    address     = {New Orleans, Louisiana},
    7384     month       = oct # { 1--6}
     7537    month       = oct,
    73857538}
    73867539
    … …  
    73917544    year        = 1990,
    73927545    editor      = {Norman Meyrowitz},
    7393     publisher   = sigplan # " 25(10)",
     7546    publisher   = sigplan,
    73947547    organization= {Association for Computing Machinery},
    73957548    address     = {Ottawa, Canada},
    7396     month       = oct # { 21--25}
     7549    month       = oct,
    73977550}
    73987551
    … …  
    74037556    year        = 1991,
    74047557    editor      = {Andreas Paepcke},
    7405     publisher   = sigplan # " 26(11)",
     7558    publisher   = sigplan,
    74067559    organization= {Association for Computing Machinery},
    74077560    address     = {Phoenix, Arizona},
    7408     month       = oct # { 6--11}
    7409 }
     7561    month       = oct,
     7562}
Note: See TracChangeset for help on using the changeset viewer.