A catalog of stream processing optimizations

M Hirzel, R Soulé, S Schneider, B Gedik… - ACM Computing Surveys …, 2014 - dl.acm.org
Various research communities have independently arrived at stream processing as a
programming model for efficient and parallel computing. These communities include digital …

Frenetic: A network programming language

N Foster, R Harrison, MJ Freedman, C Monsanto… - ACM Sigplan …, 2011 - dl.acm.org
Modern networks provide a variety of interrelated services including routing, traffic
monitoring, load balancing, and access control. Unfortunately, the languages used to …

IBM streams processing language: Analyzing big data in motion

M Hirzel, H Andrade, B Gedik… - IBM Journal of …, 2013 - ieeexplore.ieee.org
The IBM Streams Processing Language (SPL) is the programming language for IBM
InfoSphere® Streams, a platform for analyzing Big Data in motion. By “Big Data in motion,” …

Anomaly detection and root cause localization in virtual network functions

C Sauvanaud, K Lazri, M Kaâniche… - 2016 IEEE 27th …, 2016 - ieeexplore.ieee.org
The maturity of hardware virtualization has motivated Communication Service Providers
(CSPs) to apply thisparadigm to network services. Virtual Network Functions (VNFs) result …

An Overview of Continuous Querying in (Modern) Data Systems

A Bonifati, R Tommasini - … of the 2024 International Conference on …, 2024 - dl.acm.org
Continuous queries, also known as standing or streaming queries, are a class of queries
that continuously monitor data sources over time, remaining active until explicitly terminated …

Partition and compose: Parallel complex event processing

M Hirzel - Proceedings of the 6th ACM International Conference …, 2012 - dl.acm.org
Complex event processing uses patterns to detect composite events in streams of simple
events. Typically, the events are logically partitioned by some key. For instance, the key can …

Stream processing languages in the big data era

M Hirzel, G Baudart, A Bonifati, E Della Valle… - ACM Sigmod …, 2018 - dl.acm.org
This paper is a survey of recent stream processing languages, which are programming
languages for writing applications that analyze data streams. Data streams, or continuous …

Sigma* symbolic learning of input-output specifications

M Botinčan, D Babić - ACM SIGPLAN Notices, 2013 - dl.acm.org
We present Sigma*, a novel technique for learning symbolic models of software behavior.
Sigma* addresses the challenge of synthesizing models of software by using symbolic …

Versatile event correlation with algebraic effects

O Bračevac, N Amin, G Salvaneschi, S Erdweg… - Proceedings of the …, 2018 - dl.acm.org
We present the first language design to uniformly express variants of n-way joins over
asynchronous event streams from different domains, eg, stream-relational algebra, event …

SPL: An extensible language for distributed stream processing

M Hirzel, S Schneider, B Gedik - ACM Transactions on Programming …, 2017 - dl.acm.org
Big data is revolutionizing how all sectors of our economy do business, including
telecommunication, transportation, medical, and finance. Big data comes in two flavors: data …