Sequential Specifications for Precise Hardware Exceptions.

Yulun Yao, Drew Zagieboylo, Andrew C. Myers, G. Edward Suh

Browse the full ASPLOS paper archive.