@inproceedings{Elphinstone_HL_99,
    address          = {Auckland, New Zealand},
    author           = {Kevin Elphinstone and Gernot Heiser and Jochen Liedtke},
    booktitle        = {Australasian Computer Architecture Conference},
    month            = jan,
    note             = {Available from publications page at \url{http://trustworthy.systems/}},
    pages            = {211-226},
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_HL_99.pdf},
    publisher        = {Springer},
    title            = {Page Tables for 64-bit Computer Systems},
    year             = {1999}
  }