Automated Concurrency-Bug Fixing.

Guoliang Jin, Wei Zhang, Dongdong Deng

Browse the full OSDI paper archive.