Collaborated with:
Hao Chen 0023 X.(.Wu Z.Shao R.Gu
Talks about:
interrupt (1) composit (1) toward (1) kernel (1) driver (1) verif (1) devic (1)
Person: Joshua Lockerman
DBLP: Lockerman:Joshua
Contributed to:
Wrote 1 papers:
- PLDI-2016-ChenWSLG #composition #kernel #towards #verification
- Toward compositional verification of interruptible OS kernels and device drivers (HC0, X(W, ZS, JL, RG), pp. 431–447.