Efficient Type and Memory Safety for Tiny Embedded Systems. Regehr, J., Cooprider, N., Archer, W., & 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. 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
{"_id":"Toea7QBn7YR69jZWM","bibbaseid":"regehr-cooprider-archer-eide-efficienttypeandmemorysafetyfortinyembeddedsystems-2006","downloads":0,"creationDate":"2019-02-15T15:15:02.018Z","title":"Efficient Type and Memory Safety for Tiny Embedded Systems","author_short":["Regehr, J.","Cooprider, N.","Archer, W.","Eide, E."],"year":2006,"bibtype":"inProceedings","biburl":null,"bibdata":{"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","bibtex":"@inProceedings{\n title = {Efficient Type and Memory Safety for Tiny Embedded Systems},\n type = {inProceedings},\n year = {2006},\n identifiers = {[object Object]},\n keywords = {lowpower,memory,safety,security,sensing},\n websites = {http://dx.doi.org/10.1145/1215995.1216001},\n publisher = {ACM},\n city = {New York, NY, USA},\n series = {PLOS '06},\n id = {ef7149c0-95e9-32cb-ab37-8966cf3bcae3},\n created = {2018-07-12T21:32:35.805Z},\n file_attached = {false},\n profile_id = {f954d000-ce94-3da6-bd26-b983145a920f},\n group_id = {b0b145a3-980e-3ad7-a16f-c93918c606ed},\n last_modified = {2018-07-12T21:32:35.805Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {regehr:tinyosmemsafety:2006},\n source_type = {inproceedings},\n private_publication = {false},\n 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.},\n bibtype = {inProceedings},\n author = {Regehr, John and Cooprider, Nathan and Archer, Will and Eide, Eric},\n booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems}\n}","author_short":["Regehr, J.","Cooprider, N.","Archer, W.","Eide, E."],"urls":{"Website":"http://dx.doi.org/10.1145/1215995.1216001"},"bibbaseid":"regehr-cooprider-archer-eide-efficienttypeandmemorysafetyfortinyembeddedsystems-2006","role":"author","keyword":["lowpower","memory","safety","security","sensing"],"downloads":0},"search_terms":["efficient","type","memory","safety","tiny","embedded","systems","regehr","cooprider","archer","eide"],"keywords":["lowpower","memory","safety","security","sensing"],"authorIDs":[]}