Alastair Reid
Alastair Reid
Senior Principal Engineer
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
February, 1999
The ARM scalable vector extension
N Stephens, S Biles, M Boettcher, J Eapen, M Eyole, G Gabrielli, ...
IEEE micro 37 (2), 26-39, 2017
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
ISA Semantics for ARMv8-a, RISC-v, and CHERI-MIPS
A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, RM Norton, ...
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
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
Mapping a computer program to an asymmetric multiprocessing apparatus
AD Reid, E Grimley-Evans, SA Ford
US Patent 8,190,807, 2012
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
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
End-to-end verification of processors with ISA-Formal
A Reid, R Chen, A Deligiannis, D Gilday, D Hoyes, W Keen, A Pathirane, ...
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
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
Monitoring values of signals within an integrated circuit
SA Ford, A Reid
US Patent 8,185,724, 2012
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
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
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
Practical Aspects of Declarative Languages: Third International Symposium …, 2001
HOIST: A system for automatically deriving static analyzers for embedded systems
J Regehr, A Reid
ACM SIGPLAN Notices 39 (11), 133-143, 2004
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
GreenCard: a foreign-language interface for Haskell
SP Jones, T Nordin, A Reid
Proc. Haskell Workshop, 1997
Design and implementation of turbo decoders for software defined radio
Y Lin, S Mahlke, T Mudge, C Chakrabarti, A Reid, K Flautner
2006 IEEE Workshop on Signal Processing Systems Design and Implementation, 22-27, 2006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20