Seminars

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…

This seminar will cover three topics -- certification challenges for autonomous systems, a DoD-relevant application domain for human-autonomous mission planning, and formal methods for synthesis of human-automation mission plans. For the first topic, we will start by discussing current certification practices for avionics, then discuss challenges for extending these practices for autonomous systems. For the second topic, we will describe a mission scenario in which multiple unmanned air, ground, and sea vehicles must be used by a human operator to provide security for base defense. We will…

Automotive operating system is a safety-critical software that controls electrical devices installed in automobiles. It is supposed to work safely under any arbitrary interactions with application programs, which is a major difficulty in safety verification.  It is important to model a sound environment that satisfies system requirements and constraints in order to ensure efficiency and effectiveness of verification.

This talk introduces my approach to address this issue using constraint patterns identified from the OSEK/VDX international standard for automotive operating systems.…

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…

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…