@article{liu-2026-an, title={An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics}, volume={48}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/3786762}, DOI={10.1145/3786762}, number={1}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Liu, Zongyuan and Hammond, Angus and Pérami, Thibaut and Sewell, Peter and Birkedal, Lars and Pichon-Pharabod, Jean}, year={2026}, month=Mar, pages={1–66} }