Event Listing

12 MAY 2014
@ 11:00 am
Seminar
PRECISE Seminar: Assertion-driven Development and Analyses
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… Read more
03 APR 2014
@ 12:30 pm
Seminar
PRECISE Seminar: Adventures in Automated Programming
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… Read more
28 MAR 2014
@ 3:00 pm
Seminar
PRECISE Seminar: Searching for the User Interface - First Steps
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… Read more
28 MAR 2014
@ 1:30 pm
Seminar
PRECISE Seminar: Robustness of Attack-resilient State Estimators
(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… Read more
28 MAR 2014
@ 1:00 pm
Seminar
PRECISE Seminar: Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels
(Joint work with Miroslav Pajic) We consider a wireless networked control system with multiple loops closing over a shared wireless medium. To avoid interferences a centralized scheduler decides which control task accesses the channel at each time step,… Read more
26 MAR 2014
@ 12:00 pm
Seminar
PRECISE Seminar: Humans and Models in a Cyber-Physical World
This talk covers several results focused on humans interacting with Cyber-Physical Systems: those systems whose computation, control, and communication aspects are tightly coupled. Human inputs to these systems has typically required significant training, which reduces the… Read more
05 MAR 2014
@ 11:00 am
Seminar
PRECISE Seminar: Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems
Building safety-critical real-time systems out of inexpensive, non-realtime, COTS components is challenging. Although COTS components generally offer high performance, they can occasionally incur significant timing delays. To prevent this, we propose two approaches: 1) a new… Read more
21 FEB 2014
@ 1:00 pm
Seminar
PRECISE Seminar: Towards Mobile Sensing of Attention and Distraction
It has long been recognized that ubiquitous information access brings enormous benefits but also creates a plethora of devices and services that are competing for our attention. With mobile devices this is a particular serious concern for drivers, pedestrians, and other… Read more
18 FEB 2014
@ 1:00 pm
Seminar
PRECISE Seminar: Computational Game Theory in Sequential Environments
Compared to typical single-agent decision problems, general sum games offer a panoply of strategies for maximizing utiity. In many games, such as the well-known Prisoner's dilemma, agents must work together, bearing some individual risk, to arrive at mutually beneficial… Read more
13 FEB 2014
@ 2:00 pm
Seminar
PRECISE Seminar: Performance-aware Synthesis for Concurrency
Partial-program synthesis is a technique that allows programmer to specify only part of the program imperatively and the rest of the requirements declaratively. In the domain of concurrency, the input usually consists of a non-deterministic partial program where the… Read more