| Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... February, 1999 | 725* | 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 | 353 | 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 | 184* | 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 | 175 | 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 | 158 | 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 | 151* | 1997 |
| Mapping a computer program to an asymmetric multiprocessing apparatus AD Reid, E Grimley-Evans, SA Ford US Patent 8,190,807, 2012 | 146 | 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 | 131 | 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 | 128 | 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 | 116 | 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 | 106 | 2008 |
| Monitoring values of signals within an integrated circuit SA Ford, A Reid US Patent 8,185,724, 2012 | 94 | 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 | 91 | 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 | 89 | 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 | 68 | 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 | 55 | 2001 |
| HOIST: A system for automatically deriving static analyzers for embedded systems J Regehr, A Reid ACM SIGPLAN Notices 39 (11), 133-143, 2004 | 54 | 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 | 53 | |
| GreenCard: a foreign-language interface for Haskell SP Jones, T Nordin, A Reid Proc. Haskell Workshop, 1997 | 51 | 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 | 45 | 2006 |
Simon Peyton JonesEpic Games在 epicgames.com 的电子邮件经过验证
