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},
  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},
  year      = {2021},
  crossref  = {DBLP:conf/sosp/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}
}
@proceedings{DBLP:conf/sosp/2021,
  editor    = {Robbert van Renesse and
               Nickolai Zeldovich},
  title     = {{SOSP} '21: {ACM} {SIGOPS} 28th Symposium on Operating Systems Principles,
               Virtual Event / Koblenz, Germany, October 26-29, 2021},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3477132},
  doi       = {10.1145/3477132},
  isbn      = {978-1-4503-8709-5},
  timestamp = {Tue, 16 Aug 2022 12:52:27 +0200},
  biburl    = {https://dblp.org/rec/conf/sosp/2021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics