Alastair Reid

According to our database1, Alastair Reid authored at least 22 papers between 1989 and 2020.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Towards making formal methods normal: meeting developers where they are.
CoRR, 2020

2019
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang., 2019

2017
Who guards the guards? formal validation of the Arm v8-m architecture specification.
Proc. ACM Program. Lang., 2017

The ARM Scalable Vector Extension.
IEEE Micro, 2017

2016
Trustworthy specifications of ARM® v8-A and v8-M system level architecture.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

End-to-End Verification of Processors with ISA-Formal.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014
Advanced SIMD: Extending the reach of contemporary SIMD architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2008
From SODA to scotch: The evolution of a wireless baseband processor.
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
Design and Implementation of Turbo Decoders for Software Defined Radio.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2006

2005
Eliminating stack overflow by abstract interpretation.
ACM Trans. Embed. Comput. Syst., 2005

2004
HOIST: a system for automatically deriving static analyzers for embedded systems.
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004

2003
Evolving real-time systems using hierarchical scheduling and concurrency analysis.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

2002
Static and dynamic structure in design patterns.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
FVision: A Declarative Language for Visual Tracking.
Proceedings of the Practical Aspects of Declarative Languages, 2001

2000
Knit: Component Composition for Systems Software.
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

1999
A Semantics for Imprecise Exceptions.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Prototyping Real-Time Vision Systems: An Experiment in DSL Design.
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
Implementing Fudgets with Standard Widget Sets.
Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1989
Designing Data Structures.
Proceedings of the Functional Programming, 1989


  Loading...