Automatic lock insertion in concurrent programs.

Published in: FMCAD (2012)

Keyphrases

concurrent programs
concurrent programming
building blocks
database
databases
database systems