Travelled to:1 × Germany
1 × United Kingdom
6 × USA
Collaborated with:∅ J.Regehr J.Peterson P.Hudak G.D.Hager E.Eide J.Lepreau M.Boettcher B.M.Al-Hashimi M.Eyole G.Gabrielli M.Flatt L.Stoller S.L.P.Jones F.Henderson C.A.R.Hoare S.Marlow R.Chen A.Deligiannis D.Gilday D.Hoyes W.Keen A.Pathirane O.Shepherd P.Vrabel A.Zaidi A.Armstrong Thomas Bauereiss Brian Campbell 0001 K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur I.Stark Neel Krishnaswami P.Sewell
Talks about:system (4) architectur (2) vision (2) static (2) semant (2) formal (2) design (2) guard (2) simd (2) isa (2)
Person: Alastair Reid
DBLP: Reid:Alastair
Contributed to:
2014
2004
2002
2001
20001999
1999
1998
2016
2017
2019Wrote 11 papers:
- DATE-2014-BoettcherAEGR #architecture
- Advanced SIMD: Extending the reach of contemporary SIMD architectures (MB, BMAH, ME, GG, AR), pp. 1–4.
- ASPLOS-2004-RegehrR #automation #embedded #named
- HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
- ICSE-2002-EideRRL #design pattern
- Static and dynamic structure in design patterns (EE, AR, JR, JL), pp. 208–218.
- PADL-2001-PetersonHRH #declarative #named #visual notation
- FVision: A Declarative Language for Visual Tracking (JP, PH, AR, GDH), pp. 304–321.
- OSDI-2000-ReidFSLE #component #composition #named
- Knit: Component Composition for Systems Software (AR, MF, LS, JL, EE), pp. 347–360.
- ICSE-1999-ReidPHH #design #domain-specific language #empirical #prototype #realtime
- Prototyping Real-Time Vision Systems: An Experiment in DSL Design (AR, JP, GDH, PH), pp. 484–493.
- PLDI-1999-JonesRHHM #exception #semantics
- A Semantics for Imprecise Exceptions (SLPJ, AR, FH, CARH, SM), pp. 25–36.
- IFL-1998-Reid #implementation
- Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes (AR), pp. 186–199.
- CAV-2016-ReidCDGHKPSVZ #verification
- End-to-End Verification of Processors with ISA-Formal (AR, RC, AD, DG, DH, WK, AP, OS, PV, AZ), pp. 42–58.
- OOPSLA-2017-Reid #architecture #specification #validation
- Who guards the guards? formal validation of the Arm v8-m architecture specification (AR), p. 24.
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.