Fast and accurate static data-race detection for concurrent programs

Keyphrases

• Concurrent Programs 100%
• Shared Variables 100%
• Data Race Detection 100%
• Static Data 100%
• Benchmark Suite 33%
• Reduction Method 33%
• Generation Method 33%
• Divide-and-conquer 33%
• Context-sensitive 33%
• Alias 33%
• Pointer Analysis 33%
• Correlation-based 33%
• Generation System 33%
• Data Race 33%
• Debugging 33%
• Linux Driver 33%
• Lockset 33%
• Alias Analysis 33%
• Lock Acquisition 33%
• Automatic Discovery 33%
• Variable Detection 33%
• Acquisition Patterns 33%
• Unique Challenge 33%

Computer Science

• Concurrent Program 100%
• Linux 50%
• Device Driver 50%
• Pointer Analysis 50%
• Generation System 50%