BibTeX records: Xiongnan (Newman) Wu

download as .bib file

@article{DBLP:journals/cacm/GuSCKKWSC19,
  author    = {Ronghui Gu and
               Zhong Shao and
               Hao Chen and
               Jieung Kim and
               J{\'{e}}r{\'{e}}mie Koenig and
               Xiongnan (Newman) Wu and
               Vilhelm Sj{\"{o}}berg and
               David Costanzo},
  title     = {Building certified concurrent {OS} kernels},
  journal   = {Commun. {ACM}},
  volume    = {62},
  number    = {10},
  pages     = {89--99},
  year      = {2019}
}
@article{DBLP:journals/jar/ChenWSLG18,
  author    = {Hao Chen and
               Xiongnan (Newman) Wu and
               Zhong Shao and
               Joshua Lockerman and
               Ronghui Gu},
  title     = {Toward Compositional Verification of Interruptible {OS} Kernels and
               Device Drivers},
  journal   = {J. Autom. Reason.},
  volume    = {61},
  number    = {1-4},
  pages     = {141--189},
  year      = {2018}
}
@inproceedings{DBLP:conf/pldi/GuSKWKS0CR18,
  author    = {Ronghui Gu and
               Zhong Shao and
               Jieung Kim and
               Xiongnan (Newman) Wu and
               J{\'{e}}r{\'{e}}mie Koenig and
               Vilhelm Sj{\"{o}}berg and
               Hao Chen and
               David Costanzo and
               Tahina Ramananandro},
  title     = {Certified concurrent abstraction layers},
  booktitle = {{PLDI}},
  pages     = {646--661},
  publisher = {{ACM}},
  year      = {2018}
}
@inproceedings{DBLP:conf/osdi/GuSCWKSC16,
  author    = {Ronghui Gu and
               Zhong Shao and
               Hao Chen and
               Xiongnan (Newman) Wu and
               Jieung Kim and
               Vilhelm Sj{\"{o}}berg and
               David Costanzo},
  title     = {CertiKOS: An Extensible Architecture for Building Certified Concurrent
               {OS} Kernels},
  booktitle = {{OSDI}},
  pages     = {653--669},
  publisher = {{USENIX} Association},
  year      = {2016}
}
@inproceedings{DBLP:conf/pldi/ChenWSLG16,
  author    = {Hao Chen and
               Xiongnan (Newman) Wu and
               Zhong Shao and
               Joshua Lockerman and
               Ronghui Gu},
  title     = {Toward compositional verification of interruptible {OS} kernels and
               device drivers},
  booktitle = {{PLDI}},
  pages     = {431--447},
  publisher = {{ACM}},
  year      = {2016}
}
@inproceedings{DBLP:conf/popl/GuKRSWWZG15,
  author    = {Ronghui Gu and
               J{\'{e}}r{\'{e}}mie Koenig and
               Tahina Ramananandro and
               Zhong Shao and
               Xiongnan (Newman) Wu and
               Shu{-}Chun Weng and
               Haozhong Zhang and
               Yu Guo},
  title     = {Deep Specifications and Certified Abstraction Layers},
  booktitle = {{POPL}},
  pages     = {595--608},
  publisher = {{ACM}},
  year      = {2015}
}
@inproceedings{DBLP:conf/lpar/AavaniWTTM12,
  author    = {Amir Aavani and
               Xiongnan (Newman) Wu and
               Shahab Tasharrofi and
               Eugenia Ternovska and
               David G. Mitchell},
  title     = {Enfragmo: {A} System for Modelling and Solving Search Problems with
               Logic},
  booktitle = {{LPAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7180},
  pages     = {15--22},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/ai/AavaniWTM11,
  author    = {Amir Aavani and
               Xiongnan (Newman) Wu and
               Eugenia Ternovska and
               David G. Mitchell},
  title     = {Grounding Formulas with Complex Terms},
  booktitle = {Canadian Conference on {AI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6657},
  pages     = {13--25},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/inap/TasharrofiWT11,
  author    = {Shahab Tasharrofi and
               Xiongnan (Newman) Wu and
               Eugenia Ternovska},
  title     = {Solving Modular Model Expansion: Case Studies},
  booktitle = {{INAP/WLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7773},
  pages     = {215--236},
  publisher = {Springer},
  year      = {2011}
}
@article{DBLP:journals/corr/abs-1109-0583,
  author    = {Shahab Tasharrofi and
               Xiongnan (Newman) Wu and
               Eugenia Ternovska},
  title     = {Solving Modular Model Expansion Tasks},
  journal   = {CoRR},
  volume    = {abs/1109.0583},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics