Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision f9bf142ef442d7af8e2d6db94b4a55098b694cfd)
+++ doc/bibliography/pl.bib	(revision dac5500446efde6cc36f8ce0afb6e51224e7d2ab)
@@ -9,5 +9,4 @@
 %    Predefined journal names:
 %  acmcs: Computing Surveys		acta: Acta Infomatica
-@string{acta="Acta Infomatica"}
 %  cacm: Communications of the ACM
 %  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
@@ -22,4 +21,5 @@
 %  tcs: Theoretical Computer Science
 
+@string{acta="Acta Infomatica"}
 string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
 @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
@@ -124,4 +124,34 @@
     series	= {ACM Distinguished Dissertations},
     year	= 1983,
+}
+
+@article{Zhang19,
+    keywords	= {Algebraic effects, dynamic scoping, exceptions, parametricity, type systems},
+    author	= {Zhang, Yizhou and Myers, Andrew C.},
+    title	= {Abstraction-safe Effect Handlers via Tunneling},
+    journal	= {Proc. ACM Program. Lang.},
+    issue_date	= {January 2019},
+    volume	= {3},
+    number	= {POPL},
+    month	= jan,
+    year	= {2019},
+    issn	= {2475-1421},
+    pages	= {5:1--5:29},
+    articleno	= {5},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+}
+
+@inproceedings{Zhang16,
+    keywords	= {Exception tunneling, Genus, exception handling},
+    author	= {Zhang, Yizhou and Salvaneschi, Guido and Beightol, Quinn and Liskov, Barbara and Myers, Andrew C.},
+    title	= {Accepting Blame for Safe Tunneled Exceptions},
+    booktitle	= {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
+    series	= {PLDI'16},
+    year	= {2016},
+    location	= {Santa Barbara, CA, USA},
+    pages	= {281--295},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
 }
 
@@ -398,5 +428,8 @@
     journal	= sigplan,
     year	= 1981,
-    month	= feb, volume = 16, number = 2, pages = {48-52},
+    month	= feb,
+    volume	= 16,
+    number	= 2,
+    pages	= {48-52},
     comment	= {
         A one-pass, top-down algorithm for overload resolution.  Input is a
@@ -477,7 +510,9 @@
     title	= {An Alternative to Subclassing},
     journal	= sigplan,
-    volume	= {21},    number = {11},
+    volume	= {21},
+    number	= {11},
     pages	= {424-428},
-    month	= nov, year = 1986,
+    month	= nov,
+    year	= 1986,
     comment	= {
     	The Smalltalk class hierarchy has three uses: factoring out code;
@@ -533,5 +568,4 @@
     isbn	= {3-540-66538-2},
     location	= {Toulouse, France},
-    doi		= {http://doi.acm.org/10.1145/318773.319251},
     publisher	= {Springer},
     address	= {London, UK},
@@ -631,5 +665,4 @@
     year	= 2010,
     pages	= {39--50},
-    numpages	= {12},
     publisher	= {IEEE Computer Society},
     address	= {Washington, DC, USA},
@@ -922,4 +955,15 @@
 }
 
+@manual{C99,
+    keywords	= {ISO/IEC C 9899},
+    contributer	= {pabuhr@plg},
+    key		= {C99},
+    title	= {C Programming Language {ISO/IEC} 9899:1999(E)},
+    edition	= {2nd},
+    publisher	= {International Standard Organization},
+    address	= {\href{https://webstore.ansi.org/Standards/INCITS/INCITSISOIEC98991999R2005}{https://webstore.ansi.org/\-Standards/\-INCITS/\-INCITSISOIEC98991999R2005}},
+    year	= 1999,
+}
+
 @manual{C11,
     keywords	= {ISO/IEC C 11},
@@ -1305,8 +1349,4 @@
     location	= {London, United Kingdom},
     pages	= {41--53},
-    numpages	= {13},
-    url		= {http://doi.acm.org/10.1145/360204.360207},
-    doi		= {10.1145/360204.360207},
-    acmid	= {360207},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -2408,5 +2448,4 @@
     year	= 1993,
     pages	= {201--208},
-    url		= {http://doi.acm.org/10.1145/155360.155580},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -2606,5 +2645,4 @@
     location	= {Boulder, Colorado, USA},
     pages	= {91--97},
-    numpages	= {7},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -2637,8 +2675,4 @@
     issn	= {0004-5411},
     pages	= {215--225},
-    numpages	= {11},
-    url		= {http://doi.acm.org/10.1145/321879.321884},
-    doi		= {10.1145/321879.321884},
-    acmid	= {321884},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -2708,4 +2742,16 @@
 }
 
+@misc{Drepper13,
+    keywords	= {thread-local storage},
+    contributer	= {pabuhr@plg},
+    author	= {Ulrich Drepper},
+    title	= {{ELF} Handling For Thread-Local Storage},
+    year	= 2013,
+    month	= aug,
+    note	= {WikipediA},
+    howpublished= {\href{http://www.akkadia.org/drepper/tls.pdf}
+		  {http://\-www.akkadia.org/\-drepper/\-tls.pdf}},
+}
+
 @misc{Turley99,
     keywords	= {embedded system, micrprocessor},
@@ -2718,4 +2764,17 @@
     howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712}
 		  {https://\-www.eetimes.com/\-author.asp?sectionid=\-36&doc_id=1287712}},
+}
+
+@article{Xiao19,
+    keywords	= {bug classification, fault trigger, Linux operating system, regression bug},
+    contributer	= {pabuhr@plg},
+    author	= {Guanping Xiao and Zheng Zheng and Beibei Yin and Kishor S. Trivedi and Xiaoting Du and Kai-Yuan Cai},
+    title	= {An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective},
+    journal	= {IEEE Transactions on Reliability},
+    month	= dec,
+    year	= 2019,
+    volume	= 68,
+    number	= 4,
+    pages	= {1356-1383},
 }
 
@@ -3137,4 +3196,19 @@
 }
 
+@inproceedings{Palix11,
+    keywords	= {Linux, fault-finding tools},
+    contributer	= {pabuhr@plg},
+    author	= {Nicolas Palix and Ga\"el Thomas and Suman Saha and Christophe Calv\`es and Julia Lawall and Gilles Muller},
+    title	= {Faults in Linux: Ten Years Later},
+    booktitle	= {Proc. of the 16 International Conf. on Arch. Support for Prog. Lang. and Oper. Sys.},
+    series	= {ASPLOS'11},
+    month	= mar,
+    year	= 2011,
+    location	= {Newport Beach, California, USA},
+    pages	= {305-318},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+}
+
 @article{Lamport87,
     keywords	= {software solutions, mutual exclusion, fast},
@@ -3258,8 +3332,4 @@
     issn	= {0001-0782},
     pages	= {107--115},
-    numpages	= {9},
-    url		= {http://doi.acm.org/10.1145/1538788.1538814},
-    doi		= {10.1145/1538788.1538814},
-    acmid	= {1538814},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -3664,4 +3734,13 @@
 }
 
+@mastersthesis{Radhakrishnan19,
+    author	= {Srihari Radhakrishnan},
+    title	= {High Performance Web Servers: A Study In Concurrent Programming Models},
+    school	= {School of Computer Sc., University of Waterloo},
+    year	= 2019,
+    optaddress	= {Waterloo, Ontario, Canada, N2L 3G1},
+    note	= {\href{https://uwspace.uwaterloo.ca/handle/10012/14706}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14706}},
+}
+
 @article{katzenelson83b,
     contributer	= {gjditchfield@plg},
@@ -3697,4 +3776,15 @@
     pages	= {115-138},
     year	= 1971,
+}
+
+@inproceedings{Hagersten03,
+    keywords	= {cache storage, parallel architectures, performance evaluation, shared memory systems},
+    author	= {Zoran Radovi\'{c} and Erik Hagersten},
+    title	= {Hierarchical backoff locks for nonuniform communication architectures},
+    booktitle	= {Proceedings of the Ninth International Symposium on High-Performance Computer Architecture},
+    year	= {2003},
+    location	= {Anaheim, CA, USA},
+    pages	= {241-252},
+    publisher	= {IEEE},
 }
 
@@ -4365,4 +4455,15 @@
 }
 
+@misc{gccValueLabels,
+    keywords	= {gcc extension, value labels},
+    contributer	= {pabuhr@plg},
+    key		= {Labels as Values},
+    author	= {{gcc Extension}},
+    title	= {Labels as Values},
+    year	= {since gcc-3},
+    howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html}
+		  {https:\-//gcc.gnu.org/\-onlinedocs/\-gcc/\-Labels-as-Values.html}},
+}
+
 @mastersthesis{Clarke90,
     keywords	= {concurrency, postponing requests},
@@ -4457,5 +4558,5 @@
 
 @article{Pierce00,
-    keywords	= {Scala},
+    keywords	= {Scala, polymorphism, subtyping, type inference},
     contributer	= {a3moss@uwaterloo.ca},
     author	= {Pierce, Benjamin C. and Turner, David N.},
@@ -4469,12 +4570,22 @@
     issn	= {0164-0925},
     pages	= {1--44},
-    numpages	= {44},
-    url		= {http://doi.acm.org/10.1145/345099.345100},
-    doi		= {10.1145/345099.345100},
-    acmid	= {345100},
     publisher	= {ACM},
     address	= {New York, NY, USA},
-    keywords	= {polymorphism, subtyping, type inference},
 } 
+
+@article{Dice15,
+    keywords	= {Concurrency, NUMA, hierarchical locks, locks, multicore, mutex, mutual exclusion, spin locks},
+    author	= {Dice, David and Marathe, Virendra J. and Shavit, Nir},
+    title	= {Lock Cohorting: A General Technique for Designing NUMA Locks},
+    journal	= {ACM Trans. Parallel Comput.},
+    issue_date	= {January 2015},
+    volume	= 1,
+    number	= 2,
+    month	= feb,
+    year	= 2015,
+    pages	= {13:1--13:42},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+}
 
 @article{Sundell08,
@@ -4554,5 +4665,8 @@
     journal	= sigplan,
     year	= 1989,
-    month	= jun, volume = 24, number = 6, pages = {37-48},
+    month	= jun,
+    volume	= 24,
+    number	= 6,
+    pages	= {37-48},
     abstract	= {
         This paper describes a scheme we have used to manage a large
@@ -4995,5 +5109,4 @@
     year	= 1986,
     pages	= {313--326},
-    numpages	= {14},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -5011,5 +5124,4 @@
     year	= 1986,
     pages	= {327--348},
-    numpages	= {22},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -5208,5 +5320,4 @@
     year	= 2005,
     pages	= {146-196},
-    numpages	= {51},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -5354,5 +5465,5 @@
     year	= 2000,
     pages	= {29-46},
-    note	= {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minnesota, U.S.A.},
+    note	= {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.},
 }
 
@@ -5468,8 +5579,4 @@
     location	= {San Diego, California, USA},
     pages	= {101--112},
-    numpages	= {12},
-    url		= {http://doi.acm.org/10.1145/2535838.2535878},
-    doi		= {10.1145/2535838.2535878},
-    acmid	= {2535878},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -5575,7 +5682,4 @@
     issn	= {0362-1340},
     pages	= {30--42},
-    numpages	= {13},
-    url		= {http://doi.acm.org/10.1145/947586.947589},
-    doi		= {10.1145/947586.947589},
     publisher	= {ACM},
     address	= {New York, NY, USA}
@@ -6112,4 +6216,18 @@
     month	= 9,
     year	= 2005,
+}
+
+@article{Bauer15,
+    keywords	= {resumption exceptions, theory},
+    contributer	= {pabuhr@plg},
+    author	= {Andrej Bauer and Matija Pretnar},
+    title	= {Programming with Algebraic Effects and Handlers},
+    journal	= {Journal of Logical and Algebraic Methods in Programming},
+    publisher	= {Elsevier BV},
+    volume	= 84,
+    number	= 1,
+    month	= jan,
+    year	= 2015,
+    pages	= {108-123},
 }
 
@@ -6499,7 +6617,4 @@
     issn	= {0164-0925},
     pages	= {429-475},
-    url		= {http://doi.acm.org/10.1145/1133651.1133653},
-    doi		= {10.1145/1133651.1133653},
-    acmid	= {1133653},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -6879,8 +6994,4 @@
     issn	= {0001-0782},
     pages	= {565--569},
-    numpages	= {5},
-    url		= {http://doi.acm.org/10.1145/359545.359566},
-    doi		= {10.1145/359545.359566},
-    acmid	= {359566},
     publisher	= {ACM},
     address	= {New York, NY, USA}
@@ -6900,8 +7011,4 @@
     issn	= {0362-1340},
     pages	= {145--147},
-    numpages	= {3},
-    url		= {http://doi.acm.org/10.1145/122598.122614},
-    doi		= {10.1145/122598.122614},
-    acmid	= {122614},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -7006,7 +7113,4 @@
     issn	= {0362-1340},
     pages	= {82--87},
-    numpages	= {6},
-    url		= {http://doi.acm.org/10.1145/947680.947688},
-    doi		= {10.1145/947680.947688},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -7153,4 +7257,17 @@
 }
 
+@article{Cascaval08,
+    author	= {Cascaval, Calin and Blundell, Colin and Michael, Maged and Cain, Harold W. and Wu, Peng and Chiras, Stefanie and Chatterjee, Siddhartha},
+    title	= {Software Transactional Memory: Why Is It Only a Research Toy?},
+    journal	= {Queue},
+    volume	= {6},
+    number	= {5},
+    month	= sep,
+    year	= {2008},
+    pages	= {40:46--40:58},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+}
+
 @article{Dijkstra65a,
     keywords	= {N-thread software-solution mutual exclusion},
@@ -7363,6 +7480,4 @@
     year	= 1974,
     pages	= {261-301},
-    issn	= {0360-0300},
-    doi		= {http://doi.acm.org/10.1145/356635.356640},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -7454,5 +7569,4 @@
     publisher	= {ACM Press},
     address	= {New York, NY, USA},
-    doi		= {http://doi.acm.org/10.1145/356586.356588},
 }
 
@@ -7755,5 +7869,16 @@
     howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
 }
- 
+
+@inproceedings{Boehm09,
+    author	= {Boehm, Hans-J.},
+    title	= {Transactional Memory Should Be an Implementation Technique, Not a Programming Interface},
+    booktitle	= {Proceedings of the First USENIX Conference on Hot Topics in Parallelism},
+    series	= {HotPar'09},
+    year	= {2009},
+    location	= {Berkeley, California},
+    publisher	= {USENIX Association},
+    address	= {Berkeley, CA, USA},
+} 
+
 @article{Leroy00,
     keywords	= {type-systems, exceptions},
@@ -7805,5 +7930,6 @@
     number	= {2},
     pages	= {204-214},
-    month	= apr, year = 1988,
+    month	= apr,
+    year	= 1988,
     comment	= {
     	Extended record types add fields to their base record.  Assignment
@@ -8110,8 +8236,4 @@
     issn	= {0004-5411},
     pages	= {245--281},
-    numpages	= {37},
-    url		= {http://doi.acm.org/10.1145/62.2160},
-    doi		= {10.1145/62.2160},
-    acmid	= {2160},
     publisher	= {ACM},
     address	= {New York, NY, USA},
@@ -8126,5 +8248,5 @@
     contributer	= {pabuhr@plg},
     author	= {Boehm, Hans-J. and Adve, Sarita V.},
-    title	= {You Don'T Know Jack About Shared Variables or Memory Models},
+    title	= {You Don't Know Jack About Shared Variables or Memory Models},
     journal	= cacm,
     volume	= 55,
