{"id":"https://openalex.org/W3108047716","doi":"https://doi.org/10.1145/3427765.3428495","title":"Programming microcontrollers through high-level abstractions","display_name":"Programming microcontrollers through high-level abstractions","publication_year":2020,"publication_date":"2020-11-15","ids":{"openalex":"https://openalex.org/W3108047716","doi":"https://doi.org/10.1145/3427765.3428495","mag":"3108047716"},"language":"en","primary_location":{"id":"doi:10.1145/3427765.3428495","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3427765.3428495","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","raw_type":"proceedings-article"},"type":"preprint","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/A5011029464","display_name":"Steven Varoumas","orcid":null},"institutions":[{"id":"https://openalex.org/I4210159731","display_name":"Laboratoire de Recherche en Informatique de Paris 6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Steven Varoumas","raw_affiliation_strings":["Sorbonne University, France / CNRS, France / LIP6, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne University, France / CNRS, France / LIP6, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026751425","display_name":"Basile Pesin","orcid":"https://orcid.org/0000-0002-3575-7770"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Basile Pesin","raw_affiliation_strings":["Inria, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074607762","display_name":"Beno\u00eet Vaugon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Beno\u00eet Vaugon","raw_affiliation_strings":["Armadillo, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Armadillo, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007537498","display_name":"Emmanuel Chailloux","orcid":"https://orcid.org/0000-0002-2400-9523"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210159731","display_name":"Laboratoire de Recherche en Informatique de Paris 6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Emmanuel Chailloux","raw_affiliation_strings":["Sorbonne University, France / CNRS, France / LIP6, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne University, France / CNRS, France / LIP6, France","institution_ids":["https://openalex.org/I4210159731","https://openalex.org/I39804081","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5011029464"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159731"],"apc_list":null,"apc_paid":null,"fwci":0.4716,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6289663,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"5","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9944000244140625,"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.8473821878433228},{"id":"https://openalex.org/keywords/microcontroller","display_name":"Microcontroller","score":0.7469965815544128},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7166728973388672},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6416337490081787},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5779192447662354},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.562694251537323},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.4766748249530792},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4737311601638794},{"id":"https://openalex.org/keywords/high-level-programming-language","display_name":"High-level programming language","score":0.4613421559333801},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43445146083831787},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4262887239456177}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8473821878433228},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.7469965815544128},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7166728973388672},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6416337490081787},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5779192447662354},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.562694251537323},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.4766748249530792},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4737311601638794},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.4613421559333801},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43445146083831787},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4262887239456177},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3427765.3428495","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3427765.3428495","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03154265v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03154265","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages, Nov 2020, Chicago / Virtual, United States. pp.5-14, ⟨10.1145/3427765.3428495⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W67134903","https://openalex.org/W1548666647","https://openalex.org/W1603617425","https://openalex.org/W1663179985","https://openalex.org/W1875492031","https://openalex.org/W1985115778","https://openalex.org/W1995969393","https://openalex.org/W2167819766","https://openalex.org/W2309928673","https://openalex.org/W2397614356","https://openalex.org/W2510627144","https://openalex.org/W2966750776","https://openalex.org/W2979976652","https://openalex.org/W3039117183","https://openalex.org/W3100278604","https://openalex.org/W3182456546"],"related_works":["https://openalex.org/W2088827150","https://openalex.org/W2117326768","https://openalex.org/W2954318817","https://openalex.org/W2970765309","https://openalex.org/W2102103803","https://openalex.org/W2955825290","https://openalex.org/W3204093629","https://openalex.org/W3129186764","https://openalex.org/W4233601526","https://openalex.org/W223155863"],"abstract_inverted_index":{"In":[0],"this":[1,28],"paper,":[2],"we":[3,30],"present":[4],"an":[5,77],"approach":[6,20],"for":[7,64],"programming":[8,62],"microcontrollers":[9],"that":[10],"provides":[11],"more":[12],"expressivity":[13,94],"and":[14,46,89,95,111],"safety":[15],"than":[16],"a":[17],"low-level":[18],"language":[19],"traditionally":[21],"used":[22],"to":[23,53,82],"program":[24],"such":[25],"devices.":[26],"To":[27],"end,":[29],"provide":[31],"various":[32,71],"abstraction":[33],"layers":[34],"(abstraction":[35],"of":[36,39,43,47,57,67,76,92,97,104],"the":[37,40,44,54,58,65,93,98,102],"microcontroller,":[38],"electronic":[41],"components":[42],"circuit,":[45],"concurrency)":[48],"which,":[49],"while":[50],"being":[51],"adapted":[52],"scarce":[55],"resources":[56,88],"hardware,":[59],"offer":[60],"high-level":[61],"traits":[63],"development":[66],"embedded":[68,112],"applications.":[69],"The":[70],"presented":[72],"abstractions":[73],"make":[74],"use":[75],"OCaml":[78],"virtual":[79],"machine":[80],"able":[81],"run":[83],"on":[84,107],"devices":[85],"with":[86],"limited":[87],"take":[90],"advantage":[91],"extensibility":[96],"language.":[99],"We":[100],"illustrate":[101],"interest":[103],"our":[105],"work":[106],"both":[108],"entertainment":[109],"applications":[110],"software":[113],"examples.":[114]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}