State Key Laboratory of Computer Science/Namespaces