The Case for Labeled Computer Architecture - Prof. Yungang Bao, Chinese Academy of Sciences