Student Travel Support for the 20th Annual IEEE International Symposium on High Performance Computer Architecture (HPCA 2014)

该奖项支持学生参加将于2014年2月15日至19日在佛罗里达州奥兰多举行的第20届IEEE高性能计算机体系结构国际研讨会(HPCA 2014)。HPCA研讨会是一个关于计算机体系结构相关研究的顶级会议，有着丰富的成功历史。在HPCA会议上公布的研究成果在这一研究领域产生了强烈的影响，并受到计算机架构界的高度重视。学生通过参加HPCA可以学到很多东西，比如学习最先进的方法，接触新的技术，以及在他们选择的专业领域与高级研究人员互动。正式验证的重要性正在被广泛接受。增加HPCA的学生出勤率将使更多的学生接触到该领域令人兴奋的发展，从长远来看，将有助于建立该领域的广泛专业基础，这将对工业界和学术界产生影响。

The award supports the attendance of students to the 20th Annual IEEE International Symposium on High Performance Computer Architecture (HPCA 2014), to be hosted on February 15-19th, 2014 in Orlando, Florida. The HPCA Symposium, a top-tier conference on computer architecture related research, has enjoyed a rich history of success. The research results presented at HPCA conferences have shown strong impacts in this research field and are highly regarded among the computer architecture community. Students have much to gain from attending HPCA such as learning state-of-the-art methodologies, being exposed to novel techniques, and interacting with senior researchers in their chosen area of expertise.The importance of formal verification is becoming widely accepted. Increasing the attendance of students in HPCA will expose more students to the exciting developments in the field and in the long run will help to build a broad base of expertise in the field, which will impact both industry and academia.