Stem denali$ (all stems)
2 papers:
- PLDI-2002-JoshiNR #named
- Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.
- OSDI-2002-WhitakerSG #kernel #performance
- Scale and Performance in the Denali Isolation Kernel (AW, MS, SDG), pp. 195–209.