Alastair Reid
Orcid: 0000-0003-4695-6668Affiliations:
- Intel, Cambridge, UK
- Google Research, London, UK (2019-2021)
- ARM Limited, Cambridge, UK (2004-2019)
- University of Utah, Salt Lake City, UT, USA (1999-2004)
- Yale University, New Haven, CT, USA (1994-1999)
- University of Glasgow, UK (1988-1994)
According to our database1,
Alastair Reid
authored at least 23 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on twitter.com
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2020
2019
PhD thesis, 2019
2017
Proc. ACM Program. Lang., 2017
2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2008
Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008
SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip.
Proceedings of the 2008 International Conference on Compilers, 2008
2007
Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor.
Proceedings of the 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 2007
2006
Proceedings of the IEEE Workshop on Signal Processing Systems, 2006
2005
ACM Trans. Embed. Comput. Syst., 2005
2004
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004
2003
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003
2002
Proceedings of the 24th International Conference on Software Engineering, 2002
2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
2000
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000
1999
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
1998
Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.
Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998
1993
Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993
1989
Designing Data Structures.
Proceedings of the Functional Programming, 1989