@phdthesis{Elkaduwe:phd,
    address          = {Sydney, Australia},
    author           = {Dhammika Elkaduwe},
    month            = may,
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    paperurl         = {https://trustworthy.systems/publications/papers/Elkaduwe%3Aphd.pdf},
    school           = {UNSW},
    title            = {A Principled Approach To Kernel Memory Management},
    year             = {2010}
  }