Login / Signup
Jitang Lei
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Tree Decomposition
Data Parallelism
Ibm Sp
Parallel Architecture
Top Venues
USENIX Annual Technical Conference
OSDI
</>
Publications
</>
Jiawei Wang
,
Bohdan Trach
,
Ming Fu
,
Diogo Behrens
,
Jonathan Schwender
,
Yutao Liu
,
Jitang Lei
,
Viktor Vafeiadis
,
Hermann Härtig
,
Haibo Chen
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
OSDI
(2023)
Jiawei Wang
,
Diogo Behrens
,
Ming Fu
,
Lilith Oberhauser
,
Jonas Oberhauser
,
Jitang Lei
,
Geng Chen
,
Hermann Härtig
,
Haibo Chen
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling.
USENIX Annual Technical Conference
(2022)