BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. - Jiawei Wang; Diogo Behrens; Ming Fu; Lilith Oberhauser; Jonas Oberhauser; Jitang Lei; Geng Chen; Hermann Härtig; Haibo Chen 001 (USENIX ATC, 2022)

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. - Jiawei Wang; Bohdan Trach; Ming Fu; Diogo Behrens; Jonathan Schwender; Yutao Liu; Jitang Lei; Viktor Vafeiadis; Hermann Härtig; Haibo Chen 001 (OSDI, 2023)