Atomicity violation checker for task parallel programs.

Adarsh Yoga Santosh Nagarakatte

Published in: CGO (2016)

Keyphrases

parallel implementation
high level programming language
electronic commerce
genetic algorithm
information systems
case study
data management
parallel algorithm
parallel processing
parallel programming
automatic programming