Safe Low-Level Code Without Overhead is Practical.

Solal Pirelli, George Candea

Browse the full ICSE paper archive.