Explore a conference talk from NSDI '22 that introduces Cetus, a system designed to automatically convert uncompilable P4 programs into compilable ones for programmable switches. Learn about Alibaba's experience in developing and implementing Cetus to address fitting issues in P4 programming. Discover how the system efficiently synthesizes compilable programs by shortening lengthy dependency chains, significantly reducing P4 development workload from days to minutes. Gain insights into real-world cases addressed by Cetus, its performance evaluation, and its impact on network function offloading in Alibaba's edge networks.