Changes in doc/bibliography/pl.bib [031a88a9:5883914]

File:

• doc/bibliography/pl.bib (modified) (34 diffs)

doc/bibliography/pl.bib

@@ -701 +701 @@
 % B
 
-@article{Michael13,
-    contributer = {pabuhr@plg},
-    author      = {Maged M. Michael},
-    title       = {The Balancing Act of Choosing Nonblocking Features},
-    journal     = cacm,
-    volume      = 56,
-    number      = 9,
-    month       = sep,
-    year        = 2013,
-    pages       = {46--53},
-    publisher   = {ACM},
-    address     = {New York, NY, USA},
-}
-
 @incollection{beta:old,
     keywords    = {beta, patterns, virtual types},
@@ -922 +908 @@
 
 @misc{Cforall,
-    contributer = {pabuhr@plg},
     key         = {Cforall},
-    author      = {{\textsf{C}{$\mathbf{\forall}$} Features}},
-    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/features}{https://\-plg.uwaterloo.ca/\-~cforall/\-features}},
+    title       = {\textsf{C}{$\mathbf{\forall}$} Features},
+    howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
     optnote     = {Accessed: 2018-01-01},
 }
@@ -941 +926 @@
 
 @misc{CFAStackEvaluation,
-    contributer = {a3moss@plg},
     author      = {Aaron Moss},
     title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
     year        = 2018,
-    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}},
+    howpublished= {\href{https://cforall.uwaterloo.ca/CFAStackEvaluation.zip}{\textcolor{blue}{Q4: https://cforall.uwaterloo.ca/\-CFAStackEvaluation.zip}}},
     optnote     = {[Accessed May 2018]},
 }
 
 @article{Moss18,
-    keywords    = {type systems, tuples, Cforall},
+    keywords    = {concurrency, C++},
     contributer = {pabuhr@plg},
     author      = {Aaron Moss and Robert Schluntz and Peter A. Buhr},
     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     year        = 2018,
-    month       = aug,
     journal     = spe,
-    note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
+    note        = {Accepted, to appear},
 }
 
@@ -979 +962 @@
     comment     = {
         The evidence given is thin.
-    },
+        }
 }
 
@@ -1433 +1416 @@
 }
 
-@misc{NThreadCode13,
-    keywords    = {N-thread software-solution mutual exclusion},
-    contributer = {pabuhr@plg},
-    key         = {concurrent locking},
-    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
-    title       = {concurrent-locking},
-    howpublished= {\href{https://github.com/pabuhr/concurrent-locking}{https://\-github.com/\-pabuhr/\-concurrent-locking}},
-    optnote     = {[Accessed April 2017]},
-}
-
 @incollection{Reppy93,
     keywords    = {ML, concurrency, continuation passing},
@@ -1516 +1489 @@
     month       = dec,
     year        = 2017,
-    note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-~usystem/\-pub/\-uSystem/uC++.pdf}},
+    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}},
 }
 
@@ -1583 +1556 @@
 }
 
-@mastersthesis{Sun15,
-    author      = {Sun, Xianda},
-    title       = {Concurrent High-performance Persistent Hash Table In {J}ava},
-    school      = {School of Computer Science, University of Waterloo},
-    year        = 2015,
-    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
-    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/10013}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-10013}},
-}
-
 @book{Andrews91:book,
     keywords    = {concurrency},
@@ -1616 +1580 @@
 
 @mastersthesis{Delisle18,
-    keywords    = {concurrency, Cforall},
-    contributer = {pabuhr@plg},
-    author      = {Thierry Delisle},
+    author      = {Thierry Delisle },
     title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     school      = {School of Computer Science, University of Waterloo},
     year        = 2018,
-    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
+    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/12888}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-12888}},
-}
-
-@article{Delisle18b,
-    keywords    = {concurrency, Cforall},
-    contributer = {pabuhr@plg},
-    author      = {Thierry Delisle and Peter A. Buhr},
-    title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
-    year        = 2018,
-    journal     = spe,
-    pages       = {1-32},
-    note        = {submitted},
 }
 
@@ -1876 +1827 @@
     key         = {Peter Buhr},
     title       = {CS343},
-    year        = 2018,
+    year        = 2017,
     howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
 }
@@ -2913 +2864 @@
     keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
     title       = {Fast mutual exclusion by the {T}riangle algorithm},
-    author      = {Wim H. Hesselink and Peter A. Buhr and David Dice},
+    author      = {Wim H. Hesselink and Peter Buhr and David Dice},
     journal     = ccpe,
     volume      = 30,
@@ -2920 +2871 @@
     month       = feb,
     publisher   = {John Wiley \& Sons},
-    note        = {\href{https://doi.org/10.1002/cpe.4183}{https://\-doi.org/\-10.1002/\-cpe.4183}}
+    note        = {\url{https://doi.org/10.1002/cpe.4183}}
 }
 
@@ -3332 +3283 @@
     edition     = {{S}imon {M}arlow},
     year        = 2010,
-    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://\-haskell.org/\-definition/\-haskell2010.pdf}},
+    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
 }
 
@@ -3406 +3357 @@
 }
 
-@article{Hesselink17b,
+@article{Hesselink17,
     keywords    = {concurrency, mutual exclusion, performance experiment, software solutions},
     title       = {High-Contention Mutual Exclusion by Elevator Algorithms},
-    author      = {Peter A. Buhr and David Dice and Wim H. Hesselink},
+    author      = {Peter Buhr and David Dice and Wim H. Hesselink},
     journal     = ccpe,
-    volume      = 30,
-    number      = 18,
+    volumeopt   = 30,
+    numberopt   = 4,
     year        = 2018,
-    month       = sep,
+    month       = may,
     publisher   = {John Wiley \& Sons},
-    note        = {\href{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{https://\-doi-org.proxy.lib.uwaterloo.ca/\-10.1002/\-cpe.4475}},
+    note        = {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
 }
 
@@ -3895 +3846 @@
 % K
 
-@inproceedings{Buhr96b,
-    author      = {Peter A. Buhr and Martin Karsten and Jun Shih},
-    title       = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications},
-    booktitle   = {Proceedings of SPDT'96: SIGMETRICS Symposium on Parallel and Distributed Tools},
-    publisher   = {ACM Press},
-    address     = {Philadelphia, Pennsylvania, U.S.A.},
-    month       = may,
-    year        = 1996,
-    pages       = {80-87},
-}
-
 @article{Duggan96,
     keywords    = {concurrency, critical section},
     contributer = {pabuhr@plg},
-    author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
+    author      = {Dominic Duggan and G. V. Cormack and John Ophel},
     title       = {Kinded Type Inference for Parametric Overloading},
     journal     = acta,
@@ -4593 +4533 @@
 % N
 
-@techreport{Drepper03,
-    keywords    = {NPTL, threading, 1:1 model},
-    contributer = {pabuhr@plg},
-    author      = {Ulrich Drepper and Ingo Molnar},
-    title       = {The Native POSIX Thread Library for Linux},
-    institution = {Red Hat},
-    year        = 2003,
-    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}},
-}
-
 @article{Haddon77,
     keywords    = {monitors, nested monitor calls},
@@ -4726 +4656 @@
     volume      = 9,
     pages       = {157-164},
-}
-
-@misc{nginx,
-    key         = {nginx},
-    author      = {{NGINX}},
-    howpublished= {\href{https://www.nginx.com}{https://\-www.nginx.com}},
 }
 
@@ -4844 +4768 @@
 @misc{obj-c-book,
     keywords    = {objective-c},
-    contributor = {pabuhr@plg},
+    contributor = {a3moss@uwaterloo.ca},
     key         = {Objective-C},
-    author      = {Objective-C},
+    title       = {Objective-C},
     publisher   = {Apple Inc.},
-    year        = 2014,
-    howpublished= {\href{https://developer.apple.com/library/archive/documentation/Cocoa/Conceptual/ProgrammingWithObjectiveC}{https://\-developer.apple.com/\-library/archive/\-documentation/\-Cocoa/\-Conceptual/\-ProgrammingWithObjectiveC}},
+    year        = 2015,
+    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}},
     optnote     = {Accessed: 2018-03}
 }
@@ -4859 +4783 @@
     title       = {{X}code 7 Release Notes},
     year        = 2015,
-    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}},
+    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}},
     optnote     = {Accessed: 2017-04}
 }
@@ -5359 +5283 @@
 }
 
-@misc{perf,
-    contributer = {pabuhr@plg},
-    key         = {perf},
-    author      = {perf},
-    howpublished= {\href{https://perf.wiki.kernel.org/index.php/Tutorial}{https://\-perf.wiki.kernel.org/\-index.php/\-Tutorial}},
-}
-
-@misc{Verch12,
-    contributer = {pabuhr@plg},
-    author      = {Shaun Verch},
-    title       = {Performance Analysis of 64-Bit Capriccio},
-    month       = may,
-    year        = 2012,
-    howpublished= {\href{http://cs.brown.edu/research/pubs/theses/masters/2012/verch.pdf}{http://cs.brown.edu/\-research/\-pubs/\-theses/\-masters/\-2012/\-verch.pdf}},
-    optnote     = {Accessed: 2013-10-4}
-}
-
 @article{Anderson90,
     keywords    = {spin locks, back off, performance},
@@ -5596 +5503 @@
     note        = {Proceedings of the OOPSLA'89 Conference, Oct. 1--6, 1989, New Orleans, Lousiana},
     abstract    = {},
-}
-
-@inproceedings{Buhr98,
-    keywords    = {profiling, monitoring, visualization},
-    contributer = {pabuhr@plg},
-    author      = {Peter A. Buhr and Robert Denda},
-    title       = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment},
-    booktitle   = {Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},
-    series      = {Lecture Notes in Computer Science},
-    publisher   = {Springer-Verlag},
-    volume      = 1505,
-    opteditor   = {Dennis Caromel and Rodney R. Oldehoeft and Marydell Tholburn},
-    address     = {Santa Fe, New Mexico, U.S.A.},
-    month       = dec,
-    year        = 1998,
-    pages       = {159-166},
 }
 
@@ -5964 +5855 @@
     keywords    = {Cyclone, existential types, polymorphism, type variables},
     contributer = {a3moss@plg},
-    author      = {Dan Grossman},
+    author      = {D. Grossman},
     title       = {Quantified Types in an Imperative Language},
     journal     = toplas,
@@ -6073 +5964 @@
 }
 
-@article{Ronsse03,
-    keywords    = {profiling, replay},
-    contributer = {pabuhr@plg},
-    author      = {Michiel Ronsse and De Bosschere, Koen and Mark Christiaens and Jacques Chassin de Kergommeaux and Dieter Kranzlm\"{u}ller},
-    title       = {Record/Replay for Nondeterministic Program Executions},
-    journal     = cacm,
-    month       = sep,
-    year        = 2003,
-    volume      = 46,
-    number      = 9,
-    pages       = {62-67},
-}
-
 @article{Robinson48,
     keywords    = {recursion, Ackermann function},
@@ -6124 +6002 @@
 }
 
-@mastersthesis{Schuster99,
-    author      = {Oliver Schuster},
-    title       = {Replay of Concurrent Shared-Memory Programs},
-    school      = {Universit\"at Mannheim},
-    address     = {Mannheim, Deutschland},
-    year        = 1999,
-    month       = apr,
-    type        = {Diplomarbeit},
-    note        = {\href{ftp://plg.uwaterloo.ca/pub/theses/SchusterThesis.ps.gz}{ftp://\-plg.uwaterloo.ca/\-pub/\-theses/\-SchusterThesis.ps.gz}},
-}
-
 @article{Euclid,
     keywords    = {Euclid},
@@ -6166 +6033 @@
     school      = {School of Computer Science, University of Waterloo},
     year        = 2017,
-    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
+    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/11830}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-11830}},
 }
@@ -6993 +6860 @@
     contributer = {pabuhr@plg},
     key         = {TIOBE Index},
-    author      = {{TIOBE Index}},
+    title       = {{TIOBE} Index},
     howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
     optnote     = {Accessed: 2018-09},
@@ -7133 +7000 @@
     year        = 1980
 }
-
-@misc{TraceCompass,
-    contributer = {pabuhr@plg},
-    key         = {Trace Compass},
-    author      = {{T}race {C}ompass},
-    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
-}
  
 @article{Leroy00,
@@ -7275 +7135 @@
     title       = {Usability Challenges in Exception Handling},
     booktitle   = {5th International Workshop on Exception Handling (WEH)},
-    optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
+    organization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
     address     = {Zurich, Switzerland},
     month       = jun,
@@ -7419 +7279 @@
 }
 
-@inproceedings{vonBehren03,
-    keywords    = {threads, events, web server},
-    contributer = {pabuhr@plg},
-    author      = {Rob von Behren and Jeremy Condit and Eric Brewer},
-    title       = {Why Events Are a Bad Idea (for high-concurrency servers)},
-    booktitle   = {HotOS IX: The 9th Workshop on Hot Topics in Operating Systems},
-    publisher   = {USENIX Association},
-    address     = {Lihue, Hawaii, U.S.A.},
-    month       = may,
-    year        = 2003,
-    pages       = {19-24},
-}
-
 @techreport{Moss90,
     keywords    = {Swizzling, database},
@@ -7496 +7343 @@
     year        = 1986,
     editor      = {Norman Meyrowitz},
-    publisher   = sigplan,
+    publisher   = sigplan # " 21(11)",
     organization= {Association for Computing Machinery},
     address     = {Portland, Oregon},
-    month       = sep,
+    month       = sep # { 29}
 }
 
@@ -7508 +7355 @@
     year        = 1987,
     editor      = {Norman Meyrowitz},
-    publisher   = sigplan,
+    publisher   = sigplan # " 22(12)",
     organization= {Association for Computing Machinery},
     address     = {Orlando, Florida},
-    month       = oct,
+    month       = oct # { 4--8}
 }
 
@@ -7520 +7367 @@
     year        = 1988,
     editor      = {Norman Meyrowitz},
-    publisher   = sigplan,
+    publisher   = sigplan # " 23(11)",
     organization= {Association for Computing Machinery},
     address     = {San Diego, California},
-    month       = sep,
+    month       = sep # { 25--30}
 }
 
@@ -7532 +7379 @@
     year        = 1989,
     editor      = {Norman Meyrowitz},
-    publisher   = sigplan,
+    publisher   = sigplan # " 24(10)",
     organization= {Association for Computing Machinery},
     address     = {New Orleans, Louisiana},
-    month       = oct,
+    month       = oct # { 1--6}
 }
 
@@ -7544 +7391 @@
     year        = 1990,
     editor      = {Norman Meyrowitz},
-    publisher   = sigplan,
+    publisher   = sigplan # " 25(10)",
     organization= {Association for Computing Machinery},
     address     = {Ottawa, Canada},
-    month       = oct,
+    month       = oct # { 21--25}
 }
 
@@ -7556 +7403 @@
     year        = 1991,
     editor      = {Andreas Paepcke},
-    publisher   = sigplan,
+    publisher   = sigplan # " 26(11)",
     organization= {Association for Computing Machinery},
     address     = {Phoenix, Arizona},
-    month       = oct,
-}
+    month       = oct # { 6--11}
+}