Tag: correctness

Jul 16, 2026

• concurrency
• correctness
• race-detection
• happens-before
• lockset
• testing
• tooling

Jul 15, 2026

• concurrency
• memory-model
• correctness
• atomicity
• visibility
• ordering
• swe-interview-prep

Jul 15, 2026

• concurrency
• memory-model
• memory-model/drf
• correctness
• sequential-consistency
• data-race
• swe-interview-prep

Jul 14, 2026

• distributed-systems
• consistency
• consistency/linearizability
• correctness
• concurrency
• replication
• swe-interview-prep