X

Distributed systems Meetup / Siječanj 2019.

utorak, 15.01.2019, 18:00h @ MaMa

In our first meetup in 2019, Neven Miculinic shall talk about race detection algorithms:

Data races are nasty kinds of bugs; rare, hard to replicate and tend to occur at the worst possible moment. Their effect is undefined, detection hard, almost impossible without expensive formal verification and static analysis tools…Or is it?

This talk focuses on [ThreadSanitizer](https://clang.llvm.org/docs/ThreadSanitizer.html), a library for detecting race conditions at run-time. It originated in clang & C++ community and its use spread to go (-race), rust, java, and some other languages. ​

It covers how it works conceptually, and necessary background for its understanding.

If somebody wants to share something/speak/have some ideas, on here/email/whatever.

Especially if you’d like a lighting talk, e.g. 5-10 minutes presenting what you’re working on, or some cool tips & tricks you’ve found out recently and gotta share.