John Regehr Nathan Cooprider Will Archer Eric Eide Efficient type and memory safety for tiny embedded systems. 6 2006 conf/asplos/2006plos PLOS http://doi.acm.org/10.1145/1215995.1216001 db/conf/asplos/plos2006.html#RegehrCAE06