https://alastairreid.github.io/papers/ACP4IS_03/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/ARW_18/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/ASPLOS_04/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/ASPSE_01/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/CASES_08/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/CAV_16/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/DATE_14/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/EMSOFT_03/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Exceptions/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/FMCAD_16/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/GFPW_89/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/GFPW_93/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/GFPW_94/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/GLib_01/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/HATRA_20/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Haskell_95a/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Haskell_95b/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Haskell_97/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Haskell_FFI/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Haskell_Lib/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/Haskell_Report/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/ICSE_02/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/ICSE_99/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/IEEE_Micro/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/IFL_98/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/MICRO_08/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/MSc_93/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/OOPSLA_17/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/OSDI_00/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/PADL_01/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/PLDI_99/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/POPL_19/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/PhD_19/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/RTSS_03/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/SBAC_PAD_07/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/SDR_06/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/SiPS_06/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/SpISA_19/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/StdLib_98/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/papers/TECS_05/ 2024-05-01T05:32:14+00:00 https://alastairreid.github.io/return-to-the-web/ 2011-05-22T00:00:00+00:00 https://alastairreid.github.io/verification/ 2012-06-24T00:00:00+00:00 https://alastairreid.github.io/new-machine/ 2012-12-15T00:00:00+00:00 https://alastairreid.github.io/new-environment/ 2012-12-16T00:00:00+00:00 https://alastairreid.github.io/ARMv8A-simulator/ 2012-12-22T00:00:00+00:00 https://alastairreid.github.io/git-server/ 2012-12-25T00:00:00+00:00 https://alastairreid.github.io/minimalist-docking-station/ 2013-05-28T00:00:00+00:00 https://alastairreid.github.io/pocketmod/ 2013-06-22T00:00:00+00:00 https://alastairreid.github.io/markdown/ 2013-10-20T00:00:00+00:00 https://alastairreid.github.io/building-keyboards/ 2015-12-29T00:00:00+00:00 https://alastairreid.github.io/talking-to-academia/ 2016-05-14T00:00:00+00:00 https://alastairreid.github.io/spec-terminology/ 2016-07-03T00:00:00+00:00 https://alastairreid.github.io/finding-bugs/ 2016-07-18T00:00:00+00:00 https://alastairreid.github.io/using-armarm/ 2016-07-26T00:00:00+00:00 https://alastairreid.github.io/isa-formal-limitations/ 2016-07-30T00:00:00+00:00 https://alastairreid.github.io/specification_languages/ 2016-08-17T00:00:00+00:00 https://alastairreid.github.io/ARM-v8a-xml-release/ 2017-04-20T00:00:00+00:00 https://alastairreid.github.io/dissecting-ARM-MRA/ 2017-04-29T00:00:00+00:00 https://alastairreid.github.io/asl-lexical-syntax/ 2017-05-07T00:00:00+00:00 https://alastairreid.github.io/arm-v8_3/ 2017-07-31T00:00:00+00:00 https://alastairreid.github.io/natural-specs/ 2017-08-19T00:00:00+00:00 https://alastairreid.github.io/validating-specs/ 2017-09-24T00:00:00+00:00 https://alastairreid.github.io/bidirectional-assemblers/ 2017-12-24T00:00:00+00:00 https://alastairreid.github.io/soc-c/ 2018-01-13T00:00:00+00:00 https://alastairreid.github.io/tracing-smt/ 2019-02-02T00:00:00+00:00 https://alastairreid.github.io/tracing-smt2/ 2019-02-09T00:00:00+00:00 https://alastairreid.github.io/tracing-smt3/ 2019-02-17T00:00:00+00:00 https://alastairreid.github.io/farewell-to-arm/ 2019-08-30T00:00:00+00:00 https://alastairreid.github.io/spisa-2019/ 2019-09-20T00:00:00+00:00 https://alastairreid.github.io/joining-google/ 2019-11-02T00:00:00+00:00 https://alastairreid.github.io/fbtav-2019/ 2019-11-23T00:00:00+00:00 https://alastairreid.github.io/using-asli/ 2020-01-01T00:00:00+00:00 https://alastairreid.github.io/verification-competitions/ 2020-04-19T00:00:00+00:00 https://alastairreid.github.io/rust-verification-tools/ 2020-05-08T00:00:00+00:00 https://alastairreid.github.io/using-klee/ 2020-09-01T00:00:00+00:00 https://alastairreid.github.io/using-annotations/ 2020-09-02T00:00:00+00:00 https://alastairreid.github.io/using-propverify/ 2020-09-03T00:00:00+00:00 https://alastairreid.github.io/why-not-both/ 2020-09-03T00:00:00+00:00 https://alastairreid.github.io/using-argv/ 2020-09-09T00:00:00+00:00 https://alastairreid.github.io/a-year-of-papers/ 2020-10-04T00:00:00+00:00 https://alastairreid.github.io/rust-testability/ 2020-10-30T00:00:00+00:00 https://alastairreid.github.io/using-ffi/ 2020-12-11T00:00:00+00:00 https://alastairreid.github.io/profiling-rust/ 2021-03-12T00:00:00+00:00 https://alastairreid.github.io/verifying-vectorized-code/ 2021-03-20T00:00:00+00:00 https://alastairreid.github.io/klee-status/ 2021-03-29T00:00:00+00:00 https://alastairreid.github.io/verifying-vectorized-code2/ 2021-05-15T00:00:00+00:00 https://alastairreid.github.io/fixing-bottlenecks/ 2021-05-19T00:00:00+00:00 https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 2021-06-03T00:00:00+00:00 https://alastairreid.github.io/coreutils/ 2021-07-14T00:00:00+00:00 https://alastairreid.github.io/research-risks/ 2021-08-06T00:00:00+00:00 https://alastairreid.github.io/what-is-rvt/ 2021-08-07T00:00:00+00:00 https://alastairreid.github.io/rvt-risks/ 2021-08-15T00:00:00+00:00 https://alastairreid.github.io/rust-on-linux-1/ 2021-08-22T00:00:00+00:00 https://alastairreid.github.io/rust-on-linux-2/ 2021-08-23T00:00:00+00:00 https://alastairreid.github.io/rust-on-linux-3/ 2021-08-24T00:00:00+00:00 https://alastairreid.github.io/retrospective/ 2021-09-01T00:00:00+00:00 https://alastairreid.github.io/a-year-of-papers-2021/ 2021-10-06T00:00:00+00:00 https://alastairreid.github.io/uses-for-isa-specs/ 2021-11-24T00:00:00+00:00 https://alastairreid.github.io/farewell-to-google/ 2021-11-30T00:00:00+00:00 https://alastairreid.github.io/joining-intel/ 2021-12-01T00:00:00+00:00 https://alastairreid.github.io/mrs-at-scale/ 2022-01-25T00:00:00+00:00 https://alastairreid.github.io/modular-specs/ 2023-02-21T00:00:00+00:00 https://alastairreid.github.io/plarch-2023/ 2023-07-01T00:00:00+00:00 https://alastairreid.github.io/pldi-2023/ 2023-07-16T00:00:00+00:00 https://alastairreid.github.io/dagstuhl/ 2023-10-15T00:00:00+00:00 https://alastairreid.github.io/riscv-spec-issues/ 2024-04-27T00:00:00+00:00 https://alastairreid.github.io/404/ https://alastairreid.github.io/about/ https://alastairreid.github.io/bio/ https://alastairreid.github.io/ https://alastairreid.github.io/papers/ https://alastairreid.github.io/googlee354844a0bfdcb07.html 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/images/Kangrejos.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/2019reidphd.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/HW1995-Proceedings.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/ReidThesis93.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/SBACPAD07.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/arw2018.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/budgets.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/cases2008-SoC-C-slides.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/cases2008-SoC-C.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/cav2016_isa_formal-slides.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/cav2016_isa_formal.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/date2014_adv_simd.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/designing.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/emsoft03-preprint.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/except.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/exceptions98.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/ffi.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/fmcad2016-trustworthy-slides.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/fmcad2016-trustworthy.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/fvision-icse99-2.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/fvision-padl01-2.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/green-card.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/haskell98-library.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/haskell98-report.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/hatra2020-slides.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/hatra2020.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/hugsgraphics.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/knit-icse01-wasc.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/knit-icse02.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/knit-osdi00.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/libraries.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/lin-sdr06.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/lin-sips06.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/malloc.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/mwoh-micro08.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards-slides.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/p021-regehr.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/p751-regehr.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/popl19-isasemantics.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/records.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/rtss03-preprint.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/spine-ifl98.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/spisa2019.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/sve-ieee-micro-2017.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/papers/tsl-acp4is.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/Kangrejos-2021-09-13.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/bottom-up-formalization-CUCL-2012-02.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/creating-formal-specs-ANSSI-2018-10-24.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/engineering-large-specs-ACL2-2018-11-06.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/formalizing-arm-specs-ACSD-2018-06-15.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/goals-of-modern-ISA-spec-PLARCH-2023-06-17.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/hw-sw-interfaces-2019-02-21.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/leaky-abstractions-RISE-2022-07-19.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/mrs-at-scale-ETHZ-2022-06-02.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/real-world-artifacts-OSW-2018-03-15.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/specs-the-next-bottleneck-ENTROPY-2018-01-26.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/srepls4-trustworthy.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/towards-a-formal-x86-specification-ImperialCollege-2022-09-05.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/trusting-verified-software-BCS-2017-09-29.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/trusting-verified-software-CUCL-2017-05-02.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/trusting-verified-software-GLA-2017-09-01.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/trusting-verified-software-ICL-2017-11-06.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/trustworthy-specs-QMU-2016-11-30.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/using-KLEE-with-Rust-2021-07-11.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/using-arm-specs-34C3-2017-12-27.pdf 2024-05-01T05:32:11+00:00 https://alastairreid.github.io/talks/what-makes-processors-fail-EMF-2018-09-02.pdf 2024-05-01T05:32:11+00:00