{"id":"https://openalex.org/W2235496233","doi":"https://doi.org/10.1145/2930957.2930958","title":"Adding real-time capabilities to a SML compiler","display_name":"Adding real-time capabilities to a SML compiler","publication_year":2016,"publication_date":"2016-04-27","ids":{"openalex":"https://openalex.org/W2235496233","doi":"https://doi.org/10.1145/2930957.2930958","mag":"2235496233"},"language":"en","primary_location":{"id":"doi:10.1145/2930957.2930958","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2930957.2930958","pdf_url":null,"source":{"id":"https://openalex.org/S4210187018","display_name":"ACM SIGBED Review","issn_l":"1551-3688","issn":["1551-3688"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGBED Review","raw_type":"journal-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/A5101495026","display_name":"Muyuan Li","orcid":"https://orcid.org/0000-0003-2035-5135"},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Muyuan Li","raw_affiliation_strings":["SUNY Buffalo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Buffalo","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045445293","display_name":"Daniel E. McArdle","orcid":null},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel E. McArdle","raw_affiliation_strings":["SUNY Buffalo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Buffalo","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081387958","display_name":"Jeffrey C Murphy","orcid":null},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey C. Murphy","raw_affiliation_strings":["SUNY Buffalo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Buffalo","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046168609","display_name":"Bhargav Shivkumar","orcid":"https://orcid.org/0000-0002-8430-9229"},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bhargav Shivkumar","raw_affiliation_strings":["SUNY Buffalo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Buffalo","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027309456","display_name":"Lukasz Ziarek","orcid":"https://orcid.org/0000-0003-4353-1998"},"institutions":[{"id":"https://openalex.org/I115441956","display_name":"Buffalo State University","ror":"https://ror.org/05ms04m92","country_code":"US","type":"education","lineage":["https://openalex.org/I115441956"]},{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lukasz Ziarek","raw_affiliation_strings":["SUNY Buffalo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUNY Buffalo","institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101495026"],"corresponding_institution_ids":["https://openalex.org/I115441956","https://openalex.org/I63190737"],"apc_list":null,"apc_paid":null,"fwci":0.6405,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.65373759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"13","issue":"2","first_page":"8","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9966999888420105,"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.9945999979972839,"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.836896538734436},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8024282455444336},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.695358395576477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5947758555412292},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.5633878111839294},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.37696442008018494},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.35960155725479126},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.24595507979393005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.836896538734436},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8024282455444336},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.695358395576477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5947758555412292},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.5633878111839294},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37696442008018494},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35960155725479126},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.24595507979393005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2930957.2930958","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2930957.2930958","pdf_url":null,"source":{"id":"https://openalex.org/S4210187018","display_name":"ACM SIGBED Review","issn_l":"1551-3688","issn":["1551-3688"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGBED Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W13405029","https://openalex.org/W1495087637","https://openalex.org/W1771890704","https://openalex.org/W1972174903","https://openalex.org/W1977365631","https://openalex.org/W1991233955","https://openalex.org/W2018436366","https://openalex.org/W2029483922","https://openalex.org/W2034085657","https://openalex.org/W2038013988","https://openalex.org/W2053550315","https://openalex.org/W2082985569","https://openalex.org/W2087875803","https://openalex.org/W2094689025","https://openalex.org/W2115597529","https://openalex.org/W2127114597","https://openalex.org/W2132772682","https://openalex.org/W2160293203","https://openalex.org/W2163672025","https://openalex.org/W2169753096","https://openalex.org/W4252251785"],"related_works":["https://openalex.org/W2171648479","https://openalex.org/W4254787146","https://openalex.org/W2132806979","https://openalex.org/W1713081424","https://openalex.org/W2105655507","https://openalex.org/W1523769955","https://openalex.org/W2390939225","https://openalex.org/W2245390655","https://openalex.org/W188282463","https://openalex.org/W2348052088"],"abstract_inverted_index":{"There":[0],"has":[1],"been":[2],"much":[3],"recent":[4],"interest":[5],"in":[6,14,83,122],"adopting":[7],"functional":[8,40,49],"and":[9,41,51,102,119],"reactive":[10,42],"programming":[11,43],"for":[12,24,44,75],"use":[13],"real-time":[15,26,45,47,76,99,112],"system":[16],"design.":[17],"Moving":[18],"toward":[19],"a":[20,65,87,93,111],"more":[21],"declarative":[22],"methodology":[23],"developing":[25],"systems":[27],"purports":[28],"to":[29,64,71,97,106,128],"improve":[30],"the":[31,37,61],"fidelity":[32],"of":[33,39,110],"software.":[34],"To":[35],"study":[36],"benefits":[38],"systems,":[46],"aware":[48],"compilers":[50],"language":[52],"runtimes":[53],"are":[54],"required.":[55],"In":[56],"this":[57],"paper":[58],"we":[59],"examine":[60],"necessary":[62],"changes":[63],"modern":[66],"Standard":[67],"ML":[68,130],"compiler,":[69],"MLton,":[70],"provide":[72],"basic":[73],"support":[74,98],"execution.":[77],"We":[78,115],"detail":[79],"our":[80,120],"current":[81],"progress":[82,123],"modifying":[84],"MLton":[85,134],"with":[86,133],"threading":[88],"model":[89,96],"that":[90],"supports":[91],"priorities,":[92],"chunked":[94],"object":[95],"garbage":[100],"collection,":[101],"low":[103],"level":[104],"modification":[105],"execute":[107],"on":[108,135],"top":[109],"operating":[113],"system.":[114],"present":[116],"preliminary":[117],"numbers":[118],"work":[121],"prototype,":[124],"which":[125],"is":[126],"able":[127],"boot":[129],"programs":[131],"compiled":[132],"x86":[136],"machines.":[137]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}