research
∙
11/28/2022
P4Testgen: An Extensible Test Oracle For P4
We present P4Testgen, a test oracle for the P4_16 language. P4Testgen su...
share
research
∙
07/26/2022
Finding Deep-Learning Compilation Bugs with NNSmith
Deep-learning (DL) compilers such as TVM and TensorRT are increasingly u...
research
∙
06/01/2020
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
Programmable packet-processing devices such as programmable switches and...
research
∙
12/20/2019
The State of Knowledge Distillation for Classification
We survey various knowledge distillation (KD) strategies for simple clas...
research
∙
12/24/2018