Fixes highlighted by the "picking a CHERI allocator" paper.

Author: ltratt

softdev.bib

@@ -2590,7 +2590,7 @@ @article{woodruff19chericoncentrate
       Roe, Michael and Neumann, Peter G. and Watson, Robert N. M. and
       Moore, Simon W.",
     title = "{CHERI} {Concentrate}: Practical Compressed Capabilities",
-    journal = {IEEE Transactions on Computers},
+    journal = {Transactions on Computers},
     year = 2019,
     month = Apr,
     volume = 68,
@@ -2615,7 +2615,7 @@ @techreport{watson20chericprogramming
 
 @techreport{watson20cheriintroduction,
     author = "Robert N. M. Watson and Simon W. Moore and Peter Sewell and Peter G. Neumann",
-    title = "An Introduction to CHERI",
+    title = "An Introduction to {CHERI}",
     year = 2019,
     month = Sep,
     url = "https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf",
@@ -2751,7 +2751,7 @@ @inproceedings{lin16rust
 }
 
 @misc{watson21assessing,
-    title = "Assessing the Viability of an Open-Source CHERI Desktop Software",
+    title = "Assessing the Viability of an Open-Source {CHERI} Desktop Software",
     author = "Robert N. M. Watson and Ben Laurie and Alex Richardson",
     year = 2021,
     month = Sep,
@@ -2929,7 +2929,7 @@ @inproceedings{evans06scalable
 
 @inproceedings{lietar19snmalloc,
   author = {Li\'{e}tar, Paul and Butler, Theodore and Clebsch, Sylvan and Drossopoulou, Sophia and Franco, Juliana and Parkinson, Matthew J. and Shamis, Alex and Wintersteiger, Christoph M. and Chisnall, David},
-  title = {Snmalloc: A Message Passing Allocator},
+  title = {{snmalloc}: A Message Passing Allocator},
   year = {2019},
   month = Jun,
   isbn = {9781450367226},