Biblio

Export 3 results:
Filters: Author is Diogo Behrens  [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.
2015
Behrens D, Serafini M, Junqueira FP, Arnautov S, Fetzer C.  2015.  Scalable Error Isolation for Distributed Systems. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :605--620.