Brussels / 2 & 3 February 2019

schedule

Mikhail Gadelha

The speaker description is potentially outdated as it is from a previous FOSDEM edition.

Events

Title Day Room Track Start End
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer Sunday K.4.201 LLVM 14:15 14:55