RANDOMBLOGShttps://devblogy.k47.cz/random/tag/alastairreid-github-io.html How to improve the RISC-V specificationhttps://alastairreid.github.io/riscv-spec-issues/Sat, 27 Apr 2024 00:00:00 +0200alastairreid.github.io CSS fun: scaling iframeshttps://alastairreid.github.io/css-iframe-scaling/Wed, 21 Feb 2024 00:00:00 +0100alastairreid.github.io Dagstuhl: Formal Methods for Correct Persistent Programminghttps://alastairreid.github.io/dagstuhl/Sun, 15 Oct 2023 00:00:00 +0200alastairreid.github.io PLDI 2023https://alastairreid.github.io/pldi-2023/Sun, 16 Jul 2023 00:00:00 +0200alastairreid.github.io PLARCH 2023https://alastairreid.github.io/plarch-2023/Sat, 1 Jul 2023 00:00:00 +0200alastairreid.github.io Modularizing ISA specificationshttps://alastairreid.github.io/modular-specs/Tue, 21 Feb 2023 00:00:00 +0100alastairreid.github.io Machine readable specifications at scalehttps://alastairreid.github.io/mrs-at-scale/Tue, 25 Jan 2022 01:00:00 +0100alastairreid.github.io Joining Intelhttps://alastairreid.github.io/joining-intel/Wed, 1 Dec 2021 01:00:00 +0100alastairreid.github.io Farewell to Googlehttps://alastairreid.github.io/farewell-to-google/Tue, 30 Nov 2021 01:00:00 +0100alastairreid.github.io What can you do with an ISA specification?https://alastairreid.github.io/uses-for-isa-specs/Wed, 24 Nov 2021 01:00:00 +0100alastairreid.github.io