Verified programs can party: optimizing kernel extensions via post-verification merging.
Hsuan-Chi KuoKai-Hsun ChenYicheng LuDan WilliamsSibin MohanTianyin XuPublished in: EuroSys (2022)
Keyphrases
- symbolic execution
- graph kernels
- model checking
- hardware designs
- kernel function
- kernel methods
- reproducing kernel hilbert space
- asynchronous circuits
- neural network
- support vector
- formal verification
- mutual subspace method
- database
- verification method
- kernel space
- control program
- kernel density estimation
- kernel learning
- knowledge base