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. CaT: A Solver-Aided Compiler for Packet-Processing Pipelines. In Tor M. Aamodt, Natalie D. Enright Jerger, Michael M. Swift, editors, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023. pages 72-88, ACM, 2023. [doi]

Authors

Xiangyu Gao

This author has not been identified. Look up 'Xiangyu Gao' in Google

Divya Raghunathan

This author has not been identified. Look up 'Divya Raghunathan' in Google

Ruijie Fang

This author has not been identified. Look up 'Ruijie Fang' in Google

Tao Wang

This author has not been identified. Look up 'Tao Wang' in Google

Xiaotong Zhu

This author has not been identified. Look up 'Xiaotong Zhu' in Google

Anirudh Sivaraman

This author has not been identified. Look up 'Anirudh Sivaraman' in Google

Srinivas Narayana

This author has not been identified. Look up 'Srinivas Narayana' in Google

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google