Fixing, preventing, and recovering from concurrency bugs.
Dongdong DengGuoliang JinMarc de KruijfAng LiBen LiblitShan LuShanxiang QiJinglei RenKarthikeyan SankaralingamLinhai SongYongwei WuMingxing ZhangWei ZhangWeimin ZhengPublished in: Sci. China Inf. Sci. (2015)