BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
News Articles Presentations Podcasts Guides

Topics

Choose your language

QCon San Francisco - image
QCon San Francisco

Level up your software skills by uncovering the emerging trends you should focus on. Register now.

 QCon London - image
QCon London

Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.

 QCon London - image
InfoQ Dev Summit Boston

Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.

 The Software Architects Newsletter - image
The Software Architects' Newsletter

Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.

InfoQ Homepage Presentations Rate Types for Stream Programs

Rate Types for Stream Programs

Bookmarks
16:36

Summary

Thomas Bartenstein, Yu David Liu introduce RATE TYPES, a new type system to reason about and optimize data-intensive programs, performing static quantitative reasoning about stream rates.

Bio

Thomas Bartenstein is a PhD Candidate at the Department of Computer Science of the State University of New York at Binghamton. Yu David Liu is an Assistant Professor at State University of New York (SUNY) at Binghamton. He is the recipient of an NSF CAREER Award (2011) and a Google Faculty Research Award (2011).

About the conference

SPLASH — the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity — embraces all aspects of programming, languages, and software construction and delivery. It incorporates OOPSLA, Onward!, the Dynamic Languages Symposium, and a host of workshops, panels, tutorials, demonstrations and invited talks.

Recorded at:

Mar 15, 2015

This content is in the Applied Research topic

Related Topics:
BT