alastairreid.github.io 27. 4. 2024How to improve the RISC-V specification – alastairreid.github.io 21. 2. 2024CSS fun: scaling iframes – alastairreid.github.io 15. 10. 2023Dagstuhl: Formal Methods for Correct Persistent Programming – alastairreid.github.io 16. 7. 2023PLDI 2023 – alastairreid.github.io 1. 7. 2023PLARCH 2023 – alastairreid.github.io 21. 2. 2023Modularizing ISA specifications – alastairreid.github.io 25. 1. 2022Machine readable specifications at scale – alastairreid.github.io 1. 12. 2021Joining Intel – alastairreid.github.io 30. 11. 2021Farewell to Google – alastairreid.github.io 24. 11. 2021What can you do with an ISA specification? – alastairreid.github.io 6. 10. 2021Summarizing 12 months of reading papers (2021) – alastairreid.github.io 1. 9. 2021Retrospective – alastairreid.github.io 24. 8. 2021Using KLEE on Rust-for-Linux (part 3) – alastairreid.github.io 23. 8. 2021Using KLEE on Rust-for-Linux (part 2) – alastairreid.github.io 22. 8. 2021Using KLEE on Rust-for-Linux (part 1) – alastairreid.github.io 15. 8. 2021Research risks in the Rust verification project – alastairreid.github.io 6. 8. 2021Managing risks in research – alastairreid.github.io 3. 6. 2021Automatic Rust verification tools (2021) – alastairreid.github.io 30. 10. 2020Rust Design-for-Testability: a survey – alastairreid.github.io 4. 10. 2020Summarizing 12 months of reading papers – alastairreid.github.io 3. 9. 2020Rust testing or verifying: Why not both? – alastairreid.github.io 8. 5. 2020Rust verification tools – alastairreid.github.io 19. 4. 2020Verification Competitions – alastairreid.github.io 1. 1. 2020Using ASLi with Arm’s v8.6-A ISA specification – alastairreid.github.io 23. 11. 2019Facebook Test and Verification Symposium 2019 – alastairreid.github.io 2. 11. 2019Joining Oak – alastairreid.github.io 20. 9. 2019ISA Specification Workshop (SpISA) – alastairreid.github.io 30. 8. 2019Farewell to Arm – alastairreid.github.io 17. 2. 2019Generating multiple solutions with SMT – alastairreid.github.io 9. 2. 2019Using SMT to check specifications for errors – alastairreid.github.io 2. 2. 2019Generating SMT from traces – alastairreid.github.io 13. 1. 2018Making parallelism explicit with SoC-C – alastairreid.github.io 24. 12. 2017Bidirectional ARM Assembly Syntax Specifications – alastairreid.github.io 24. 9. 2017Formal validation of the Arm v8-M specification – alastairreid.github.io 19. 8. 2017Are natural language specifications useful? – alastairreid.github.io 31. 7. 2017Arm v8.3 Machine Readable Specification Released – alastairreid.github.io 7. 5. 2017ASL Lexical Syntax – alastairreid.github.io 29. 4. 2017Dissecting ARM’s Machine Readable Specification – alastairreid.github.io
27. 4. 2024How to improve the RISC-V specification – alastairreid.github.io 21. 2. 2024CSS fun: scaling iframes – alastairreid.github.io 15. 10. 2023Dagstuhl: Formal Methods for Correct Persistent Programming – alastairreid.github.io 16. 7. 2023PLDI 2023 – alastairreid.github.io 1. 7. 2023PLARCH 2023 – alastairreid.github.io 21. 2. 2023Modularizing ISA specifications – alastairreid.github.io 25. 1. 2022Machine readable specifications at scale – alastairreid.github.io 1. 12. 2021Joining Intel – alastairreid.github.io 30. 11. 2021Farewell to Google – alastairreid.github.io 24. 11. 2021What can you do with an ISA specification? – alastairreid.github.io 6. 10. 2021Summarizing 12 months of reading papers (2021) – alastairreid.github.io 1. 9. 2021Retrospective – alastairreid.github.io 24. 8. 2021Using KLEE on Rust-for-Linux (part 3) – alastairreid.github.io 23. 8. 2021Using KLEE on Rust-for-Linux (part 2) – alastairreid.github.io 22. 8. 2021Using KLEE on Rust-for-Linux (part 1) – alastairreid.github.io 15. 8. 2021Research risks in the Rust verification project – alastairreid.github.io 6. 8. 2021Managing risks in research – alastairreid.github.io 3. 6. 2021Automatic Rust verification tools (2021) – alastairreid.github.io 30. 10. 2020Rust Design-for-Testability: a survey – alastairreid.github.io 4. 10. 2020Summarizing 12 months of reading papers – alastairreid.github.io 3. 9. 2020Rust testing or verifying: Why not both? – alastairreid.github.io 8. 5. 2020Rust verification tools – alastairreid.github.io 19. 4. 2020Verification Competitions – alastairreid.github.io 1. 1. 2020Using ASLi with Arm’s v8.6-A ISA specification – alastairreid.github.io 23. 11. 2019Facebook Test and Verification Symposium 2019 – alastairreid.github.io 2. 11. 2019Joining Oak – alastairreid.github.io 20. 9. 2019ISA Specification Workshop (SpISA) – alastairreid.github.io 30. 8. 2019Farewell to Arm – alastairreid.github.io 17. 2. 2019Generating multiple solutions with SMT – alastairreid.github.io 9. 2. 2019Using SMT to check specifications for errors – alastairreid.github.io 2. 2. 2019Generating SMT from traces – alastairreid.github.io 13. 1. 2018Making parallelism explicit with SoC-C – alastairreid.github.io 24. 12. 2017Bidirectional ARM Assembly Syntax Specifications – alastairreid.github.io 24. 9. 2017Formal validation of the Arm v8-M specification – alastairreid.github.io 19. 8. 2017Are natural language specifications useful? – alastairreid.github.io 31. 7. 2017Arm v8.3 Machine Readable Specification Released – alastairreid.github.io 7. 5. 2017ASL Lexical Syntax – alastairreid.github.io 29. 4. 2017Dissecting ARM’s Machine Readable Specification – alastairreid.github.io