Predicting Run-time Errors in x86 Executables of Multi-threaded C C++ Java programs - Malay Ganai from address book java program Watch Video
Preview(s):
Gallery
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
⏲ Duration: 41 min 19 sec ✓ Published: 26-Oct-2011
Description: Abstract:nConcurrency bugs often arise due to atomicity violation, i.e.,nnon-atomic execution of code regions that are intended to be atomic.nAtomicity is a semantic correctness of the concurrent programs, and isnmeant to capture the programmers intentions. Even with marked atomicnboundaries, checking atomicity violation is a challenging task due ton(a) large interleaving search space, and (b) non-trivial violationncondition that may involve multiple-variable shared accesses andnmultiple interle
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)