Efficient type and memory safety for tiny embedded systems.

John Regehr, Nathan Cooprider, Will Archer, Eric Eide

Browse the full ASPLOS paper archive.