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:
Relaxed virtual memory in Armv8-A:
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency
ARMv8-A system semantics: instruction fetch in relaxed
- p10. "dl_open" should read "dlopen"
- p25. "Cches" should read "Caches"
- p32. "(execute" should read "execute"
Starling: Lightweight Concurrency Verification with Views: