@InProceedings{dannowski07automated,
    author = {Uwe Dannowski},
    title = {Automated Object Layout Optimization in a Portable Microkernel},
    booktitle = {Proceedings of the MIKES 2007: First International Workshop 
                 on MicroKernels for Embedded Systems},
    address = {Sydney, Australia},
    month = Jan # "~16",
    year = 2007,
    pages = {22--28},
    affiliation = {University of Karlsruhe, Germany},
    URL = {http://l4ka.org/publications/}
}