PLDI 2014 Travel Support

该奖项为将于2014年6月9日至13日在苏格兰爱丁堡举行的第35届ACM SIGPLAN编程语言设计与实现研讨会(PLDI 2014)提供学生差旅支持。PLDI是展示编程语言和编译器研究中令人兴奋的新进展的顶级技术论坛。研讨会涵盖了该领域的广泛主题，包括：语言设计和扩展；程序的静态和动态分析；特定领域的语言和工具；类型系统和程序逻辑；程序转换和优化；检查或改进程序的安全性或正确性；内存管理；隐式和显式的并行性；性能分析、评估和工具；新型编程模型；调试技术和工具；程序理解；编译器/运行时与底层系统的交互；程序综合。学生将能够参加与会议相关的所有活动，以及一系列丰富的研讨会和教程。NSF的支持确保了美国学生的参与，同时关注代表不足的群体。为了扩大参与范围，助学金专门用于增加无法入学的学生数量，即没有得到任何经济支持的学生，例如，他们的导师、系、大学。更广泛的影响包括在会议的研究领域建立国际社会和合作，以及加强对接触前沿研究和研究人员并与之互动的学生的教育。因此，该奖项将有助于培训下一代语言设计师、编译器实施者和系统研究人员。

This award provides student travel support for the 35th ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI 2014) that will be held from June 9-13, 2014, in Edinburgh, Scotland. PLDI is the top technical forum for the presentation of new and exciting advances in programming languages and compiler research. The symposium covers a wide range of topics in the field, including: Language designs and extensions; Static and dynamic analysis of programs, Domain-specific languages and tools; Type systems and program logics; Program transformation and optimization; Checking or improving the security or correctness of programs; Memory management; Parallelism, both implicit and explicit; Performance analysis, evaluation, and tools; Novel programming models; Debugging techniques and tools; Program understanding; Interaction of compilers/runtimes with underlying systems; Program synthesis. Students will be able to attend all events associated with the conference, and a rich set of workshops and tutorials.The NSF support ensures participation of US students while paying attention to underrepresented groups. To broaden participation, the grant is intended specifically to increase the numbers of students who cannot otherwise attend, that is, students who do not have any financial support whatsoever, e.g., from their advisors, departments, universities. The broader impacts include building international community and cooperation in the research areas of the conference, and enhancing education of students with exposure to and interaction with leading-edge research and researchers. This award will therefore help train the next generation of language designers, compiler implementers and systems researchers.