1. 2

The video from my talk “Symbolically executing a fuzzy tyrant”

The slides are available on GitHub, as is the tool that I talk about at the end.

It’s more of a survey of things that I work with and am interested in, as well as some things I’m working in, but a few people have enjoyed it (it was one of my least favorite talks, but that’s because I had a cold and was really missing a friend who I used to attend GrrCon with who passed away this year). It may be interesting for some lobste.rs folks as well.