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