@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
}
