State Key Laboratory of Computer Science