Efficient Out-of-Order Execution of Guarded ISAs

Nathanael Premillieu, André Seznec. Efficient Out-of-Order Execution of Guarded ISAs. TACO, 11(4):41, 2014. [doi]