Alastair Reid
TitleCited byYear
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
February, 1999
645*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
1752000
Eliminating stack overflow by abstract interpretation
J Regehr, A Reid, K Webb
ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 751-778, 2005
1482005
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
147*1997
A semantics for imprecise exceptions
S Peyton Jones, A Reid, F Henderson, T Hoare, S Marlow
ACM SIGPLAN Notices 34 (5), 25-36, 1999
1241999
Mapping a computer program to an asymmetric multiprocessing apparatus
AD Reid, E Grimley-Evans, SA Ford
US Patent 8,190,807, 2012
1182012
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
1112008
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
1022008
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
762003
Monitoring values of signals within an integrated circuit
SA Ford, A Reid
US Patent 8,185,724, 2012
682012
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
53
Analyzing diagnostic data generated by multiple threads within an instruction stream
AD Reid, SA Ford, KE Kneebone
US Patent App. 11/898,363, 2008
512008
HOIST: A system for automatically deriving static analyzers for embedded systems
J Regehr, A Reid
ACM SIGOPS Operating Systems Review 38 (5), 133-143, 2004
512004
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
482001
GreenCard: a foreign-language interface for Haskell
SP Jones, T Nordin, A Reid
Proc. Haskell Workshop, 1997
481997
The ARM scalable vector extension
N Stephens, S Biles, M Boettcher, J Eapen, M Eyole, G Gabrielli, ...
IEEE Micro 37 (2), 26-39, 2017
452017
Prototyping real-time vision systems: An experiment in DSL design
A Reid, J Peterson, G Hager, P Hudak
Proceedings of the 1999 International Conference on Software Engineering …, 1999
451999
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
442006
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
372016
SPEX: A programming language for software defined radio
Y Lin, R Mullenix, M Woh, S Mahlke, T Mudge, A Reid, K Flautner
Software Defined Radio Technical Conference and Product Exposition, Orlando, 2006
372006
The system can't perform the operation now. Try again later.
Articles 1–20