BibTeX record conf/hotos/LaadanTVBDN11

• > Home > conf/hotos/LaadanTVBDN11

@inproceedings{DBLP:conf/hotos/LaadanTVBDN11,
  author       = {Oren Laadan and
                  Chia{-}Che Tsai and
                  Nicolas Viennot and
                  Chris Blinn and
                  Peter Senyao Du and
                  Jason Nieh},
  title        = {Finding Concurrency Errors in Sequential Code - OS-level, In-vivo
                  Model Checking of Process Races},
  booktitle    = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
                  California, USA, May 9-11, 2011},
  year         = {2011},
  crossref     = {DBLP:conf/hotos/2011},
  url          = {https://www.usenix.org/conference/hotosxiii/finding-concurrency-errors-sequential-code\%E2\%80\%94os-level-vivo-model-checking-process},
  timestamp    = {Thu, 15 Aug 2024 17:15:05 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/LaadanTVBDN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hotos/2011,
  editor       = {Matt Welsh},
  title        = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
                  California, USA, May 9-11, 2011},
  publisher    = {{USENIX} Association},
  year         = {2011},
  url          = {https://www.usenix.org/conference/hotosxiii},
  timestamp    = {Sun, 16 Nov 2025 01:20:23 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}