Gao, Xiangyu, Raghunathan, Divya, Fang, Ruijie, Wang, Tao, Zhu, Xiaotong, Sivaraman, Anirudh, Narayana, Srinivas, and Gupta, Aarti. CaT: A Solver-Aided Compiler for Packet-Processing Pipelines. Retrieved from https://par.nsf.gov/biblio/10425746. ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 3. Web. doi:10.1145/3582016.3582036.

Gao, Xiangyu, Raghunathan, Divya, Fang, Ruijie, Wang, Tao, Zhu, Xiaotong, Sivaraman, Anirudh, Narayana, Srinivas, & Gupta, Aarti. CaT: A Solver-Aided Compiler for Packet-Processing Pipelines. ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, 3 (). Retrieved from https://par.nsf.gov/biblio/10425746. https://doi.org/10.1145/3582016.3582036

Gao, Xiangyu, Raghunathan, Divya, Fang, Ruijie, Wang, Tao, Zhu, Xiaotong, Sivaraman, Anirudh, Narayana, Srinivas, and Gupta, Aarti. "CaT: A Solver-Aided Compiler for Packet-Processing Pipelines". ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3 3 (). Country unknown/Code not available: ACM. https://doi.org/10.1145/3582016.3582036. https://par.nsf.gov/biblio/10425746.

@article{osti_10425746,
place = {Country unknown/Code not available}, title = {CaT: A Solver-Aided Compiler for Packet-Processing Pipelines}, url = {https://par.nsf.gov/biblio/10425746}, DOI = {10.1145/3582016.3582036}, abstractNote = {}, journal = {ASPLOS 2023: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3}, volume = {3}, publisher = {ACM}, author = {Gao, Xiangyu and Raghunathan, Divya and Fang, Ruijie and Wang, Tao and Zhu, Xiaotong and Sivaraman, Anirudh and Narayana, Srinivas and Gupta, Aarti}, }