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},
  url       = {https://doi.org/10.1145/3356903},
  doi       = {10.1145/3356903},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/cacm/GuSCKKWSC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1007/s10817-017-9446-0},
  doi       = {10.1007/s10817-017-9446-0},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/ChenWSLG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Jeffrey S. Foster and
               Dan Grossman},
  title     = {Certified concurrent abstraction layers},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  pages     = {646--661},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3192366.3192381},
  doi       = {10.1145/3192366.3192381},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/GuSKWKS0CR18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Kimberly Keeton and
               Timothy Roscoe},
  title     = {CertiKOS: An Extensible Architecture for Building Certified Concurrent
               {OS} Kernels},
  booktitle = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  pages     = {653--669},
  publisher = {{USENIX} Association},
  year      = {2016},
  url       = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu},
  timestamp = {Tue, 02 Feb 2021 08:06:02 +0100},
  biburl    = {https://dblp.org/rec/conf/osdi/GuSCWKSC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenWSLG16,
  author    = {Hao Chen and
               Xiongnan (Newman) Wu and
               Zhong Shao and
               Joshua Lockerman and
               Ronghui Gu},
  editor    = {Chandra Krintz and
               Emery D. Berger},
  title     = {Toward compositional verification of interruptible {OS} kernels and
               device drivers},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  pages     = {431--447},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2908080.2908101},
  doi       = {10.1145/2908080.2908101},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/ChenWSLG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Deep Specifications and Certified Abstraction Layers},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {595--608},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2676726.2676975},
  doi       = {10.1145/2676726.2676975},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/GuKRSWWZG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AavaniWTTM12,
  author    = {Amir Aavani and
               Xiongnan (Newman) Wu and
               Shahab Tasharrofi and
               Eugenia Ternovska and
               David G. Mitchell},
  editor    = {Nikolaj Bj{\o}rner and
               Andrei Voronkov},
  title     = {Enfragmo: {A} System for Modelling and Solving Search Problems with
               Logic},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
               International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
               11-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7180},
  pages     = {15--22},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28717-6\_4},
  doi       = {10.1007/978-3-642-28717-6\_4},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/AavaniWTTM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/AavaniWTM11,
  author    = {Amir Aavani and
               Xiongnan (Newman) Wu and
               Eugenia Ternovska and
               David G. Mitchell},
  editor    = {Cory J. Butz and
               Pawan Lingras},
  title     = {Grounding Formulas with Complex Terms},
  booktitle = {Advances in Artificial Intelligence - 24th Canadian Conference on
               Artificial Intelligence, Canadian {AI} 2011, St. John's, Canada, May
               25-27, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6657},
  pages     = {13--25},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21043-3\_2},
  doi       = {10.1007/978-3-642-21043-3\_2},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/ai/AavaniWTM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/TasharrofiWT11,
  author    = {Shahab Tasharrofi and
               Xiongnan (Newman) Wu and
               Eugenia Ternovska},
  editor    = {Hans Tompits and
               Salvador Abreu and
               Johannes Oetsch and
               J{\"{o}}rg P{\"{u}}hrer and
               Dietmar Seipel and
               Masanobu Umeda and
               Armin Wolf},
  title     = {Solving Modular Model Expansion: Case Studies},
  booktitle = {Applications of Declarative Programming and Knowledge Management -
               19th International Conference, {INAP} 2011, and 25th Workshop on Logic
               Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7773},
  pages     = {215--236},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-41524-1\_12},
  doi       = {10.1007/978-3-642-41524-1\_12},
  timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
  biburl    = {https://dblp.org/rec/conf/inap/TasharrofiWT11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1109.0583},
  eprinttype = {arXiv},
  eprint    = {1109.0583},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1109-0583.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics