Alastair Reid

Cited by

	All	Since 2018
Citations	3352	931
h-index	27	12
i10-index	46	16

200

100

150

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 43 82 100 115 147 137 130 124 96 123 117 101 109 120 106 128 153 165 96 125 113 165 185 198 194 75

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Simon Peyton JonesEpic GamesVerified email at epicgames.com
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
John LaunchburyChief Scientist, GaloisVerified email at galois.com
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Eric EideUniversity of Utah School of ComputingVerified email at cs.utah.edu
Giacomo GabrielliDistinguished Engineer, ArmVerified email at arm.com
Stuart BilesFellow, ARMVerified email at arm.com
Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Kirk WebbUniversity of UtahVerified email at cs.utah.edu
Krisztián FlautnerUtopiun LLCVerified email at utopiun.com
Trevor MudgeBredt Family Professor of Engineering, University of MichiganVerified email at eecs.umich.edu
Scott MahlkeProfessor, Electrical Engineering and Computer Science Dept., University of MichiganVerified email at umich.edu
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Shaked FlurCambridge UniversityVerified email at cl.cam.ac.uk
Leigh B. StollerUniversity of Utah, School of ComputingVerified email at flux.utah.edu

Alastair Reid

Senior Principal Engineer

Verified email at intel.com - Homepage

ISA specification Formal Verification Computer architecture Programming Languages Functional Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... February, 1999	675*	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	277	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	185	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	172	2005
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	157*	1997
Mapping a computer program to an asymmetric multiprocessing apparatus AD Reid, E Grimley-Evans, SA Ford US Patent 8,190,807, 2012	140	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	134	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	126	2008
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	109	2019
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	104	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	93	2016
Monitoring values of signals within an integrated circuit SA Ford, A Reid US Patent 8,185,724, 2012	91	2012
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	87	2003
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	69	2016
Analyzing diagnostic data generated by multiple threads within an instruction stream AD Reid, SA Ford, KE Kneebone US Patent App. 11/898,363, 2008	65	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	53	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	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
GreenCard: a foreign-language interface for Haskell SP Jones, T Nordin, A Reid Proc. Haskell Workshop, 1997	50	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors