"We are close to solving memory safety in C++ without runtime overhead" (2015)