SHF: Small: Collaborative Research: Languages and Tools for Multilingual Systems

SHF：小型：协作研究：多语言系统的语言和工具

• 批准号: 1018271
• 负责人: Kathryn McKinley
• 金额: $ 20万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-08-15 至 2013-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1018271&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Languages

Software developers are increasingly building applications in multiple languages both to reuse existing software libraries and to leverage the languages best suited to their problems. In fact, multilingual programs are already prevalent, as essentially all programs written in Java use code written in C as well. But developing multilingual programs poses more challenges and difficulties than developing single language programs. Current programming interfaces between multiple languages tend to be tedious and unsafe; and most programming tools only support a single language. As a consequence, real-world multilingual programs are full of cross-language bugs.This research seeks to substantially improve the correctness and development of multilingual programs. The investigators build on their prior multilingual language design (the Jeannie Java/C language), compilers (the xtc Jeannie compiler), and debuggers (the Blink Java/C debugger). Here, the investigators are designing and implementing novel approaches for validating the safety of existing multilingual interfaces and for creating safe multilingual programs. (1) The investigators are developing a framework for concisely capturing safety rules for multilingual interfaces and then automatically synthesizing the corresponding dynamic checker. (2) The investigators are exploring novel program analysis to refactor programs automatically that use unsafe multilingual interfaces into programs that use safe multilingual interfaces. If successful, the research impact will be improved correctness, efficiency, and reliability of multilingual programs.

软件开发人员越来越多地使用多种语言构建应用程序，以重用现有的软件库，并利用最适合他们问题的语言。事实上，多语言程序已经很普遍了，因为基本上所有用Java编写的程序都使用C编写的代码。但是开发多语言程序比开发单一语言程序面临更多的挑战和困难。目前，多种语言之间的编程接口往往是乏味和不安全的;大多数编程工具只支持一种语言。因此，现实世界中的多语言程序充满了跨语言的错误。本研究旨在从根本上提高多语言程序的正确性和可开发性。研究人员在他们以前的多语言语言设计（Jeannie Java/C语言），编译器（xtc Jeannie编译器）和调试器（Blink Java/C调试器）的基础上进行了构建。在这里，研究人员正在设计和实现新的方法来验证现有多语言界面的安全性，并创建安全的多语言程序。(1)研究人员正在开发一个框架，用于简洁地捕获多语言界面的安全规则，然后自动合成相应的动态检查器。(2)研究人员正在探索新的程序分析，将使用不安全多语言界面的程序自动重构为使用安全多语言界面的程序。如果成功，研究的影响将提高多语言程序的正确性，效率和可靠性。