This project area includes our work on concurrency testing and verification. This includes our work on runtime predictive analysis such as prediction of data races, deadlocks, atomicity violations and other classes of properties, as well as linearizability monitoring, model checking, and related verification questions for concurrent systems.