PLDI 2014 Travel Support

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

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.