Linzhang Wang Joint work with Lei Bu, You Li and Xuandong Li Department of Computer Science and Technology, National Key Laboratory for Novel Software.