Sign In

Communications of the ACM

Video Highlights


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.

EarSketch: Engaging Broad Populations in Computing Through Music

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