@inproceedings {288650, author = {Jiawei Wang and Bohdan Trach and Ming Fu and Diogo Behrens and Jonathan Schwender and Yutao Liu and Jitang Lei and Viktor Vafeiadis and Hermann H{\"a}rtig and Haibo Chen}, title = {{BWoS}: Formally Verified Block-based Work Stealing for Parallel Processing}, booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)}, year = {2023}, isbn = {978-1-939133-34-2}, address = {Boston, MA}, pages = {833--850}, url = {https://www.usenix.org/conference/osdi23/presentation/wang-jiawei}, publisher = {USENIX Association}, month = jul } @inproceedings {280732, author = {Jiawei Wang and Diogo Behrens and Ming Fu and Lilith Oberhauser and Jonas Oberhauser and Jitang Lei and Geng Chen and Hermann H{\"a}rtig and Haibo Chen}, title = {{BBQ}: A Block-based Bounded Queue for Exchanging Data and Profiling}, booktitle = {2022 USENIX Annual Technical Conference (USENIX ATC 22)}, year = {2022}, isbn = {978-1-939133-29-35}, address = {Carlsbad, CA}, pages = {249--262}, url = {https://www.usenix.org/conference/atc22/presentation/wang-jiawei}, publisher = {USENIX Association}, month = jul }