@inproceedings{Elphinstone_HL_99, address = {Auckland, New Zealand}, author = {Kevin Elphinstone and Gernot Heiser and Jochen Liedtke}, booktitle = {Proceedings of the 4th Australasian Computer Architecture Conference}, month = jan, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, 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} }