{"id":"https://openalex.org/W4404240291","doi":"https://doi.org/10.1145/3696348.3696886","title":"Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes","display_name":"Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes","publication_year":2024,"publication_date":"2024-11-11","ids":{"openalex":"https://openalex.org/W4404240291","doi":"https://doi.org/10.1145/3696348.3696886"},"language":"en","primary_location":{"id":"doi:10.1145/3696348.3696886","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3696348.3696886","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-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/A5035476830","display_name":"Jedidiah McClurg","orcid":"https://orcid.org/0000-0002-0598-8199"},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jedidiah McClurg","raw_affiliation_strings":["Colorado State University, USA"],"affiliations":[{"raw_affiliation_string":"Colorado State University, USA","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055928807","display_name":"Lauren Zoe Baker","orcid":"https://orcid.org/0000-0001-6970-2113"},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lauren Zoe Baker","raw_affiliation_strings":["Colorado School of Mines, USA"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines, USA","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105100943","display_name":"Ronaldo Canizales","orcid":null},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ronaldo Canizales","raw_affiliation_strings":["Colorado State University, USA"],"affiliations":[{"raw_affiliation_string":"Colorado State University, USA","institution_ids":["https://openalex.org/I92446798"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114593081","display_name":"Dilochan Karki","orcid":null},"institutions":[{"id":"https://openalex.org/I92446798","display_name":"Colorado State University","ror":"https://ror.org/03k1gpj17","country_code":"US","type":"education","lineage":["https://openalex.org/I92446798"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dilochan Karki","raw_affiliation_strings":["Colorado State University, USA"],"affiliations":[{"raw_affiliation_string":"Colorado State University, USA","institution_ids":["https://openalex.org/I92446798"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5035476830"],"corresponding_institution_ids":["https://openalex.org/I92446798"],"apc_list":null,"apc_paid":null,"fwci":0.4826,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64752771,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"229","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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.9994999766349792,"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.9990000128746033,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/forward-error-correction","display_name":"Forward error correction","score":0.8327927589416504},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7308881282806396},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.6140310764312744},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31764596700668335},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.2290198802947998}],"concepts":[{"id":"https://openalex.org/C202932441","wikidata":"https://www.wikidata.org/wiki/Q55611017","display_name":"Forward error correction","level":3,"score":0.8327927589416504},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7308881282806396},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.6140310764312744},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31764596700668335},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.2290198802947998}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3696348.3696886","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3696348.3696886","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6745255527","display_name":null,"funder_award_id":"2318970","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1542077128","https://openalex.org/W1654894100","https://openalex.org/W1974514467","https://openalex.org/W1980073965","https://openalex.org/W1988070283","https://openalex.org/W2010821812","https://openalex.org/W2029197581","https://openalex.org/W2087977439","https://openalex.org/W2111783218","https://openalex.org/W2128765501","https://openalex.org/W2131092434","https://openalex.org/W2133024677","https://openalex.org/W2146347351","https://openalex.org/W2148575324","https://openalex.org/W2267458980","https://openalex.org/W2735002564","https://openalex.org/W3087777408","https://openalex.org/W3107507029","https://openalex.org/W3153274897","https://openalex.org/W3212461130","https://openalex.org/W4226275739","https://openalex.org/W4233126987","https://openalex.org/W4250487560","https://openalex.org/W4287666456","https://openalex.org/W4308966596","https://openalex.org/W4382401951","https://openalex.org/W6697183589"],"related_works":["https://openalex.org/W4387475406","https://openalex.org/W3211717871","https://openalex.org/W2079574511","https://openalex.org/W2333090794","https://openalex.org/W2385979553","https://openalex.org/W1777478344","https://openalex.org/W2012244061","https://openalex.org/W2471480982","https://openalex.org/W34213657","https://openalex.org/W3134957703"],"abstract_inverted_index":{"Forward":[0],"error":[1],"correction":[2],"(FEC)":[3],"is":[4],"a":[5,38,59],"key":[6],"component":[7],"of":[8,24,44,58],"modern":[9],"high-bandwidth":[10],"networks.":[11],"Typically":[12],"implemented":[13],"at":[14],"the":[15,45,56,68],"physical":[16],"layer,":[17],"FEC":[18,66,88],"attaches":[19],"error-correcting":[20],"codes":[21,89],"to":[22,31,86,98],"blocks":[23,30],"transmitted":[25],"data,":[26],"allowing":[27],"some":[28],"corrupted":[29],"be":[32],"repaired":[33],"without":[34],"retransmission.":[35],"We":[36,53],"outline":[37],"synthesis-based":[39],"approach":[40],"for":[41,65],"automatic":[42],"exploration":[43],"FEC-code":[46],"design":[47],"space,":[48],"focusing":[49],"on":[50],"Hamming":[51,60],"codes.":[52],"formally":[54],"verify":[55],"correctness":[57],"(128,":[61],"120)":[62],"code":[63],"used":[64],"in":[67],"recent":[69],"802.3df":[70],"Ethernet":[71],"standard,":[72],"and":[73,96],"provide":[74],"preliminary":[75],"evidence":[76],"that":[77,90],"our":[78],"prototype":[79],"synthesizer":[80],"can":[81],"leverage":[82],"user-provided":[83],"formal":[84],"properties":[85],"generate":[87],"are":[91],"highly":[92],"robust,":[93],"efficiently":[94],"implementable,":[95],"tuned":[97],"support":[99],"specific":[100],"data":[101],"formats":[102],"such":[103],"as":[104],"IEEE":[105],"floating":[106],"points.":[107]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}