Xiongnan (Newman) Wu

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 5

Top Topics

Temporal Abstractions

Kernel Function

Search Problems

Top Venues

Publications

Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo
Building certified concurrent OS kernels. Commun. ACM 62 (10) (2019)
Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. J. Autom. Reason. 61 (1-4) (2018)
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro
Certified concurrent abstraction layers. PLDI (2018)
Hao Chen, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu
Toward compositional verification of interruptible OS kernels and device drivers. PLDI (2016)
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. OSDI (2016)
Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
Deep Specifications and Certified Abstraction Layers. POPL (2015)
Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell
Enfragmo: A System for Modelling and Solving Search Problems with Logic. LPAR (2012)
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
Solving Modular Model Expansion Tasks CoRR (2011)
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
Solving Modular Model Expansion: Case Studies. INAP/WLP (2011)
Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell
Grounding Formulas with Complex Terms. Canadian Conference on AI (2011)