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

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

Individual bits of information can have direct physical consequences.

Finding, and plugging, the security holes in SCADA.

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

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

Data science as a paradox.

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

EarSketch leverages the appeal of music to create a learning environment that allows students to be expressive with c...