ITR: A Domain-Specific Language for Infopipes

该项目正在创建编程语言技术和工具，以帮助开发对性能敏感的分布式流应用程序，如实时传感器网络。其基本思想是设计特定于流应用程序领域的编程抽象，并开发检查和编译工具以将其映射到底层操作系统机制和网络协议。该方法基于PIS目前正在开发的一种构建流应用程序的新方法--Infopipe编程模型。用早期原型进行的实验表明，Infopipes非常有前途。然而，目前还不存在用于简化编程任务、检查正确性属性和确保复杂“信息管道”的适当性能的语言工具。这份提案概述了创建这些工具所涉及的研究，并就Infopipes的语言原语和工具、可以自动检查的Infopipe属性的种类以及使这种检查变得严格的概念基础提出了一些新的想法。

This project is creating programming language technology and tools to aid the development of performance-sensitive distributed streaming applications, such as real-time sensor networks. The basic idea is to design programming abstractions that are specific to the domain of streaming applications, and to develop checking and compilation tools for mapping them to the underlying operating system mechanisms and network protocols.The approach is based on the "Infopipe" programming model, a novel approach to building streaming applications, currently under development by the PIs. Experiments with an early prototype have shown Infopipes to be very promising. However, language tools for simplifying the programming task, checking correctness properties and ensuring adequate performance of complex "Infopipelines" do not currently exist. This proposal outlines the research involved in creating these tools and presents some novel ideas on the language primitives and tools for Infopipes, the kinds of Infopipe properties that can be automatically checked, and the conceptual foundation that enables this checking to be rigorous.