Verification for working developers

Reliable Operation of Heterogeneous Systems: Challenges and Opportunities

When cognition works against us! Helping programmers reduce the cost of cognitive processes.

Optimization and Learning on Graphs

Algorithmic Solutions for Socially Responsible AI

Computational Infrastructure Materials for the Networked & Interactive Built Environment