Weidong Mao, Ph.D.
PRECISE Seminar: Advances in Video On-Demand Systems
June 19, 2014

With the advent of high performance storage, content delivery network (CDN), adaptive IP streaming, advanced compression, and broadband networks, Video On Demand (VOD) technologies and services for cable systems and broadband Internet have evolved significantly in recent years.  These advances enable the delivery of large amount of content to multiple devices of large number of subscribers in scale with increasing capabilities.

This presentation will discuss the next generation Video On Demand architecture and several recent advances in Control/Data Plane and Content Delivery…

Profile photo of Sarfraz Khurshid
Sarfraz Khurshid, Ph.D.
PRECISE Seminar: Assertion-driven Development and Analyses
May 12, 2014

To increase reliability, developers have long used assertions -- logical statements that are expected to be true -- as lightweight specifications of crucial properties of code.  Assertions have predominantly served two purposes: documentation and runtime checking. We envision a far broader role of assertions where they are the cornerstone of a wide range of analyses that synergistically promise to bring about an unprecedented increase in reliability.

This talk describes our ongoing work on assertion-driven development and analyses, where developers first assert designs and then…

Profile photo of Swarat Chaudhuri
Swarat Chaudhuri, Ph.D.
PRECISE Seminar: Adventures in Automated Programming
April 3, 2014

The field of automated programming envisions a software design process where the programmer writes nondeterministic specifications of programming tasks in a domain-specific language, and a program synthesis algorithm is used to find correct implementations of these specifications.  In this talk, I will describe my recent work in this area. Topics covered will include:

(1) A probabilistic approach to program synthesis where "beliefs" about missing elements in a program are refined based on examples supplied by the programmer.

(2) A method for synthesizing path-planning…

Profile photo of Steven Reiss
Steven Reiss, Ph.D.
PRECISE Seminar: Searching for the User Interface - First Steps
March 28, 2014

User interface code can be complex and buggy.  Moreover, designing user-friendly interfaces can be difficult.   One way around this is is to reuse interfaces others have written and tested.  We are developing a framework whereby the user provides a sketch of the desired interface and we use code search over open source repositories to find existing user implementations that have an interface similar to the sketch.  The tool we have developed extracts user interfaces from the open source applications, matches them against the user's sketch, lets the programmer interact with the results,…

Profile photo of Miroslav Pajic
Miroslav Pajic
PRECISE Seminar: Robustness of Attack-resilient State Estimators
March 28, 2014

(Joint work with Konstantinos Gatsis)

The interaction between information technology and physical world makes Cyber-Physical Systems (CPS) vulnerable to malicious attacks beyond the standard cyber attacks. This has motivated the need for attack-resilient state estimation. Yet, the existing state-estimators are based on the non-realistic assumption that the exact system model is known. Consequently, in this work we present a method for state estimation in presence of attacks, for systems with noise and modeling errors. When the estimated states are used by a state-based…