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)