SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.
Pedro FonsecaRodrigo RodriguesBjörn B. BrandenburgPublished in: OSDI (2014)
Keyphrases
- scheduling problem
- kernel function
- support vector
- source code
- software systems
- concurrency control
- kernel methods
- kernel regression
- database systems
- test cases
- feature space
- scheduling algorithm
- positive definite
- kernel matrix
- multiple kernel learning
- root cause
- critical path
- graph kernels
- kernel density estimation
- action selection
- software projects
- single machine
- fine grained
- software development