{"id":"https://openalex.org/W7127884717","doi":"https://doi.org/10.1145/3748173.3779196","title":"EagerlyElastic: Correct-by-Construction Eager Execution in Dynamically-Scheduled HLS","display_name":"EagerlyElastic: Correct-by-Construction Eager Execution in Dynamically-Scheduled HLS","publication_year":2026,"publication_date":"2026-02-05","ids":{"openalex":"https://openalex.org/W7127884717","doi":"https://doi.org/10.1145/3748173.3779196"},"language":"en","primary_location":{"id":"doi:10.1145/3748173.3779196","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3748173.3779196","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable Gate Arrays","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3748173.3779196","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001313720","display_name":"Shun Katsumi","orcid":null},"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":true,"raw_author_name":"Shun Katsumi","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060329151","display_name":"Emmet Murphy","orcid":"https://orcid.org/0000-0002-3126-7379"},"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":"Emmet Murphy","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121287236","display_name":"Lana Josipovic","orcid":null},"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":"Lana Josipovi\u0107","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5001313720"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22931366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"103","last_page":"113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.4214000105857849,"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.4214000105857849,"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.3402999937534332,"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/T10126","display_name":"Logic, programming, and type systems","score":0.039900001138448715,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.758400022983551},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6011999845504761},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.47200000286102295},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.47040000557899475},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.39660000801086426},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.36320000886917114},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.357699990272522},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.33820000290870667},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.3379000127315521}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8238000273704529},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.758400022983551},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6011999845504761},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.47200000286102295},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.47040000557899475},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4066999852657318},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.39660000801086426},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.36320000886917114},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.357699990272522},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.33230000734329224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3271999955177307},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.30799999833106995},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.2971000075340271},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.27410000562667847},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27379998564720154},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C26490066","wikidata":"https://www.wikidata.org/wiki/Q17006835","display_name":"Circuit extraction","level":4,"score":0.2522999942302704},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3748173.3779196","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3748173.3779196","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable Gate Arrays","raw_type":"proceedings-article"},{"id":"pmh:doi:10.3929/ethz-c-000797873","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/797873","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.1145/3748173.3779196","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3748173.3779196","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 ACM/SIGDA International Symposium on Field Programmable Gate Arrays","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W2002374396","https://openalex.org/W2104869032","https://openalex.org/W2160566592","https://openalex.org/W3008230609","https://openalex.org/W3036557299","https://openalex.org/W3206653210","https://openalex.org/W4232612030","https://openalex.org/W4242894576","https://openalex.org/W4321637521","https://openalex.org/W4367847590","https://openalex.org/W7106538224"],"related_works":[],"abstract_inverted_index":{"Circuits":[0],"generated":[1,213],"through":[2,214],"dynamically-scheduled":[3],"high-level":[4],"synthesis":[5],"(also":[6],"known":[7],"as":[8,14,98],"elastic":[9,87,198,201],"circuits)":[10],"are":[11,30],"highly":[12],"performant,":[13],"circuit":[15,48,104,126],"execution":[16,97,135,161,203],"can":[17,40,162],"adjust":[18],"at":[19,130,183],"runtime":[20],"to":[21,43,54,59,94,117,143,196,223],"variable":[22],"control":[23,145],"flow":[24],"or":[25],"memory":[26],"dependencies.":[27],"While":[28],"there":[29],"many":[31],"promising":[32],"opportunities":[33],"for":[34,64],"further":[35],"optimization,":[36],"the":[37,55,65,84,144,148,151],"resulting":[38],"circuits":[39],"be":[41,163],"difficult":[42],"analyze\u2014the":[44],"challenge":[45],"of":[46,73,101,147,155,173,181,187,210],"maintaining":[47],"correctness":[49,127],"forms":[50],"a":[51,74,99,171,206],"major":[52],"obstacle":[53],"optimization":[56],"process.":[57],"Seeking":[58],"increase":[60,186],"performance,":[61,120],"we":[62,110,176,218],"introduce":[63],"first":[66],"time":[67],"eager":[68,96,134,157,160,202],"execution\u2014speculatively":[69],"executing":[70],"both":[71],"sides":[72],"conditional":[75],"branch":[76,85],"in":[77,189,193],"parallel,":[78],"with":[79],"results":[80],"committed":[81],"based":[82],"on":[83,91],"condition\u2014to":[86],"circuits.":[88,199],"We":[89],"build":[90],"recent":[92],"work":[93],"present":[95],"set":[100,172],"formally":[102],"verified":[103],"rewrite":[105],"patterns,":[106],"localized":[107],"transformations":[108],"which":[109,217],"prove":[111],"preserve":[112],"correctness.":[113],"This":[114],"allows":[115],"us":[116],"pursue":[118],"high":[119],"while":[121],"simultaneously":[122],"guaranteeing":[123],"that":[124],"global":[125],"is":[128,226],"maintained":[129],"every":[131],"stage.":[132],"Our":[133],"strongly":[136],"increases":[137],"performance":[138],"using":[139],"only":[140,220],"slight":[141],"alterations":[142],"path":[146],"circuit:":[149],"unlike":[150],"prohibitive":[152],"resource":[153],"cost":[154],"processor":[156],"execution,":[158],"elastic-circuit":[159],"effectively":[164],"enabled":[165],"without":[166],"additional":[167],"computational":[168],"units.":[169],"On":[170],"selected":[174],"kernels,":[175],"achieve":[177],"an":[178,184],"average":[179,185],"speed-up":[180],"3.2x,":[182],"1.2x":[188],"LUTs":[190],"and":[191],"1.3x":[192],"FFs,":[194],"compared":[195],"standard":[197],"Excitingly,":[200],"opens":[204],"up":[205],"new":[207],"design":[208],"space":[209],"high-performance":[211],"circuits,":[212],"correct-by-construction":[215],"approaches,":[216],"have":[219],"just":[221],"begun":[222],"explore.":[224],"EagerlyElastic":[225],"open-sourced":[227],"under":[228],"10.5281/zenodo.17703725.":[229]},"counts_by_year":[],"updated_date":"2026-03-30T08:08:38.191290","created_date":"2026-02-07T00:00:00"}