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

该奖项支持学生出席第20届IEEE高性能计算机体系结构国际研讨会（HPCA 2014），将于2014年2月15日至19日在佛罗里达奥兰多举行。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.