Memory Checking Requires Logarithmic Overhead.

Elette Boyle, Ilan Komargodski, Neekon Vafa

Browse the full STOC paper archive.