CaT: A Solver-Aided Compiler for Packet-Processing Pipelines.

Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta

Browse the full ASPLOS paper archive.