selected publications

• academic article

  • Persistency semantics of the Intel-x86 architecture.  Proceedings of the ACM on programming languages.  4:1-31. 2019