Merge #87

87: added mimalloc paper r=ltratt a=jeremysinger

for our CHERI allocators paper

Co-authored-by: Jeremy Singer <[email protected]>

Author: bors[bot]

softdev.bib

@@ -2969,3 +2969,29 @@ @misc{huseby22xalloc
   url={https://shh.thathost.com/pub-unix/#xalloc},
   urldate={2023-02-27}
 }
+
+@inproceedings{leijen19mimalloc,
+  author = "Leijen, Daan and Zorn, Benjamin and de Moura, Leonardo",
+  title = "Mimalloc: Free List Sharding in Action",
+  booktitle = "APLAS",
+  month = Nov,
+  year = "2019",
+  pages = "244--265",
+  doi = "10.1007/978-3-030-34175-6_13",
+}
+
+@misc{boehm14artificial,
+  author="Boehm, Hans-Juergen",
+  title = "An Artificial Garbage Collection Benchmark",
+  year={2014},
+  url={https://www.hboehm.info/gc/gc_bench.html},
+  urldate={2023-03-01}
+}
+
+@misc{richards99bench,
+  author="Martin Richards",
+  title = "Bench",
+  year={1999},
+  url={https://www.cl.cam.ac.uk/~mr10/Bench.html},
+  urldate={2023-03-01}
+}