River: an intermediate language for stream processing

Simple item page
dc.citation.epage929en_US
dc.citation.issueNumber7en_US
dc.citation.spage891en_US
dc.citation.volumeNumber46en_US
dc.contributor.authorSoulé R.en_US
dc.contributor.authorHirzel M.en_US
dc.contributor.authorGedik, B.en_US
dc.contributor.authorGrimm, R.en_US
dc.date.accessioned2018-04-12T10:57:57Z
dc.date.available2018-04-12T10:57:57Z
dc.date.issued2016en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.description.abstractSummary This paper presents both a calculus for stream processing, named Brooklet, and its realization as an intermediate language, named River. Because River is based on Brooklet, it has a formal semantics that enables reasoning about the correctness of source translations and optimizations. River builds on Brooklet by addressing the real-world details that the calculus elides. We evaluated our system by implementing front-ends for three streaming languages, and three important optimizations, and a back-end for the System S distributed streaming runtime. Overall, we significantly lower the barrier to entry for new stream-processing languages and thus grow the ecosystem of this crucial style of programming.en_US
dc.description.provenanceMade available in DSpace on 2018-04-12T10:57:57Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 179475 bytes, checksum: ea0bedeb05ac9ccfb983c327e155f0c2 (MD5) Previous issue date: 2016en
dc.identifier.doi10.1002/spe.2338en_US
dc.identifier.issn0038-0644en_US
dc.identifier.urihttp://hdl.handle.net/11693/36943en_US
dc.language.isoEnglishen_US
dc.publisherJohn Wiley & Sons Ltd.en_US
dc.relation.isversionofhttp://dx.doi.org/10.1002/spe.2338en_US
dc.source.titleSoftware : Practice and Experienceen_US
dc.subjectOptimizationsen_US
dc.subjectStream processingen_US
dc.subjectCalculationsen_US
dc.subjectComputational linguisticsen_US
dc.subjectFormal methodsen_US
dc.subjectOptimizationen_US
dc.subjectRiversen_US
dc.subjectSemanticsen_US
dc.subjectDistributed streamingen_US
dc.subjectFormal semanticsen_US
dc.subjectFront enden_US
dc.subjectIntermediate languagesen_US
dc.subjectReal-worlden_US
dc.subjectRuntimesen_US
dc.subjectComputer hardware description languagesen_US
dc.titleRiver: an intermediate language for stream processingen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
River_an_intermediate_language_for_stream_processing.pdf
Size:
4.69 MB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Scholarly Publications - Computer Engineering