Alastair Reid
How to improve the RISC-V specification
Dagstuhl: Formal Methods for Correct Persistent Programming
PLDI 2023
PLARCH 2023
Modularizing ISA specifications
Machine readable specifications at scale
Joining Intel
Farewell to Google
What can you do with an ISA specification?
Summarizing 12 months of reading papers (2021)