Alastair Reid

Cited by

	All	Since 2019
Citations	3689	1121
h-index	29	13
i10-index	46	17

220

110

165

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 42 80 106 128 156 139 136 123 95 121 113 105 106 118 109 133 152 165 98 120 114 168 188 208 204 213 139

Public access

View all

2 articles

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
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified 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 Kahlert 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
Shaked FlurCambridge UniversityVerified email at cl.cam.ac.uk
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
Robert NortonUniversity of CambridgeVerified email at cl.cam.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk

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	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	366	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	177	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	163	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	150	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	118	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	107	2008
Monitoring values of signals within an integrated circuit SA Ford, A Reid US Patent 8,185,724, 2012	96	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	92	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	69	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

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