Alastair Reid alastairreid.github.io

How to improve the RISC-V specification

alastairreid.github.io·107w

Dagstuhl: Formal Methods for Correct Persistent Programming

alastairreid.github.io·135w

PLDI 2023

alastairreid.github.io·148w

PLARCH 2023

alastairreid.github.io·150w

Modularizing ISA specifications

alastairreid.github.io·168w

Machine Readable Specifications at Scale

alastairreid.github.io·81w·Hacker News

Joining Intel

alastairreid.github.io·232w

Farewell to Google

alastairreid.github.io·232w

What can you do with an ISA specification?

alastairreid.github.io·233w

Summarizing 12 months of reading papers (2021)

alastairreid.github.io·240w

Log in to enable infinite scrolling