@inproceedings{Pohle10Valgrind,
 author = {Pohle, Aaron and D\"{o}bel, Bj\"{o}rn and Roitzsch, Michael and H\"{a}rtig, Hermann},
 title = {Capability wrangling made easy: debugging on a microkernel with valgrind},
 booktitle = {VEE '10: Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments},
 year = {2010},
 isbn = {978-1-60558-910-7},
 pages = {3--12},
 location = {Pittsburgh, Pennsylvania, USA},
 doi = {http://doi.acm.org/10.1145/1735997.1736001},
 publisher = {ACM},
 address = {New York, NY, USA},
}