@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}
}

{"_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":[]}