Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 8adcfee93ede64a21265c18bd8af677dbdeafb4a)
+++ doc/bibliography/pl.bib	(revision 5934c5fb20ac51d24ec14004cf39ed242bc27c4b)
@@ -1132,4 +1132,16 @@
     year	= 1998,
     note	= {{\small\textsf{ftp://\-plg.uwaterloo.ca/\-pub/\-Cforall/\-refrat.ps.gz}}},
+}
+
+@Inproceedings{Tarditi18,
+    keywords = {Checked C},
+    contributer = {a3moss@uwaterloo.ca},
+    author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
+    title = {Checked C: Making C Safe by Extension},
+    year = {2018},
+    month = {September},
+    publisher = {IEEE},
+    url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/},
+    pages = {53-60},
 }