Travelled to:1 × India
Collaborated with:R.Gu Z.Shao Hao Chen 0023 J.Koenig T.Ramananandro Joshua Lockerman S.Weng H.Zhang Y.Guo Jieung Kim V.Sjöberg David Costanzo
Talks about:abstract (2) certifi (2) layer (2) interrupt (1) composit (1) concurr (1) toward (1) specif (1) kernel (1) driver (1)
Person: Xiongnan (Newman) Wu
DBLP: Wu:Xiongnan_(Newman)
Contributed to:
2015
20162018Wrote 3 papers:
- POPL-2015-GuKRSWWZG #abstraction #specification
- Deep Specifications and Certified Abstraction Layers (RG, JK, TR, ZS, X(W, SCW, HZ, YG), pp. 595–608.
- 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.