Validating optimizations of concurrent C/C++ programs.

Soham Chakraborty Viktor Vafeiadis

Published in: CGO (2016)

Keyphrases

expert systems
computer programs
concurrent programs
mutual exclusion
data sets
neural network
image segmentation
database systems
reinforcement learning
programming environment
intermediate level
provably correct
runtime environment
concurrent programming