Lock Removal for Concurrent Trace Programs.

Vineet Kahlon Chao Wang

Published in: CAV (2012)

Keyphrases

concurrent execution
read write
concurrent programming
concurrent programs
real time
concurrency control
computer programs
fixpoint
database
multiscale
intermediate level
automatic programming
control structures
runtime environment