Rounding pointers: type safe capabilities with C++ meta programming.

Alexander Warg, Adam Lackorzynski

Browse the full SOSP paper archive.