Concepedia

Xiongnan Wu

XW

Statistics

Publications

8

Citations

530

H-Index

8

Active since

2014

Affiliations

Yale University(Current)

University of Electronic Science and Technology of China

Microsoft (United States)

University of Science and Technology of China

Xiongnan Wu is an author at Yale University specializing in computer science, computing, and formal methods.

Publications per year

2014–2019

8

Publications

8

CertiKOS: an extensible architecture for building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Operating Systems Design and Implementation · 2016 · 162 citations

Computing, Computer Engineering, Computer Science +17

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 151 citations

Computing, Computer Science, Computer Systems +17

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 70 citations · Full text

Computing, Computer Science, Computer Systems +17

Toward compositional verification of interruptible OS kernels and device drivers

Hao Chen, Xiongnan Wu, Zhong Shao et al. · 2016 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +15

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · ACM SIGPLAN Notices · 2015 · 36 citations

Computing, Computer Science, Computer Systems +17

1–5 of 8