Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts

Abstract: 
BibTeX
@inproceedings {267120,
author = {Toshiyuki Maeda and Akinori Yonezawa},
title = {Typed Assembly Language for Implementing {OS} Kernels in SMP/Multi-Core Environments with Interrupts},
booktitle = {5th International Workshop on Systems Software Verification ({SSV} 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/ssv10/typed-assembly-language-implementing-os-kernels-smpmulti-core-environments},
publisher = {{USENIX} Association},
month = oct,
}