McClurg, Jedidiah, authorBaker, Lauren Zoe, authorCanizales, Ronaldo, authorKarki, Dilochan, authorACM, publisher2024-12-172024-12-172024-11-18Jedidiah McClurg, Lauren Zoe Baker, Ronaldo Canizales, and Dilochan Karki. 2024. Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes. In The 23rd ACM Workshop on Hot Topics in Networks (HOTNETS '24), November 18–19, 2024, Irvine, CA, USA. ACM, New York, NY, USA, 8 pages. https://doi.or g/10.1145/3696348.3696886https://hdl.handle.net/10217/239731Forward error correction (FEC) is a key component of modern high-bandwidth networks. Typically implemented at the physical layer, FEC attaches error-correcting codes to blocks of transmitted data, allowing some corrupted blocks to be repaired without retransmission. We outline a synthesis-based approach for automatic exploration of the FEC-code design space, focusing on Hamming codes. We formally verify the correctness of a Hamming (128, 120) code used for FEC in the recent 802.3df Ethernet standard, and provide preliminary evidence that our prototype synthesizer can leverage user-provided formal properties to generate FEC codes that are highly robust, efficiently implementable, and tuned to support specific data formats such as IEEE floating points.born digitalarticleseng©Jedidiah McClurg, et al. ACM 2024. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in HOTNETS '24, https://dx.doi.org/10.1145/3696348.3696886.forward error correctionprogram synthesisTexthttps://doi.or g/10.1145/3696348.3696886