{"id":"https://openalex.org/W2794379539","doi":"https://doi.org/10.1145/3131672.3136988","title":"The Tock Embedded Operating System","display_name":"The Tock Embedded Operating System","publication_year":2017,"publication_date":"2017-11-06","ids":{"openalex":"https://openalex.org/W2794379539","doi":"https://doi.org/10.1145/3131672.3136988","mag":"2794379539"},"language":"en","primary_location":{"id":"doi:10.1145/3131672.3136988","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131672.3136988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Conference on Embedded Network 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/A5078224627","display_name":"Amit Levy","orcid":"https://orcid.org/0000-0003-1479-8917"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Amit Levy","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054416117","display_name":"Bradford Campbell","orcid":"https://orcid.org/0000-0002-4103-8107"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bradford Campbell","raw_affiliation_strings":["University of Virginia"],"affiliations":[{"raw_affiliation_string":"University of Virginia","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022291288","display_name":"Branden Ghena","orcid":"https://orcid.org/0000-0001-8035-9248"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Branden Ghena","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044704566","display_name":"Daniel B. Giffin","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel B. Giffin","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011959451","display_name":"Shane Leonard","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shane Leonard","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072986653","display_name":"Pat Pannuto","orcid":"https://orcid.org/0000-0001-7720-6267"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pat Pannuto","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035987149","display_name":"Prabal Dutta","orcid":"https://orcid.org/0000-0003-4106-9138"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prabal Dutta","raw_affiliation_strings":["University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060306684","display_name":"Philip Levis","orcid":"https://orcid.org/0000-0003-2934-2701"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Philip Levis","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5078224627"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.7801,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.80598598,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"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.9991000294685364,"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.9991000294685364,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.7751274108886719},{"id":"https://openalex.org/keywords/computer-multitasking","display_name":"Computer multitasking","score":0.6843818426132202},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.6787747740745544},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6653812527656555},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.578960657119751},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.544359564781189},{"id":"https://openalex.org/keywords/microcontroller","display_name":"Microcontroller","score":0.5304058790206909},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.49796199798583984},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.47445663809776306},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.47001054883003235},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4354492425918579},{"id":"https://openalex.org/keywords/demand-paging","display_name":"Demand paging","score":0.4234214723110199},{"id":"https://openalex.org/keywords/virtual-memory","display_name":"Virtual memory","score":0.39294201135635376},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.1779712438583374},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.11376768350601196}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7751274108886719},{"id":"https://openalex.org/C154556556","wikidata":"https://www.wikidata.org/wiki/Q192969","display_name":"Computer multitasking","level":2,"score":0.6843818426132202},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.6787747740745544},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6653812527656555},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.578960657119751},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.544359564781189},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.5304058790206909},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.49796199798583984},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.47445663809776306},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.47001054883003235},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4354492425918579},{"id":"https://openalex.org/C188873839","wikidata":"https://www.wikidata.org/wiki/Q5255045","display_name":"Demand paging","level":5,"score":0.4234214723110199},{"id":"https://openalex.org/C76399640","wikidata":"https://www.wikidata.org/wiki/Q189401","display_name":"Virtual memory","level":4,"score":0.39294201135635376},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.1779712438583374},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.11376768350601196},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3131672.3136988","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131672.3136988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W2547930318"],"related_works":["https://openalex.org/W1994942194","https://openalex.org/W2078640694","https://openalex.org/W1421493983","https://openalex.org/W3149406234","https://openalex.org/W2014339615","https://openalex.org/W2494673026","https://openalex.org/W1810083032","https://openalex.org/W261562921","https://openalex.org/W1698699620","https://openalex.org/W2351705013"],"abstract_inverted_index":{"Low-power":[0],"microcontrollers":[1,73],"lack":[2],"some":[3],"of":[4,10,44,65,78,91,113],"the":[5,11,66,75,79,110],"hardware":[6],"features":[7,30,77],"and":[8,37,74,96],"most":[9],"memory":[12,32,35,94,98],"resources":[13],"that":[14,88],"usually":[15],"enable":[16],"multiprogrammable":[17],"systems.":[18],"Accordingly,":[19],"operating":[20,58],"system":[21,59],"software":[22,48,92],"for":[23,60,100],"these":[24],"platforms":[25],"has":[26],"not":[27],"provided":[28],"important":[29],"like":[31],"isolation,":[33],"dynamic":[34,101],"allocation,":[36],"flexible":[38],"concurrency.":[39],"However,":[40],"an":[41],"emerging":[42],"class":[43],"embedded":[45],"applications":[46],"are":[47],"platforms,":[49,62],"rather":[50],"than":[51],"single":[52],"purpose":[53],"devices.":[54,115],"Tock,":[55],"a":[56,85],"new":[57],"low-power":[61],"takes":[63],"advantage":[64],"limited":[67],"hardware-protection":[68],"mechanisms":[69],"available":[70],"on":[71],"recent":[72],"type-safety":[76],"Rust":[80],"programming":[81],"language":[82,107],"to":[83],"provide":[84],"multiprogramming":[86],"environment":[87],"offers":[89],"isolation":[90],"faults,":[93],"protection,":[95],"efficient":[97],"management":[99],"application":[102],"workloads":[103],"written":[104],"in":[105],"any":[106],"while":[108],"retaining":[109],"dependability":[111],"requirements":[112],"long-running":[114]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}