Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
LIACS, Leiden University, Leiden, The Netherlands
1
0
1
0
Octopus can verify complex P4 packet parsers' equivalence in minutes, making it a game-changer for networking reliability.