Checking Concurrent Data Structures Under the C/C++11 Memory Model.

Peizhao Ou Brian Demsky

Published in: PPOPP (2017)

Keyphrases

computational model
data structure
mathematical model
genetic algorithm
high level
objective function
em algorithm
statistical model
experimental data
expert systems
cost function
management system
data types
formal model