Export 2 results:
Filters: Author is Jitang Lei  [Clear All Filters]
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.
Wang J, Behrens D, Fu M, Oberhauser L, Oberhauser J, Lei J, Chen G, Härtig H, Chen H.  2022.  BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :249--262.