Interesting talk. The tools presented can indeed go a long way helping people figure out what's wrong with a piece of code or learning some of the harder parts of a language.

Not every vulnerability reports are born equal... This can be a waste of time when the vulnerability is on the reporter end.

This can be useful indeed to explore concurrency issues. It requires some work though.