C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.
Sishuai Gong
Deniz Altinbüken
Pedro Fonseca
Petros Maniatis
Published in:
SOSP (2021)
Keyphrases
</>
databases
rapid response
communication networks
statistical analysis
computer systems
image analysis
static analysis
quantitative analysis
database management systems
source code
real time
support vector
similarity measure
feature extraction
high level
neural network
data sets