Linked Presentation: Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and CommunicationPlatinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services
