Efficient Type and Memory Safety for Tiny Embedded Systems. Regehr, J.; Cooprider, N.; Archer, W.; and Eide, E. In Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, of PLOS '06, 2006. ACM.
Efficient Type and Memory Safety for Tiny Embedded Systems [link]Website  abstract   bibtex   
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. A compiler for a safe language must often insert dynamic checks into the programs it produces; these generally make programs both larger and slower. In this paper, we describe our novel compiler toolchain, which uses a family of techniques to minimize or avoid these run-time costs. Our results show that safety can in fact be implemented cheaply on low-end 8-bit microcontrollers.
@inProceedings{
 title = {Efficient Type and Memory Safety for Tiny Embedded Systems},
 type = {inProceedings},
 year = {2006},
 identifiers = {[object Object]},
 keywords = {lowpower,memory,safety,security,sensing},
 websites = {http://dx.doi.org/10.1145/1215995.1216001},
 publisher = {ACM},
 city = {New York, NY, USA},
 series = {PLOS '06},
 id = {ef7149c0-95e9-32cb-ab37-8966cf3bcae3},
 created = {2018-07-12T21:32:35.805Z},
 file_attached = {false},
 profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},
 group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},
 last_modified = {2018-07-12T21:32:35.805Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {regehr:tinyosmemsafety:2006},
 source_type = {inproceedings},
 private_publication = {false},
 abstract = {We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. A compiler for a safe language must often insert dynamic checks into the programs it produces; these generally make programs both larger and slower. In this paper, we describe our novel compiler toolchain, which uses a family of techniques to minimize or avoid these run-time costs. Our results show that safety can in fact be implemented cheaply on low-end 8-bit microcontrollers.},
 bibtype = {inProceedings},
 author = {Regehr, John and Cooprider, Nathan and Archer, Will and Eide, Eric},
 booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems}
}
Downloads: 0