The design of programming abstractions for processing data streams

Date and time: 
Thu, Nov 4 2021 - 12:00pm
Location: 
Zoom
Speaker(s):
Dr. Konstantinos Mamouras
Rice University
Host/Committee: 
  • Oregon Networking Research Group (ONRG) in the Department of Computer and Information Science (CIS) at the University of Oregon
    https://onrg.gitlab.io/

Modern information processing systems increasingly demand the ability to continuously process incoming streaming data in a timely and reliable manner. Data streams arise in diverse applications ranging from patient monitoring in healthcare to real-time decision-making in emerging Internet of Things (IoT) systems. In this talk, I will present research on the design of programming abstractions for stream processing that enable guarantees of correctness and predictable performance. In particular, I will present StreamQRE, a declarative domain-specific language and execution engine for stream processing. StreamQRE offers strong theoretical guarantees for resource usage, and its performance on realistic workloads is shown to compare favorably against other popular streaming engines.

Biography: 

Dr. Konstantinos Mamouras is an Assistant Professor of Computer Science at Rice University. He is currently working on the design of programming abstractions for processing data streams. Several real-time decision making applications rely on the computation of quantitative summaries of very large streams of data. Dr. Konstantinos and collaborators have proposed StreamQRE, a declarative query language that combines regular expressions, quantitative aggregation, and relational features. A compilation algorithm translates the high-level query into a streaming algorithm with precise guarantees for resource usage.

Dr. Mamouras is also interested in program semantics and logics for program verification. In particular, this includes equational theories of programs based on the framework of Kleene Algebra with Tests.

https://mamouras.web.rice.edu/

Tags: