Profile photo of Sebastian Burckhardt
Sebastian Burckhardt, Ph.D.
PRECISE Seminar: Robust Abstractions for Replicated Shared State
November 25, 2014

In the age of cloud-connected mobile devices, users want responsive apps that read and write shared data everywhere, at all times, even if network connections are slow or unavailable. Replication and eventual consistency, while able to deliver this experience, require us to face the complexity of asynchronous update propagation and conflict resolution. Our research goal is to find abstractions that encapsulate this complexity, in order to simplify the programming of distributed applications that are responsive, reactive, and collaborative.

In this talk, we first discuss the general…

Profile photo of Hamsa Balakrishnan
Hamsa Balakrishnan, Ph.D.
Joint PRECISE-GRASP Seminar: Pushback Rate Control - The Design and Field Testing of an Airport Congestion Control Algorithm
November 18, 2014

Increased congestion on the airport surface has increased taxi times, fuel consumption, and emissions. In this talk, I will describe how operational data can be used to develop and validate queuing models of airport operations. These models yield new insights on the effect of different factors such as weather, runway usage, and aircraft fleet mix on airport performance. They also help us predict the behavior of an airport under different operating conditions. 

I will then show that these queuing models can be used to design Pushback Rate Control, a new airport congestion control…

Profile photo of Jyotirmoy V. Deshmukh
Jyotirmoy V. Deshmukh, Ph.D.
PRECISE Seminar: Making Formal Methods Work in Industrial Practice
October 10, 2014

Industrial-scale embedded control systems are often developed in the model-based development (MBD) paradigm. The design process typically involves capturing a 'plant model' to describe the physical processes to be controlled, and a 'controller model,' which is usually a block-diagram-based representation of the controller software. In practice, plant models and controller models are highly complex; typical plant models feature highly nonlinear and hybrid differential and algebraic equations, while controller models feature large look-up tables storing pre-computed values, several levels of…

Profile photo of Naveen Verma
Naveen Verma, Ph.D.
PRECISE Seminar: Electronics for Interacting with the Real World
October 8, 2014

It used to be that we built electronic systems to interact with specific users: taking inputs, providing outputs. Seeing the incredible value that electronics has brought to so many applications, today we would like to build system that interact with all aspects of the physical world. But, the physical world is complex, both in the number of relevant signals it presents and in the physics of how these signals encode information. This talk starts by exploring algorithmic frameworks for creating high-quality models for analyzing sensor signals when no tractable analytical models are…

Profile photo of Robert Bond
Robert Bond, MBA
PRECISE Seminar: Penn Tech Entrepreneur - From Humble Dorm Room to World Class Billionaire
October 3, 2014

Are you interested in starting your own company? Do you want to see how others have succeeded? Join Penn Alumnus Robert Bond as he speaks about how college students like yourselves have started companies from their dorm room.

Behind every great company is a great entrepreneur. Penn alumni have founded world-class companies such as Paypal, Cisco Systems, and Comcast. How did they do it? In this talk, Robert will unveil the secrets of their success. In particular, Robert will focus on stories of startups founded in dorm rooms. How did students like yourself get started? What were the…