USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Nicolas Viennot [Clear All Filters]
.
2011. Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).