Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo, An Extensible Architecture for Building Certified Concurrent OS Kernels, The 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI16), 2016 (to appear).
Hao Chen*, Xiongnan (Newman) Wu*, Zhong Shao, Joshua Lockerman, Ronghui Gu, Toward Compositional Verification of Interruptible OS Kernels and Device Drivers, 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI16), 2016. [pdf] [slides] [video]
Ronghui Gu*, Jérémie Koenig*, Tahina Ramananandro*, Zhong Shao*, Xiongnan (Newman) Wu*, Shu-Chun Weng, Yu Guo, Deep Specifications and Certified Abstraction Layers, 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL15), 2015. [pdf]
Xiongnan (Newman) Wu, Solving Model Expansion Tasks: System Design and Modularity, Master's Thesis
[pdf]
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska, Solving Modular Model Expansion: Case Studies, LNAI Postproceedings for 19th International Conference on Applications of Declarative Programming and Knowledge Management and 25th Workshop on Logic Programming, 2012.
[pdf]
Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska and David Mitchell, Enfragmo: A System for Modelling
and Solving Search Problems with Logic, 18'th International Conference on Logic for Programming Artificial Intelligence and Reasoning
(LPAR-18), 2012. [pdf]
Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska and David Mitchell, Grouding Formulas with Complex Terms,
24'th Canadian Conference on Artificial Intelligence (Canadian AI 2011), 2011. [pdf]
Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska and David Mitchell, Grouding Count Constraints,
16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR16), 2010. [pdf]
Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska and David Mitchell, Grouding Formulas with Complex Terms,
Third International Workshop on Logic and Search (LaSh'10), 2010. [pdf]
Other:
Xiongnan (Newman) Wu and Lucas Swanson, The Enfragmo System Manual, 2011.
[pdf]