Search dblp for Publications

export results for "Formal verification of a multiprocessor hypervisor on Arm relaxed memory hardware"

 download as .bib file

@inproceedings{DBLP:conf/sosp/TaoYLLNG21,
  author    = {Runzhou Tao and
               Jianan Yao and
               Xupeng Li and
               Shih{-}Wei Li and
               Jason Nieh and
               Ronghui Gu},
  editor    = {Robbert van Renesse and
               Nickolai Zeldovich},
  title     = {Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed
               Memory Hardware},
  booktitle = {{SOSP} '21: {ACM} {SIGOPS} 28th Symposium on Operating Systems Principles,
               Virtual Event / Koblenz, Germany, October 26-29, 2021},
  pages     = {866--881},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3477132.3483560},
  doi       = {10.1145/3477132.3483560},
  timestamp = {Thu, 21 Oct 2021 16:30:29 +0200},
  biburl    = {https://dblp.org/rec/conf/sosp/TaoYLLNG21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics