35C3: Safe and Secure Drivers in High-Level Languages

Isn't this a duplicate? Possibly of https://news.ycombinator.com/item?id=18788069