Alastair Reid
Cited by
Cited by
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
February, 1999
Knit: Component composition for systems software
A Reid, M Flatt, L Stoller, J Lepreau, E Eide
Proceedings of the 4th conference on Symposium on Operating System Design …, 2000
Eliminating stack overflow by abstract interpretation
J Regehr, A Reid, K Webb
ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 751-778, 2005
The ARM scalable vector extension
N Stephens, S Biles, M Boettcher, J Eapen, M Eyole, G Gabrielli, ...
IEEE micro 37 (2), 26-39, 2017
A semantics for imprecise exceptions
S Peyton Jones, A Reid, F Henderson, T Hoare, S Marlow
Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999
Mapping a computer program to an asymmetric multiprocessing apparatus
AD Reid, E Grimley-Evans, SA Ford
US Patent 8,190,807, 2012
From SODA to scotch: The evolution of a wireless baseband processor
M Woh, Y Lin, S Seo, S Mahlke, T Mudge, C Chakrabarti, R Bruce, ...
2008 41st IEEE/ACM International Symposium on Microarchitecture, 152-163, 2008
Haskell 1.4: A non-strict, purely functional language
J Peterson, K Hammond, L Augustsson, B Boutel, W Burton, J Fasel, ...
Research report, Yale University, 1997
Analyzing and transforming a computer program for executing on asymmetric multiprocessing systems
AD Reid, SA Ford, Y Lin
US Patent App. 11/898,360, 2008
Evolving real-time systems using hierarchical scheduling and concurrency analysis
J Regehr, A Reid, K Webb, M Parker, J Lepreau
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 25-36, 2003
Monitoring values of signals within an integrated circuit
SA Ford, A Reid
US Patent 8,185,724, 2012
End-to-end verification of processors with ISA-Formal
A Reid, R Chen, A Deligiannis, D Gilday, D Hoyes, W Keen, A Pathirane, ...
International Conference on Computer Aided Verification, 42-58, 2016
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, R Norton-Wright, ...
Trustworthy specifications of ARM® v8-A and v8-M system level architecture
A Reid
2016 Formal Methods in Computer-Aided Design (FMCAD), 161-168, 2016
HOIST: A system for automatically deriving static analyzers for embedded systems
J Regehr, A Reid
ACM SIGPLAN Notices 39 (11), 133-143, 2004
Analyzing diagnostic data generated by multiple threads within an instruction stream
AD Reid, SA Ford, KE Kneebone
US Patent App. 11/898,363, 2008
FVision: A declarative language for visual tracking
J Peterson, P Hudak, A Reid, G Hager
International Symposium on Practical Aspects of Declarative Languages, 304-321, 2001
The Haskell 98 Foreign Function Interface 1.0: An Addendum to the Haskell 98 Report, 2004
M Chakravarty, S Finne, F Henderson, M Kowalczyk, D Leijen, S Marlow, ...
URL www. cse. unsw. edu. au/% 7echak/haskell/ffi, 0
Report on the programming language Haskell, version 1.4
J Peterson, K Hammond, L Augustsson, B Boutel, W Burton, J Fasel, ...
Available from the Haskell homepage: http://www. haskell. org, 1997
GreenCard: a foreign-language interface for Haskell
SP Jones, T Nordin, A Reid
Proc. Haskell Workshop, 1997
The system can't perform the operation now. Try again later.
Articles 1–20