Studied Computer science at the University of Karlsruhe (KIT). Currently writing a PhD thesis on practical application of static analyses in software engineering also at the KIT. Workshop at RustBeltRust 2016 about writing static analysis in Rust (clippy). Plenum discussion at Ada Europe 2017 about the future of safety minded languages. Talk about miri at FOSDEM 2018.
Have you ever been annoyed at yourself for doing the same thing wrong again and again even though you know better? Here’s your chance to do something about it. This workshop will teach you the basics of designing static analyses and the tools that help you doing so. The workshop will especially focus on designing and maintaining project specific static analyses, meaning lints that only help your project(s) and are not necessarily generally applicable.