CHS: Small: Translating Compilers for Visual Computing in Dynamic Languages

CHS：小型：用动态语言翻译用于视觉计算的编译器

• 批准号: 1936523
• 负责人: Baishakhi Ray
• 金额: $ 2.03万
• 依托单位: Columbia University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-07-01 至 2019-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1936523&HistoricalAwards=false
• 关键词: CHS; Small; Translating; Compilers; Visual

This collaborative project is developing technologies to enable students, scientists, and other non-expert developers to use computer languages that facilitate rapid prototyping, and yet still automatically convert such programs to have high performance. In this research, the PI and co-PIs focus on programs that operate over visual data, such as programs in computer graphics, computer vision, and visualization. Visual data is important because visual datasets are rapidly growing in size, due to the use of cell-phone cameras, photo and video sharing online, and in scientific and medical imaging. The intellectual merits are that specialized program optimizations are being developed specifically for visual computing and for languages that enable rapid prototyping, alongside techniques that allow the computer to automatically search through different candidate optimizations and choose the fastest one. The project's broader significance and importance are that it will make the writing of computer programs that operate over visual datasets more accessible to novice programmers, make visual computing more accessible to a broader audience, permit faster research and development over visual programs, and make such programs themselves be more efficient.More specifically, this research program is producing translating compilers that are specialized to handle programs that compute over visual data. The group led by the PI is researching new compilers that translate code from dynamic languages into highly efficient code in a target language. Dynamic languages are defined as those with a very dynamic run-time model, for example, MATLAB, Python, and Javascript. The target language is a language such as C that permits implementation of highly efficient programs. This research framework incorporates ideas from compilers, graphics, computer vision, visual perception, and formal and natural languages. The research will make a number of key intellectual contributions. First, new domain-specific translations and optimizations for visual computing will be formalized into manual rules that can be applied to any input program. Second, the team will research a novel approach of automatically learning translations, instead of using manually-coded rules. This can take the form of learning translation "suggestions" from humans, who can interactively suggest better output code. Third, a new search process based on offline auto-tuning will be used to select the translations that result in the fastest program. The success of the project will be verified against a comprehensive test suite of programs from computer vision and graphics.

该协作项目正在开发技术，以使学生，科学家和其他非专家开发人员使用促进快速原型的计算机语言，但仍会自动将此类程序转换为具有高性能。在这项研究中，PI和CO-PIS专注于在视觉数据上运行的程序，例如计算机图形，计算机视觉和可视化的程序。视觉数据很重要，因为由于使用手机摄像机，在线照片和视频共享以及科学和医学成像，因此视觉数据集的大小迅速增长。智力优点是专门针对视觉计算和能够快速原型制作的语言开发了专门的程序优化，以及允许计算机可以自动搜索不同候选候选优化并选择最快的技术。该项目的重要性和重要性是，它将使新手程序员更容易访问视觉数据集的计算机程序编写，使更广泛的受众更容易访问视觉计算，允许更快的研究和开发与视觉程序相比，并制作此类程序更具体地说，本研究计划正在生产翻译编译器，这些编译器专门处理计算视觉数据的程序。由PI领导的小组正在研究将代码从动态语言转换为目标语言高效代码的新编译器。动态语言定义为具有非常动态的运行时模型的语言，例如Matlab，Python和JavaScript。目标语言是一种允许实施高效程序的语言。该研究框架结合了编译器，图形，计算机视觉，视觉感知以及正式和自然语言的想法。该研究将做出许多关键的智力贡献。首先，新的域特异性翻译和视觉计算的优化将被形式化为可以应用于任何输入程序的手动规则。其次，团队将研究一种自动学习翻译的新方法，而不是使用手动编码的规则。这可以采取学习翻译的形式“建议”，他们可以交互建议更好的输出代码。第三，将使用基于离线自动调整的新搜索过程来选择导致最快程序的翻译。该项目的成功将根据计算机视觉和图形的全面测试套件进行验证。