InstantCheck: Checking the determinism of parallel programs using on-the-fly incremental hashing

Keyphrases

• 64-bit 40%
• Code Testing 20%
• Context Switch 20%
• Determinism 100%
• Efficient Operation 20%
• Hardware Extension 20%
• Hashing 100%
• Incremental Hashing 100%
• Memory States 40%
• Multithreaded Programs 20%
• Nondeterminism 40%
• Novel Technique 20%
• Parallel Programming 100%
• PARSEC Benchmarks 20%
• Popular 20%
• Programmability 20%
• Programmer 20%
• Runtime Overhead 40%
• Shared Memory 20%
• Splashing 20%
• True Bugs 20%
• Virtualization 20%

Computer Science

• And-States 50%
• Context Switching 50%
• Efficient Operation 50%
• Hardware Performance 50%
• Hashing 50%
• Incremental Hashing 100%
• Multithreaded Program 50%
• Nondeterminism 100%
• Parallel Program 100%
• Programmability 50%
• Shared Memory System 50%
• Virtualizations 50%