SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Thu 23 Oct 2014 10:30 - 10:52 at Salon E - Type Systems Chair(s): Ravi Chugh

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. Despite the fact that streams are fundamentally dynamic, we find two essential concepts of stream rate control — throughput ratio and natural rate — are intimately related to the program structure itself and can be effectively reasoned about by a type system. RATE TYPES is proven to correspond with a time-aware and parallelism-aware operational semantics. The strong correspondence result tolerates arbitrary schedules, and does not require any synchronization between stream filters. We further implement RATE TYPES, demonstrating its effectiveness in predicting stream data rates in real-world stream programs.

Video: http://www.infoq.com/presentations/rate-types

Rate Types for Stream Programs (oopsla2014-bartenstein.pdf)5.85MiB

Conference Day
Thu 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Type SystemsOOPSLA at Salon E
Chair(s): Ravi ChughUniversity of Chicago
10:30
22m
Talk
Rate Types for Stream Programs
OOPSLA
Thomas W. BartensteinSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Link to publication File Attached
10:52
22m
Talk
Foundations of Path-Dependent Types
OOPSLA
Nada AminEPFL, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole Polytechnique Federale de Lausanne
Link to publication File Attached
11:15
22m
Talk
Confined Gradual Typing
OOPSLA
Esteban Allende, Johan FabryUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile
Link to publication
11:37
22m
Talk
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA
John AltidorUniversity of Massachusetts, Yannis SmaragdakisUniversity of Athens
Link to publication File Attached