Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.
Gabriel RyanAbhishek ShahDongdong SheSuman JanaPublished in: SP (2023)
Keyphrases
- data analysis
- data collection
- data sets
- data sources
- statistical analysis
- data structure
- database
- synthetic data
- data points
- empirical data
- training data
- data processing
- raw data
- probability distribution
- knowledge discovery
- original data
- data quality
- uncertain data
- data distribution
- quantitative data
- spatial data
- false positives
- data objects
- correlation analysis
- missing data
- kernel function
- small number
- image data
- end users
- probabilistic model
- prior knowledge
- high dimensional
- support vector
- bayesian networks
- high quality
- feature extraction
- neural network