John Regehr, Nathan Cooprider, Will Archer, Eric Eide. Efficient type and memory safety for tiny embedded systems. In Christian W. Probst, editor, Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006. pages 6, ACM, 2006. [doi]