Biblio

Export 2 results:
Filters: Author is Viktor Vafeiadis  [Clear All Filters]
2023
Wang J, Trach B, Fu M, Behrens D, Schwender J, Liu Y, Lei J, Vafeiadis V, Härtig H, Chen H.  2023.  BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :833--850.
2014
Li C, Leitão J, Clement A, Preguiça N, Rodrigues R, Vafeiadis V.  2014.  Automating the Choice of Consistency Levels in Replicated Systems. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :281--292.