Xiongnan (Newman) Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | PLDI | Certified concurrent abstraction layers. | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2016 | OSDI | CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. | Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjberg, David Costanzo |
| 2016 | PLDI | Toward compositional verification of interruptible OS kernels and device drivers. | Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu |
| 2015 | POPL | Deep Specifications and Certified Abstraction Layers. | Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |
| 2012 | LPAR | Enfragmo: A System for Modelling and Solving Search Problems with Logic. | Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
| 2011 | AI | Grounding Formulas with Complex Terms. | Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell |