Burcu Ozkan | Concurrency Testing as a Sampling Problem

I’ll talk about my research on testing concurrent and distributed systems from the perspective of probabilistic sampling. Concurrent and distributed systems are difficult to implement correctly, and random testing is a practical approach for detecting bugs in distributed systems. While naïve random stress testing is unlikely to discover difficult bugs, our recent testing techniques offer effective testing methods by carefully sampling test executions.