Ben Simner

Errata

These are the errors and mistakes in my publications which are known to me. This does not include works whose technical content have been superseded where limitations were already known, but rather errors in statements or proofs, and typographical mistakes.

Wait-Free Weak Reference Counting:

  • None.

Relaxed virtual memory in Armv8-A:

  • None.

Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models:

  • None.

ARMv8-A system semantics: instruction fetch in relaxed architectures:

  • p10. "dl_open" should read "dlopen"
  • p25. "Cches" should read "Caches"
  • p32. "(execute" should read "execute"

Starling: Lightweight Concurrency Verification with Views:

  • None.