{"id":"https://openalex.org/W4285117956","doi":"https://doi.org/10.1109/mm.2022.3178037","title":"Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning","display_name":"Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning","publication_year":2022,"publication_date":"2022-05-25","ids":{"openalex":"https://openalex.org/W4285117956","doi":"https://doi.org/10.1109/mm.2022.3178037"},"language":"en","primary_location":{"id":"doi:10.1109/mm.2022.3178037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mm.2022.3178037","pdf_url":null,"source":{"id":"https://openalex.org/S59697426","display_name":"IEEE Micro","issn_l":"0272-1732","issn":["0272-1732","1937-4143"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Micro","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/A5043289411","display_name":"Kevin Angstadt","orcid":"https://orcid.org/0000-0002-0104-5257"},"institutions":[{"id":"https://openalex.org/I100236772","display_name":"St. Lawrence University","ror":"https://ror.org/05pvqha70","country_code":"US","type":"education","lineage":["https://openalex.org/I100236772"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Angstadt","raw_affiliation_strings":["St. Lawrence University, Canton, NY, USA"],"raw_orcid":"https://orcid.org/0000-0002-0104-5257","affiliations":[{"raw_affiliation_string":"St. Lawrence University, Canton, NY, USA","institution_ids":["https://openalex.org/I100236772"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068125417","display_name":"Tommy Tracy","orcid":"https://orcid.org/0000-0002-9872-0246"},"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":"Tommy Tracy","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":"https://orcid.org/0000-0002-9872-0246","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074818897","display_name":"Kevin Skadron","orcid":"https://orcid.org/0000-0002-8091-9302"},"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":"Kevin Skadron","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"raw_orcid":"https://orcid.org/0000-0002-8091-9302","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002069299","display_name":"Jean-Baptiste Jeannin","orcid":"https://orcid.org/0000-0001-6378-1447"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jean-Baptiste Jeannin","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":"https://orcid.org/0000-0001-6378-1447","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083601969","display_name":"Westley Weimer","orcid":"https://orcid.org/0000-0001-6749-2204"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Westley Weimer","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":"https://orcid.org/0000-0001-6749-2204","affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06903858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"42","issue":"5","first_page":"70","last_page":"77"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9994999766349792,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9919999837875366,"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.8870913982391357},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6491644978523254},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.6079666614532471},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5634881854057312},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.4940471947193146},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.45339515805244446},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.43831297755241394},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.41117531061172485},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.358633816242218},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35823991894721985}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8870913982391357},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6491644978523254},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.6079666614532471},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5634881854057312},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.4940471947193146},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.45339515805244446},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.43831297755241394},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41117531061172485},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.358633816242218},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35823991894721985},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mm.2022.3178037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mm.2022.3178037","pdf_url":null,"source":{"id":"https://openalex.org/S59697426","display_name":"IEEE Micro","issn_l":"0272-1732","issn":["0272-1732","1937-4143"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Micro","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1436637928","display_name":null,"funder_award_id":"CCF-1629450","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3096245918","display_name":null,"funder_award_id":"FA8750-19-1-0501","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G4582099576","display_name":null,"funder_award_id":"CCF-1763674","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8263310448","display_name":null,"funder_award_id":"CCF-1908633","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320319068","display_name":"Jefferson Scholars Foundation","ror":null},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1989445634","https://openalex.org/W2114808014","https://openalex.org/W2161253570","https://openalex.org/W2343695530","https://openalex.org/W2401003083","https://openalex.org/W2583228413","https://openalex.org/W2800690434","https://openalex.org/W3011811968","https://openalex.org/W3034732732","https://openalex.org/W3207800553","https://openalex.org/W4233832762","https://openalex.org/W4252821989","https://openalex.org/W6635300605"],"related_works":["https://openalex.org/W3213990125","https://openalex.org/W3084863322","https://openalex.org/W1485630101","https://openalex.org/W2093683727","https://openalex.org/W1973115070","https://openalex.org/W2143904576","https://openalex.org/W2151628509","https://openalex.org/W2782201534","https://openalex.org/W39695077","https://openalex.org/W2388140273"],"abstract_inverted_index":{"The":[0],"adoption":[1],"of":[2,64,108,146],"hardware":[3,74,154],"accelerators,":[4],"such":[5],"as":[6],"field-programmable":[7],"gate":[8],"arrays,":[9],"into":[10],"general-purpose":[11],"computation":[12],"pipelines":[13],"continues":[14],"to":[15,60],"expand,":[16],"but":[17,148],"programming":[18],"models":[19],"for":[20,67,86],"these":[21],"devices":[22],"lag":[23],"far":[24],"behind":[25],"their":[26],"central":[27],"processing":[28],"unit":[29],"(CPU)":[30],"counterparts.":[31],"While":[32],"high-level":[33],"synthesis":[34],"(HLS)":[35],"can":[36,82,141],"help":[37],"port":[38],"some":[39],"legacy":[40,69,111],"software,":[41],"many":[42],"programs":[43],"perform":[44],"poorly":[45],"without":[46],"manual,":[47],"architecture-specific":[48],"optimization.":[49],"We":[50,99],"propose":[51],"an":[52],"end-to-end":[53],"approach":[54],"combining":[55],"dynamic":[56],"and":[57,71,93,117,126,137,156],"static":[58],"analyses":[59],"learn":[61,84],"a":[62,73,95,105,127],"model":[63],"functional":[65],"behavior":[66],"off-the-shelf":[68],"code":[70],"synthesize":[72,142],"description":[75],"from":[76,115],"this":[77],"model.":[78],"Our":[79],"prototype":[80,102],"implementation":[81],"correctly":[83],"functionality":[85],"string":[87,112],"kernels":[88],"that":[89,151],"recognize":[90],"regular":[91],"languages":[92],"provides":[94],"near":[96],"approximation":[97],"otherwise.":[98],"evaluate":[100],"our":[101],"tool":[103],"on":[104],"benchmark":[106],"suite":[107],"real":[109],"world,":[110],"functions":[113],"mined":[114],"GitHub":[116],"successfully":[118],"synthesize\u2014without":[119],"modification":[120,136],"or":[121],"annotation\u2014over":[122],"80%":[123],"(72%":[124],"exactly":[125],"further":[128],"11%":[129],"approximately).":[130],"Traditional":[131],"HLS,":[132],"only":[133],"after":[134],"extensive":[135],"custom":[138],"testbench":[139],"generation,":[140],"the":[143],"same":[144],"number":[145],"benchmarks,":[147],"with":[149],"results":[150],"have":[152],"higher":[153],"requirements":[155],"lower":[157],"maximum":[158],"clock":[159],"rates.":[160]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}