Video Highlights

Automated Program Repair

Automated program repair can relieve programmers from the burden of manually fixing the ever-increasing number of pro...

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world de...

Real-World Applications for Drones

Unmanned vehicles have a number of compelling real-world use cases.

Information Is Physics

Individual bits of information can have direct physical consequences.

Protecting Industrial Control Systems

Finding, and plugging, the security holes in SCADA.

Multi-Device Digital Assistance

Increased availability of cloud services and ownership of multiple digital devices create unique opportunities for di...

Building Certified Concurrent OS Kernels

In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.

Bitwise: A Life in Code

Data science as a paradox.

Alloy: A Language and Tool for Exploring Software Designs

Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.