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

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

基本信息

  • 批准号:
    1936523
  • 负责人:
  • 金额:
    $ 2.03万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-07-01 至 2019-08-31
  • 项目状态:
    已结题

项目摘要

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和共同PI侧重于对视觉数据进行操作的程序,例如计算机图形学、计算机视觉和可视化方面的程序。可视数据很重要,因为由于手机摄像头、在线照片和视频共享以及科学和医学成像的使用,可视数据集的大小正在迅速增长。智能的优点是,专门为视觉计算和支持快速原型制作的语言开发了专门的程序优化,以及允许计算机自动搜索不同的候选优化并选择最快的技术。该项目更广泛的意义和重要性在于,它将使新手程序员更容易编写操作可视数据集的计算机程序,使更广泛的受众更容易访问可视计算,允许比可视程序更快地研究和开发,并使此类程序本身更高效。更具体地说,该研究计划正在生产专门用于处理计算可视数据的程序的翻译编译器。由PI领导的小组正在研究新的编译器,将代码从动态语言转换为目标语言的高效代码。动态语言被定义为具有非常动态的运行时模型的语言,例如,MatLab、Python和Java脚本。目标语言是诸如C等允许实现高效程序的语言。这个研究框架融合了编译器、图形学、计算机视觉、视觉感知以及形式和自然语言的思想。这项研究将做出一些关键的智力贡献。首先,针对视觉计算的新的特定领域的翻译和优化将被形式化为可应用于任何输入程序的手动规则。其次,该团队将研究一种自动学习翻译的新方法,而不是使用手动编码的规则。这可以采取从人类那里学习翻译“建议”的形式,人类可以交互地建议更好的输出代码。第三,将使用基于离线自动调整的新搜索过程来选择产生最快程序的翻译。该项目的成功将通过计算机视觉和图形学的全面测试套件进行验证。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Baishakhi Ray其他文献

Variation of Gender Biases in Visual Recognition Models Before and After Finetuning
视觉识别模型微调前后性别偏差的变化
  • DOI:
    10.48550/arxiv.2303.07615
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jaspreet Ranjit;Tianlu Wang;Baishakhi Ray;Vicente Ordonez
  • 通讯作者:
    Vicente Ordonez
A Case Study on the Impact of Similarity Measure on Information Retrieval based Software Engineering Tasks
相似性度量对基于信息检索的软件工程任务影响的案例研究
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Md Masudur Rahman;Saikat Chakraborty;G. Kaiser;Baishakhi Ray
  • 通讯作者:
    Baishakhi Ray
Recommending GitHub Projects for Developer Onboarding
推荐用于开发人员入门的 GitHub 项目
  • DOI:
    10.1109/access.2018.2869207
  • 发表时间:
    2018-09
  • 期刊:
  • 影响因子:
    3.9
  • 作者:
    Chao Liu;Dan Yang;Xiaohong Zhang;Baishakhi Ray;Md. Masudur Rahman
  • 通讯作者:
    Md. Masudur Rahman
KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
KGym:在 Linux 内核崩溃解决方案上对大型语言模型进行基准测试的平台和数据集
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alex Mathai;Chenxi Huang;Petros Maniatis;A. Nogikh;Franjo Ivancic;Junfeng Yang;Baishakhi Ray
  • 通讯作者:
    Baishakhi Ray
Poster: Searching for High-Performing Software Configurations with Metaheuristic Algorithms
海报:使用元启发式算法搜索高性能软件配置

Baishakhi Ray的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Baishakhi Ray', 18)}}的其他基金

Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks
协作研究:SHF:媒介:学习代码语义以自动化软件保障任务
  • 批准号:
    2313055
  • 财政年份:
    2023
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Causal Performance Debugging for Highly-Configurable Systems
合作研究:SHF:中:高度可配置系统的因果性能调试
  • 批准号:
    2107405
  • 财政年份:
    2021
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
Workshop on Deep Learning and Software Engineering
深度学习与软件工程研讨会
  • 批准号:
    1945999
  • 财政年份:
    2019
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Automated Detection and Repair of Error Handling Bugs in SSL/TLS Implementations
TWC:小:协作:自动检测和修复 SSL/TLS 实现中的错误处理错误
  • 批准号:
    1946068
  • 财政年份:
    2019
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
CAREER: Systematic Software Testing for Deep Learning Applications
职业:深度学习应用程序的系统软件测试
  • 批准号:
    1845893
  • 财政年份:
    2019
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Continuing Grant
EAGER: Finding Semantic Security Bugs with Pseudo-Oracle Testing
EAGER:通过伪 Oracle 测试查找语义安全漏洞
  • 批准号:
    1842456
  • 财政年份:
    2018
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
CHS: Small: Translating Compilers for Visual Computing in Dynamic Languages
CHS:小型:用动态语言翻译用于视觉计算的编译器
  • 批准号:
    1619123
  • 财政年份:
    2016
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Automated Detection and Repair of Error Handling Bugs in SSL/TLS Implementations
TWC:小:协作:自动检测和修复 SSL/TLS 实现中的错误处理错误
  • 批准号:
    1618771
  • 财政年份:
    2016
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

Powering Small Craft with a Novel Ammonia Engine
用新型氨发动机为小型船只提供动力
  • 批准号:
    10099896
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Collaborative R&D
"Small performances": investigating the typographic punches of John Baskerville (1707-75) through heritage science and practice-based research
“小型表演”:通过遗产科学和基于实践的研究调查约翰·巴斯克维尔(1707-75)的印刷拳头
  • 批准号:
    AH/X011747/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Research Grant
Fragment to small molecule hit discovery targeting Mycobacterium tuberculosis FtsZ
针对结核分枝杆菌 FtsZ 的小分子片段发现
  • 批准号:
    MR/Z503757/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Research Grant
Bacteriophage control of host cell DNA transactions by small ORF proteins
噬菌体通过小 ORF 蛋白控制宿主细胞 DNA 交易
  • 批准号:
    BB/Y004426/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Research Grant
Windows for the Small-Sized Telescope (SST) Cameras of the Cherenkov Telescope Array (CTA)
切伦科夫望远镜阵列 (CTA) 小型望远镜 (SST) 相机的窗口
  • 批准号:
    ST/Z000017/1
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Research Grant
CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
  • 批准号:
    2312089
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
CSR: Small: Multi-FPGA System for Real-time Fraud Detection with Large-scale Dynamic Graphs
CSR:小型:利用大规模动态图进行实时欺诈检测的多 FPGA 系统
  • 批准号:
    2317251
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
AF: Small: Problems in Algorithmic Game Theory for Online Markets
AF:小:在线市场的算法博弈论问题
  • 批准号:
    2332922
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
合作研究:FET:小型:十字交叉板条的算法自组装
  • 批准号:
    2329908
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
NeTS: Small: ML-Driven Online Traffic Analysis at Multi-Terabit Line Rates
NeTS:小型:ML 驱动的多太比特线路速率在线流量分析
  • 批准号:
    2331111
  • 财政年份:
    2024
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了