Fast and Accurate Static Data-Race Detection for Concurrent Programs.

Vineet Kahlon Yu Yang Sriram Sankaranarayanan Aarti Gupta

Published in: CAV (2007)

Keyphrases

end users
data sets
databases
computer systems
artificial intelligence
distributed systems
business process
concurrent programs