{"id":"https://openalex.org/W3199460485","doi":"https://doi.org/10.1145/3477039","title":"Declarative Power Sequencing","display_name":"Declarative Power Sequencing","publication_year":2021,"publication_date":"2021-09-22","ids":{"openalex":"https://openalex.org/W3199460485","doi":"https://doi.org/10.1145/3477039","mag":"3199460485"},"language":"en","primary_location":{"id":"doi:10.1145/3477039","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477039","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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 Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.11850/508223","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039981000","display_name":"Jasmin Schult","orcid":"https://orcid.org/0009-0000-1815-3206"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jasmin Schult","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028701439","display_name":"Daniel Schwyn","orcid":"https://orcid.org/0000-0002-4412-9004"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Daniel Schwyn","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018315941","display_name":"Michael Giardino","orcid":"https://orcid.org/0000-0002-9906-720X"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Michael Giardino","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070060979","display_name":"David Cock","orcid":"https://orcid.org/0000-0003-2997-6560"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"David Cock","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072557888","display_name":"Reto Achermann","orcid":"https://orcid.org/0000-0003-3263-7236"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Reto Achermann","raw_affiliation_strings":["University of British Columbia, Vancouver, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia, Vancouver, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072227627","display_name":"Timothy Roscoe","orcid":"https://orcid.org/0000-0002-8298-1126"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Timothy Roscoe","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2295,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55931704,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"20","issue":"5s","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"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.9998000264167786,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.823714554309845},{"id":"https://openalex.org/keywords/firmware","display_name":"Firmware","score":0.6903829574584961},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6419113278388977},{"id":"https://openalex.org/keywords/power-management","display_name":"Power management","score":0.5748940706253052},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4834745526313782},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4724191427230835},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.4635929465293884},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.45558270812034607},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4029580056667328},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3418360650539398},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.32801127433776855}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.823714554309845},{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.6903829574584961},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6419113278388977},{"id":"https://openalex.org/C2778774385","wikidata":"https://www.wikidata.org/wiki/Q4437810","display_name":"Power management","level":3,"score":0.5748940706253052},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4834745526313782},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4724191427230835},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4635929465293884},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.45558270812034607},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4029580056667328},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3418360650539398},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.32801127433776855},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3477039","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477039","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"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 Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/508223","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/508223","pdf_url":"http://hdl.handle.net/20.500.11850/508223","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Embedded Computing Systems, 20 (5)","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:doi:10.3929/ethz-b-000508223","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11850/504531","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Paper"},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/511156","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/511156","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Embedded Computing Systems, 20 (5)","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.3929/ethz-b-000508223","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000508223","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Other"}],"best_oa_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/508223","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/508223","pdf_url":"http://hdl.handle.net/20.500.11850/508223","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Embedded Computing Systems, 20 (5)","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320316785","display_name":"VMware","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3199460485.pdf","grobid_xml":"https://content.openalex.org/works/W3199460485.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1657896522","https://openalex.org/W1974204621","https://openalex.org/W1976792530","https://openalex.org/W1998259214","https://openalex.org/W1999929714","https://openalex.org/W2037431929","https://openalex.org/W2037777200","https://openalex.org/W2041783719","https://openalex.org/W2093069131","https://openalex.org/W2108018667","https://openalex.org/W2116995296","https://openalex.org/W2119068918","https://openalex.org/W2120017782","https://openalex.org/W2133496820","https://openalex.org/W2136244995","https://openalex.org/W2163347957","https://openalex.org/W2765674462","https://openalex.org/W2802610277","https://openalex.org/W2898566692","https://openalex.org/W2943935609","https://openalex.org/W2944552951","https://openalex.org/W2945103192","https://openalex.org/W2983058739","https://openalex.org/W2987990363","https://openalex.org/W2997106023","https://openalex.org/W2999200532","https://openalex.org/W2999600391","https://openalex.org/W3010170458"],"related_works":["https://openalex.org/W2354251310","https://openalex.org/W2349883060","https://openalex.org/W2366100887","https://openalex.org/W2392593410","https://openalex.org/W2392099550","https://openalex.org/W2352152035","https://openalex.org/W2359734510","https://openalex.org/W2123102840","https://openalex.org/W2348903946","https://openalex.org/W2370321928"],"abstract_inverted_index":{"Modern":[0],"computer":[1],"server":[2,238],"systems":[3],"are":[4,17,200],"increasingly":[5],"managed":[6],"at":[7],"a":[8,54,58,94,102,134,158,166,186,234,266],"low":[9],"level":[10,31],"by":[11,105],"baseboard":[12],"management":[13,81],"controllers":[14],"(BMCs).":[15],"BMCs":[16,84],"processors":[18],"with":[19,211,223,240],"access":[20],"to":[21,41,57,76,87,168,203],"the":[22,27,30,64,79,107,111,139,145,183],"most":[23],"critical":[24,190],"parts":[25],"of":[26,32,83,138,152,185,192,265],"platform,":[28],"below":[29],"OS":[33],"or":[34,46],"hypervisor,":[35],"including":[36],"control":[37,127],"over":[38],"power":[39,80,126,141,173,198,207,251,263],"delivery":[40],"every":[42],"system":[43],"component.":[44],"Buggy":[45],"poorly":[47],"designed":[48],"BMC":[49,99],"software":[50,100],"not":[51,180],"only":[52,181],"poses":[53],"security":[55],"threat":[56],"machine,":[59],"it":[60],"can":[61,129],"permanently":[62],"render":[63],"hardware":[65,108],"inoperative.":[66],"Despite":[67],"this,":[68],"there":[69],"is":[70,120],"little":[71],"published":[72],"work":[73],"on":[74,101],"how":[75],"rigorously":[77],"engineer":[78],"functionality":[82],"so":[85],"as":[86],"prevent":[88],"this":[89],"happening.":[90],"This":[91,119,179],"article":[92],"takes":[93],"first":[95],"step":[96],"toward":[97],"putting":[98],"sound":[103],"footing":[104],"specifying":[106],"environment":[109],"and":[110,116,148,165,196,220,248,261],"constraints":[112],"necessary":[113],"for":[114,161,175,214,226],"safe":[115,149],"correct":[117,262],"operation.":[118],"best":[121],"accomplished":[122],"through":[123],"automation:":[124],"correct-by-construction":[125],"sequences":[128,174],"be":[130],"efficiently":[131],"generated":[132],"from":[133],"simple,":[135],"trustworthy":[136],"model":[137,212],"platform\u2019s":[140],"tree":[142],"that":[143],"incorporates":[144],"sequencing":[146,264],"requirements":[147],"voltage":[150,246],"ranges":[151],"all":[153],"components.":[154],"We":[155,229],"present":[156],"both":[157,218,256],"modeling":[159],"language":[160],"complex":[162,176],"power-delivery":[163],"networks":[164],"tool":[167,232,259],"automatically":[169],"generate":[170],"safe,":[171],"efficient":[172],"modern":[177],"platforms.":[178],"increases":[182],"trustworthiness":[184],"hitherto":[187],"opaque":[188],"yet":[189],"element":[191],"platform":[193,224,239],"firmware:":[194],"regulator":[195],"chip":[197],"models":[199],"significantly":[201],"simpler":[202],"produce":[204],"than":[205],"hand-written":[206],"sequences.":[208],"This,":[209],"combined":[210],"reuse":[213],"common":[215],"components,":[216],"reduces":[217],"time":[219],"cost":[221],"associated":[222],"bring-up":[225],"new":[227,235],"hardware.":[228],"evaluate":[230],"our":[231],"using":[233],"high-performance":[236],"2-socket":[237],">100W":[241],"per":[242],"socket":[243],"TDP,":[244],"tight":[245],"limits":[247],"25":[249],"distinct":[250],"regulators":[252],"needing":[253],"configuration,":[254],"showing":[255],"fast":[257],"(<10s)":[258],"runtime,":[260],"live":[267],"system.":[268]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}