"EventRacer: Finding Concurrency Errors in Event-Driven Applications" by Pavol Bielik