Publication Type |
Manuscript |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Other Author |
Cooprider, Nathan; Archer, Will; Eide, Eric |
Title |
Efficient type and memory safety for tiny embedded systems |
Date |
2006-01-01 |
Description |
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. |
Type |
Text |
Publisher |
Association for Computing Machinery |
DOI |
http://doi.acm.org/10.1145/nnnnnn.nnnnnn ; Doi 10.1145/1215995.1216001 |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Regehr, J., Cooprider, N., Archer, W., & Eide, E. (2006). Efficient type and memory safety for tiny embedded systems. In Proceedings of the PLOS 2006 Workshop on Linguistic Support for Modern Operating Systems. October. |
Rights Management |
© ACM, 2006. This is the authors version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the PLOS 2006 Workshop on Linguistic Support for Modern Operating Systems. October 22, 2006 |
Format Medium |
application/pdf |
Format Extent |
390,249 bytes |
Identifier |
uspace,17484 |
ARK |
ark:/87278/s6m90tdh |
Setname |
ir_uspace |
ID |
707718 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6m90tdh |