Talks

Here are two of my talks that were recorded and are available online.

Why Is Random Testing Effective for Partition Tolerance Bugs?

The first talk, given at POPL 2018 in Los Angeles, is a presentation of my paper with Rupak Majumdar on testing distributed systems under network partitions.

Nasumično testiranje distribuiranih sustava

The next talk was given in April 2018 at the Mathematical Logic and Foundations of Mathematics Seminar in Zagreb, and it is about applying combinatorial techniques in testing distributed systems. The talk is in Croatian.

(For some reason I’m wearing the same T-shirt in both talks. )