@INPROCEEDINGS{issta2016-syncprof,
  author = {Tingting Yu and Michael Pradel},
  title = {SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks},
  booktitle = {International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2016}
}