selected publications academic article Persistency semantics of the Intel-x86 architecture. Proceedings of the ACM on programming languages. 4:1-31. 2019