Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages &Amp; Applications 2014
DOI: 10.1145/2660193.2660225
|View full text |Cite
|
Sign up to set email alerts
|

Rate types for stream programs

Abstract: We introduce RATE TYPES, a novel type system to reason about and optimize data-intensive programs. Built around stream languages, RATE TYPES performs static quantitative reasoning about stream rates-the frequency of data items in a stream being consumed, processed, and produced-a critical performance characteristic previously addressed by numerous experimental approaches but few foundational efforts. Even though streams are fundamentally dynamic, we find two essential concepts of stream rate control-throughput… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
3
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 50 publications
0
1
0
Order By: Relevance
“…Functions are encapsulated in autonomous execution containers with their state, so as to be mobile and parallel, similarly to the actors model. The communications are similar to the dataflow programming model, which allows to reason on the throughput of these streams, and to react to load increases [4].…”
Section: Fluxional Execution Modelmentioning
confidence: 99%
“…Functions are encapsulated in autonomous execution containers with their state, so as to be mobile and parallel, similarly to the actors model. The communications are similar to the dataflow programming model, which allows to reason on the throughput of these streams, and to react to load increases [4].…”
Section: Fluxional Execution Modelmentioning
confidence: 99%