When the compiler lies: breaking memory safety in safe Go

Jakub Ciolek - cloud security, system engineering and compilers