@inproceedings{
Regehr06Efficient,
Author = {John Regehr and Nathan Cooprider and Will Archer and Eric Eide},
Title = {Efficient Type and Memory Safety for Tiny Embedded Systems},
School = {},
DOI = {10.1145/1215995.1216001},
Year = {2006}
}