Cross-Platform Transpilation of Packet-Processing Programs using Program Synthesis. - Xiangyu Gao; Jiaqi Gao; Karan Kumar G.; Ennan Zhai; Srinivas Narayana; Anirudh Sivaraman (APNet, 2024)