David Chisnall is now at MS Research and does cool things with CHERI making a computing platform that's memory-safe by default.