Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu. Toward compositional verification of interruptible OS kernels and device drivers. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 431-447, ACM, 2016. [doi]
@inproceedings{ChenWSLG16,
title = {Toward compositional verification of interruptible OS kernels and device drivers},
author = {Hao Chen and Xiongnan (Newman) Wu and Zhong Shao and Joshua Lockerman and Ronghui Gu},
year = {2016},
doi = {10.1145/2908080.2908101},
url = {http://doi.acm.org/10.1145/2908080.2908101},
researchr = {https://researchr.org/publication/ChenWSLG16},
cites = {0},
citedby = {0},
pages = {431-447},
booktitle = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016},
editor = {Chandra Krintz and Emery Berger},
publisher = {ACM},
isbn = {978-1-4503-4261-2},
}