USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races
Submitted by Anonymous (not verified) on February 8, 2021 - 9:35 pm
| Title | Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Laadan O, Tsai C-che, Viennot N, Blinn C, Du PSenyao, Nieh J |
| Conference Name | 13th Workshop on Hot Topics in Operating Systems (HotOS XIII) |
| Date Published | 05/2011 |
| Publisher | USENIX Association |
| Conference Location | Napa, CA |
| URL | https://www.usenix.org/conference/hotosxiii/finding-concurrency-errors-sequential-code—os-level-vivo-model-checking-process |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX