Pegasus: automatic barrier inference for stable multithreaded systems.

Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan

Browse the full ISSTA paper archive.