Assess students' ability to apply static and dynamic program analysis techniques to detect, diagnose, and mitigate concurrency bugs in multithreaded systems. The quiz will cover identification of data races, atomicity violations, and deadlocks; principles behind happens‑before and lockset analyses; use and interpretation of dynamic tools (sanitizers, race detectors) and static analyzers (annotations, model checking); designing test harnesses; and proposing code-level mitigations and trade-offs (locks, atomics, lock ordering, transactional memory).