Detecting Pipeline Structural Hazards Quickly.

Todd A. Proebsting, Christopher W. Fraser

Browse the full POPL paper archive.