| Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... February, 1999 | 651* | 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 | 178 | 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 | 155 | 2005 |
| 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 | 127 | 1999 |
| Mapping a computer program to an asymmetric multiprocessing apparatus AD Reid, E Grimley-Evans, SA Ford US Patent 8,190,807, 2012 | 120 | 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 | 115 | 2008 |
| The ARM scalable vector extension N Stephens, S Biles, M Boettcher, J Eapen, M Eyole, G Gabrielli, ... IEEE Micro 37 (2), 26-39, 2017 | 109 | 2017 |
| 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 | 103 | 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 | 99* | 1997 |
| 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 | 81 | 2003 |
| Monitoring values of signals within an integrated circuit SA Ford, A Reid US Patent 8,185,724, 2012 | 70 | 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 | 59 | 2016 |
| 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 | |
| HOIST: A system for automatically deriving static analyzers for embedded systems J Regehr, A Reid ACM SIGPLAN Notices 39 (11), 133-143, 2004 | 51 | 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 | 50 | 2008 |
| GreenCard: a foreign-language interface for Haskell SP Jones, T Nordin, A Reid Proc. Haskell Workshop, 1997 | 48 | 1997 |
| 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 | 47 | 2001 |
| 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 | 46 | 2016 |
| 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 | 46 | 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 | 44 | 2006 |
Simon Peyton JonesMicrosoft Research確認したメール アドレス: microsoft.com
