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 Hrtig, Haibo Chen

Browse the full OSDI paper archive.