ACM Programming Language Design and Implementation, PLDI 2016

Article Details
Title: Toward compositional verification of interruptible OS kernels and device drivers
Article URLs:
Alternative Article URLs:
Authors: Hao Chen
  • Yale University
Xiongnan (Newman) Wu
  • Yale University
Zhong Shao
  • Yale University
Joshua Lockerman
  • Yale University
Ronghui Gu
  • Yale University
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1065451, 1319671, 1521523
DBLP Key: conf/pldi/ChenWSLG16
Author Comments:

Discuss this paper and its artifacts below