USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Viktor Vafeiadis [Clear All Filters]
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :833--850.
.
2023. Automating the Choice of Consistency Levels in Replicated Systems. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :281--292.
.
2014.