Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise

Reference:

Yaniv Eytani and Timo Latvala. Explaining intermittent concurrent bugs by minimizing scheduling noise. In Eyal Bin, Avi Ziv, and Shmuel Ur, editors, Proceedings of the Second Haifa Verification Conference (HVC 2006), volume 4383 of Lecture Notes in Computer Science, pages 183–197, Haifa, Israel, 2007. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{EytaniLatvala:HVC06,
    author = {Yaniv Eytani and Timo Latvala},
    booktitle = {Proceedings of the Second Haifa Verification Conference (HVC 2006)},
    editor = {Eyal Bin and Avi Ziv and Shmuel Ur},
    pages = {183--197},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise},
    volume = {4383},
    year = {2007},
}