AESOP: Expressing Concurrency in High-Performance System Software | IEEE Conference Publication | IEEE Xplore