{"id":"https://openalex.org/W2166791480","doi":"https://doi.org/10.1145/1322263.1322283","title":"Efficient memory safety for TinyOS","display_name":"Efficient memory safety for TinyOS","publication_year":2007,"publication_date":"2007-11-06","ids":{"openalex":"https://openalex.org/W2166791480","doi":"https://doi.org/10.1145/1322263.1322283","mag":"2166791480"},"language":"en","primary_location":{"id":"doi:10.1145/1322263.1322283","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1322263.1322283","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th international conference on Embedded networked sensor systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055203922","display_name":"Nathan Cooprider","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nathan Cooprider","raw_affiliation_strings":["University of Utah"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012969204","display_name":"Will Archer","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Will Archer","raw_affiliation_strings":["University of Utah"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002123078","display_name":"Eric Eide","orcid":"https://orcid.org/0000-0001-7206-8408"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Eide","raw_affiliation_strings":["University of Utah"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111945527","display_name":"David Gay","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Gay","raw_affiliation_strings":["Intel Research, Berkeley"],"affiliations":[{"raw_affiliation_string":"Intel Research, Berkeley","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066046345","display_name":"John Regehr","orcid":"https://orcid.org/0000-0001-7025-4610"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Regehr","raw_affiliation_strings":["University of Utah"],"affiliations":[{"raw_affiliation_string":"University of Utah","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055203922"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":18.8356,"has_fulltext":false,"cited_by_count":105,"citation_normalized_percentile":{"value":0.99290366,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"205","last_page":"218"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.8325023651123047},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.788489818572998},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6762746572494507},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6244827508926392},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5820350050926208},{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.5508161783218384},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.44651922583580017},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4297364354133606},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.4256637692451477},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.3248094618320465},{"id":"https://openalex.org/keywords/microcontroller","display_name":"Microcontroller","score":0.26634055376052856},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.21235179901123047},{"id":"https://openalex.org/keywords/flat-memory-model","display_name":"Flat memory model","score":0.12526863813400269},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.1209309995174408}],"concepts":[{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.8325023651123047},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.788489818572998},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6762746572494507},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6244827508926392},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5820350050926208},{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.5508161783218384},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.44651922583580017},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4297364354133606},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.4256637692451477},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.3248094618320465},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.26634055376052856},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.21235179901123047},{"id":"https://openalex.org/C57863822","wikidata":"https://www.wikidata.org/wiki/Q905488","display_name":"Flat memory model","level":4,"score":0.12526863813400269},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.1209309995174408}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1322263.1322283","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1322263.1322283","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th international conference on Embedded networked sensor systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.127.5973","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.5973","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rutgers.edu/~uli/cs671/papers/CoopriderSenSys07.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.5848","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.5848","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utah.edu/~regehr/papers/coop-sensys07.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1586502670","https://openalex.org/W1825457006","https://openalex.org/W1874682220","https://openalex.org/W1908452962","https://openalex.org/W1971903460","https://openalex.org/W1989631754","https://openalex.org/W2013377579","https://openalex.org/W2037638912","https://openalex.org/W2063453797","https://openalex.org/W2073744038","https://openalex.org/W2074847015","https://openalex.org/W2076510367","https://openalex.org/W2097685561","https://openalex.org/W2098806455","https://openalex.org/W2104532741","https://openalex.org/W2105367543","https://openalex.org/W2107089133","https://openalex.org/W2115179079","https://openalex.org/W2118201637","https://openalex.org/W2121218648","https://openalex.org/W2133587157","https://openalex.org/W2146924294","https://openalex.org/W2147023485","https://openalex.org/W2153242493","https://openalex.org/W2463604212","https://openalex.org/W4210597212","https://openalex.org/W4243443630","https://openalex.org/W6638583435"],"related_works":["https://openalex.org/W2141365240","https://openalex.org/W2484072889","https://openalex.org/W4245736681","https://openalex.org/W4239042909","https://openalex.org/W4242254025","https://openalex.org/W2362192177","https://openalex.org/W3101333446","https://openalex.org/W4221019007","https://openalex.org/W2359338737","https://openalex.org/W2047240985"],"abstract_inverted_index":{"Reliable":[0],"sensor":[1,124],"network":[2],"software":[3],"is":[4,16],"difficult":[5],"to":[6,101,119],"create:":[7],"applications":[8,44,126],"are":[9,61,131],"concurrent":[10],"and":[11,18,38,50,58,99],"distributed,":[12],"hardware-based":[13],"memory":[14,37,129],"protection":[15],"unavailable,":[17],"severe":[19],"resource":[20,83],"constraints":[21],"necessitate":[22],"the":[23,47,96,121],"use":[24],"of":[25,82,123],"unsafe,":[26],"low-level":[27],"languages.":[28],"Our":[29,68],"work":[30],"improves":[31],"this":[32],"situation":[33],"by":[34],"providing":[35],"efficient":[36],"type":[39],"safety":[40,91,103,115],"for":[41,88],"TinyOS":[42],"2":[43],"running":[45],"on":[46],"Mica2,":[48],"MicaZ,":[49],"TelosB":[51],"platforms.":[52],"Safe":[53],"execution":[54,78],"ensures":[55],"that":[56,72,114],"array":[57],"pointer":[59],"errors":[60,130],"caught":[62],"before":[63],"they":[64],"can":[65,75,116],"corrupt":[66],"RAM.":[67],"contributions":[69],"include":[70],"showing":[71,113],"aggressive":[73],"optimizations":[74],"make":[76],"safe":[77],"practical":[79],"in":[80,109],"terms":[81],"usage;":[84],"developing":[85],"a":[86],"technique":[87],"efficiently":[89],"enforcing":[90],"under":[92],"interrupt-driven":[93],"concurrency;":[94],"extending":[95],"nesC":[97],"language":[98],"compiler":[100],"support":[102],"annotations;":[104],"finding":[105],"previously":[106],"unknown":[107],"bugs":[108],"TinyOS;":[110],"and,":[111],"finally,":[112],"be":[117],"exploited":[118],"increase":[120],"availability":[122],"networks":[125],"even":[127],"when":[128],"left":[132],"unfixed.":[133]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":11}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}