Date September 22, 2016
Speaker Rajeev Alur
University of Pennsylvania
Title Quantitative Policies over Streaming Data
Abstract Decision making in cyber-physical systems often requires dynamic monitoring of a data stream to compute performance-related quantitative properties. We propose StreamQRE as a high-level declarative language for modular specifications of such quantitative policies. This language is rooted in the emerging theory of regular functions, and every policy described in this language can be compiled into a space-efficient streaming implementation. We describe a prototype system that is integrated within an SDN controller and show how it can be used to specify and enforce dynamic updates for traffic engineering as well as in response to security threats. We conclude by outlining the rich opportunities for both theoretical investigations and practical systems for real-time decision making in IoT applications.

This talk is based on recent and ongoing work with Penn researchers Dana Fisman, Sanjeev Khanna, Boon Thau Loo, Kostas Mamouras, Mukund Raghothaman, and Yifei Yuan.
Bio Rajeev Alur is Zisman Family Professor of Computer and Information Science at University of Pennsylvania. He obtained his bachelor's degree in computer science from IIT Kanpur in 1987 and PhD in computer science from Stanford University in 1991. Before joining Penn in 1997, he was with Computing Science Research Center at Bell Labs. His research is focused on formal methods for system design, and spans theoretical computer science, software verification and synthesis, and cyber-physical systems. He is a Fellow of the ACM, a Fellow of the IEEE, an Alfred P. Sloan Faculty Fellow, and a Simons Investigator. He was awarded the inaugural CAV (Computer-Aided Verification) award in 2008, ACM/IEEE Logic in Computer Science (LICS) Test-of-Time award in 2010 and the inaugural Alonzo Church award by ACM SIGLOG / EATCS / EACSL in 2016 for his work on timed automata. Prof. Alur has served as the chair of ACM SIGBED (Special Interest Group on Embedded Systems), and as the general chair of LICS. He is the author of the textbook Principles of Cyber-Physical Systems (MIT Press, 2015), and is currently the lead PI of the NSF Expeditions in Computing center ExCAPE (Expeditions in Computer Augmented Program Engineering).

These seminars supported by the Ming Hsieh Institute.