Yulun Yao, Drew Zagieboylo, Andrew C. Myers, G. Edward Suh. Sequential Specifications for Precise Hardware Exceptions. In Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, ASPLOS 2026, Pittsburgh, PA, USA, March 22-26, 2026. pages 234-248, ACM, 2026. [doi]
Abstract is missing.