Collaborated with:X.(.Wu Z.Shao R.Gu Joshua Lockerman Jieung Kim J.Koenig V.Sjöberg David Costanzo T.Ramananandro
Talks about:interrupt (1) composit (1) abstract (1) concurr (1) certifi (1) toward (1) kernel (1) driver (1) verif (1) layer (1)
Person: Hao Chen 0023
DBLP: 0023:Hao_Chen
Contributed to:
20162018Wrote 2 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.
- PLDI-2018-GuSKWKS0CR #abstraction #concurrent
- Certified concurrent abstraction layers (RG, ZS, JK, X(W, JK, VS, HC0, DC, TR), pp. 646–661.