Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing.
Fabian RuffyTao WangAnirudh SivaramanPublished in: CoRR (2020)
Keyphrases
- general purpose
- real time
- computer architecture
- low cost
- programming language
- data processing
- computer systems
- neural network
- hardware and software
- information processing
- source code
- data acquisition
- high speed
- hardware implementation
- massively parallel
- information systems
- general purpose processors
- digital signal processors