19 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.NI2022★ 19 cited
P4Testgen: An Extensible Test Oracle For P4
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi +7
We present P4Testgen, a test oracle for the P4 language. P4Testgen supports automatic test generation for any P4 target and is designed to be extensible to many P4 targets.…
cs.DC2016
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency
Isaac Sheff, Tom Magrino, Jed Liu +2
Modern applications often operate on data in multiple administrative domains. In this federated setting, participants may not fully trust each other. These distributed applications…