Merkliste 
 1 Ergebnisse 
 
1

CaT: A Solver-Aided Compiler for Packet-Processing Pipeline:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Gao, Xiangyu ; Raghunathan, Divya ; Fang, Ruijie... - p. 72-88 , 2023