SHF: Medium: Collaborative Research: FRP for Real
SHF:媒介:协作研究:FRP for Real
基本信息
- 批准号:1758077
- 负责人:
- 金额:$ 2.77万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-07-01 至 2018-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Functional Reactive Programming, or FRP, is a declarative programming paradigm based on two fundamental abstractions: a continuous (functional) modeling of time-varying behaviors, and a discrete (reactive) calculus of user and process interaction. FRP provides a novel and effective approach to solving problems in which there is a combination of both continuous and discrete entities such as found in computer animation, robotics, control systems, GUIs, and interactive multimedia. FRP's broader impact is seen in its adoption by several other research projects, and its use in several applications different from those at Yale. The proposed work will strengthen these existing projects, and further broaden the applicability of FRP. The proposed improvements in implementation will make FRP more suitable for compute-intensive applications, such as interactive 3D graphics and real-time audio processing. It will also benefit the modeling and simulation community, which often uses declarative approaches to specifying and solving problems. Previous research at Yale helped to establish the foundations of FRP, and demonstrated its utility in several application domains. Despite this preliminary success, more work is needed to make "FRP for real." That is, to develop a system that facilitates writing natural and concise descriptions of reactive behaviors, responds well enough to satisfy most common real-time constraints, reifies real-world objects as first-class signal functions, runs efficiently through program optimization and parallel execution on multicore architectures, and has been validated in a real-world application domain, specifically audio signal processing. The proposed research will advance the overall FRP methodology in three areas: Language Design (type system extensions to capture resource constraints, a redesign of the mediation between the discrete and continuous, and a better syntax to capture the essence of FRP); Language Implementation (program optimizations, multicore execution, asynchronous sub-processes); and Validation and Testing (with a focus on real-time audio signal processing).
函数式反应式编程(Functional Reactive Programming,简称FRP)是一种基于两个基本抽象的声明式编程范式:时变行为的连续(函数式)建模,以及用户和进程交互的离散(反应式)演算。 FRP提供了一种新颖有效的方法来解决连续和离散实体相结合的问题,如计算机动画,机器人,控制系统,GUI和交互式多媒体。 FRP的更广泛的影响体现在它被其他几个研究项目所采用,以及它在几个与耶鲁大学不同的应用中的使用。 拟议的工作将加强这些现有的项目,并进一步扩大玻璃钢的适用性。 在实现中提出的改进将使FRP更适合于计算密集型应用,如交互式3D图形和实时音频处理。 它还将使建模和仿真社区受益,这些社区通常使用声明性方法来指定和解决问题。耶鲁大学以前的研究帮助建立了FRP的基础,并证明了它在几个应用领域的实用性。 尽管取得了初步的成功,但要使“玻璃钢”成为真实的,还需要做更多的工作。“也就是说,开发一个系统,便于编写反应行为的自然和简洁的描述,响应足够好,以满足最常见的实时约束,将现实世界的对象具体化为一流的信号功能,通过程序优化和并行执行有效地运行在多核架构上,并已在现实世界的应用领域,特别是音频信号处理。 拟议的研究将在三个领域推进整体FRP方法:语言设计(捕获资源约束的类型系统扩展、离散和连续之间的中介的重新设计以及更好的语法来捕获FRP的本质);语言实现(程序优化、多核执行、异步子进程);和验证和测试(重点是实时音频信号处理)。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Synthesizing Configuration File Specifications with Association Rule Learning
- DOI:10.1145/3133888
- 发表时间:2017-10-01
- 期刊:
- 影响因子:1.8
- 作者:Santolucito, Mark;Zhai, Ennan;Piskac, Ruzica
- 通讯作者:Piskac, Ruzica
{{
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 }}
Ruzica Piskac其他文献
Ruzica Piskac的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ruzica Piskac', 18)}}的其他基金
Collaborative Research: FMitF: Track I: Automating and Synthesizing Parallel Zero-Knowledge Protocols
合作研究:FMitF:第一轨:自动化和综合并行零知识协议
- 批准号:
2318974 - 财政年份:2023
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations
合作研究:FMitF:第一轨:数据库查询转换的自动发现和验证
- 批准号:
2219995 - 财政年份:2022
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
DASS: Accountability from Attention, not Assumption
DASS:责任源于注意力,而非假设
- 批准号:
2131476 - 财政年份:2021
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Student Travel Support for Verification, Model Checking, and Abstract Interpretation (VMCAI) Winter School 2020
验证、模型检查和摘要解释 (VMCAI) 2020 年冬季学校学生旅行支持
- 批准号:
2004561 - 财政年份:2020
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
SHF: Small: ConfigV: Automated Verification of Configuration Files
SHF:小:ConfigV:配置文件自动验证
- 批准号:
1715387 - 财政年份:2017
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
TWC: Medium: Collaborative: New Protocols and Systems for RAM-Based Secure Computation
TWC:媒介:协作:基于 RAM 的安全计算的新协议和系统
- 批准号:
1562888 - 财政年份:2016
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Student Travel Support for SAT/SMT/AR Summer School at IJCAR 2016
2016 年 IJCAR SAT/SMT/AR 暑期学校学生旅行支持
- 批准号:
1636493 - 财政年份:2016
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
TWC:大型:协作:可验证的硬件:证明自身正确性的芯片
- 批准号:
1565208 - 财政年份:2016
- 资助金额:
$ 2.77万 - 项目类别:
Continuing Grant
CAREER: Synthesis in a Live Programming Environment
职业:实时编程环境中的综合
- 批准号:
1553168 - 财政年份:2016
- 资助金额:
$ 2.77万 - 项目类别:
Continuing Grant
Principles of Programming Languages (POPL) 2015
编程语言原理 (POPL) 2015
- 批准号:
1451760 - 财政年份:2014
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
相似海外基金
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403134 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
- 批准号:
2402804 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
- 批准号:
2403408 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Toward Understandability and Interpretability for Neural Language Models of Source Code
合作研究:SHF:媒介:实现源代码神经语言模型的可理解性和可解释性
- 批准号:
2423813 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402806 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403135 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
- 批准号:
2403409 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402805 - 财政年份:2024
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator Programming
合作研究:SHF:中:高性能、经过验证的加速器编程
- 批准号:
2313024 - 财政年份:2023
- 资助金额:
$ 2.77万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Verifying Deep Neural Networks with Spintronic Probabilistic Computers
合作研究:SHF:中:使用自旋电子概率计算机验证深度神经网络
- 批准号:
2311295 - 财政年份:2023
- 资助金额:
$ 2.77万 - 项目类别:
Continuing Grant