Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching by Peter Gammie 🌐 Aug 25
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO by Peter Gammie 🌐, Tony Hosking 🌐 and Kai Engelhardt Apr 13