@article{Liedtke_Elphinstone_96,
    author           = {Jochen Liedtke and Kevin Elphinstone},
    journal          = {ACM Operating Systems Review},
    month            = jan,
    number           = {1},
    pages            = {4--15},
    paperurl         = {https://trustworthy.systems/publications/papers/Liedtke_Elphinstone_96.pdf},
    title            = {Guarded Page Tables on {MIPS} {R4600} or an Exercise in Architecture-Dependent Micro Optimization},
    volume           = {30},
    year             = {1996}
  }