Separation microkernel security studies and its formal verification related work

by Lu, Shengliang
Published 2016

Accelerating exact constrained shortest paths on GPUs

by LU, Shengliang, HE, Bingsheng, LI, Yuchen, FU, Hao
Published 2020

ThunderRW: An in-memory graph random walk engine

by SUN, Shixuan, CHEN, Yuhang, LU, Shengliang, HE, Bingsheng, LI, Yuchen
Published 2021

Cache-efficient fork-processing patterns on large graphs

by LU, Shengliang, SUN, Shixuan, PAUL, Johns, LI, Yuchen, HE, Bingsheng
Published 2021