Papers and Patents

My Google Scholar and DBLP pages.

Papers

The ARM Scalable Vector Extension
Nigel Stephens, Stuart Biles, Matthias Boettcher, Jacob Eapen, Mbou Eyole, Giacomo Gabrielli, Matt Horsnell, Grigorios Magklis, Alejandro Martinez, Nathanael Premillieu, Alastair Reid, Alejandro Rico, Paul Walker,
In IEEE Micro, March 2017.

Trustworthy Specifications of ARM v8-A and v8-M System Level Architecture
Alastair Reid,
In Proceedings of Formal Methods in Computer-Aided Design, (FMCAD 2016), Mountain View, CA, USA, pp. 161-168, October 2016. url: https://alastairreid.github.io/papers/fmcad2016-trustworthy.pdf
slides

Trusting Large Specifications: The Virtuous Cycle
Alastair Reid,
In The 4th South of England Regional Programming Language Seminar (S-REPLS 4), September 2016.

End-to-End Verification of ARM Processors with ISA-Formal
Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi,
In Proceedings of the 2016 International Conference on Computer Aided Verification (CAV'16), 28% acceptance rate, CAV 2016, Part II, Lecture Notes in Computer Science, 9780, Springer Verlag, pp. 42-58, July 2016. doi: 10.1007/978-3-319-41540-6_3
slides

Advanced SIMD: Extending the reach of contemporary SIMD architectures
Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli, Alastair Reid,
In Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, 22% acceptance rate, European Design and Automation Association, pp. 1-4, March 2014. doi: 10.7873/DATE.2014.037

SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip
Alastair D. Reid, Krisztián Flautner, Edmund Grimley-Evans, Yuan Lin,
In Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2008, Atlanta, GA, USA, October 19-24, 2008, 33% acceptance rate, ACM, pp. 95--104, October 2008. doi: 10.1145/1450095.1450112

From SODA to scotch: The evolution of a wireless baseband processor
Mark Woh, Yuan Lin, Sangwon Seo, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Richard Bruce, Danny Kershaw, Alastair Reid, Mladen Wilder, Krisztián Flautner,
In 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy, 19% acceptance rate, IEEE Computer Society, pp. 152--163, 2008. doi: 10.1109/MICRO.2008.4771787

Low-cost Techniques for Reducing Branch Context Pollution in a Soft Realtime Embedded Multithreaded Processor
Emre Özer, Alastair Reid, Stuart Biles,
In 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 24-27 October 2007, Gramado, RS, Brazil, IEEE Computer Society, pp. 37--44, 2007. doi: 10.1109/SBAC-PAD.2007.26

Design and Implementation of Turbo Decoders for Software Defined Radio
Yuan Lin, Scott A. Mahlke, Trevor N. Mudge, Chaitali Chakrabarti, Alastair Reid, Krisztián Flautner,
In Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 2006, Proceedings, October 2-4, 2006, Banff, Alberta, Canada, IEEE, pp. 22--27, 2006. doi: 10.1109/SIPS.2006.352549

SPEX: A programming language for software defined radio
Yuan Lin, Robert Mullenix, Mark Woh, Scott Mahlke, Trevor Mudge Alastair Reid, Krisztián Flautner,
In Software Defined Radio Technical Conference and Product Exposition, 2006.

Eliminating stack overflow by abstract interpretation
John Regehr, Alastair Reid, Kirk Webb,
ACM Trans. Embedded Comput. Syst., 4, pp. 751--778, 2005. doi: 10.1145/1113830.1113833

HOIST: a system for automatically deriving static analyzers for embedded systems
John Regehr, Alastair Reid,
In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2004, Boston, MA, USA, October 7-13, 2004, 14% acceptance rate, ACM, pp. 133--143, 2004. doi: 10.1145/1024393.1024410

Lock inference for systems software
John Regehr, Alastair Reid,
In Proceedings of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), .

Eliminating Stack Overflow by Abstract Interpretation
John Regehr, Alastair Reid, Kirk Webb,
In Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, Springer, pp. 306--322, 2003. doi: 10.1007/978-3-540-45212-6_20

Evolving real-time systems using hierarchical scheduling and concurrency analysis
John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau,
In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, IEEE Computer Society, pp. 25--36, 2003. doi: 10.1109/REAL.2003.1253251

The Haskell 98 Foreign Function Interface 1.0: An Addendum to the Haskell 98 Report
Manuel Chakravarty, Sigbjorn Finne, Fergus Henderson, Marcin Kowalczyk, Daan Leijen, Simon Marlow, Erik Meijer, Sven Panne, Simon Peyton Jones, Alastair Reid, Malcolm Wallace, Michael Weber,
2003. url: https://www.cse.unsw.edu.au/~chak/haskell/ffi

Static and dynamic structure in design patterns
Eric Eide, Alastair Reid, John Regehr, Jay Lepreau,
In Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, 15% acceptance rate, ACM, pp. 208--218, 2002. doi: 10.1145/581339.581367

Aspect Weaving as Component Knitting: Separating Concerns with Knit
Eric Eide, Alastair Reid, Matthew Flatt, Jay Lepreau,
In Workshop on Advanced Separation of Concerns in Software Engineering, 2001.

FVision: A Declarative Language for Visual Tracking
John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager,
In Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, Springer, pp. 304--321, 2001. doi: 10.1007/3-540-45241-9_21

Knit: Component Composition for Systems Software
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide,
In 4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000, USENIX Association, pp. 347--360, 2000. url: http://dl.acm.org/citation.cfm?id=1251253

Prototyping Real-Time Vision Systems: An Experiment in DSL Design
Alastair Reid, John Peterson, Gregory D. Hager, Paul Hudak,
In Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., 19% acceptance rate, ACM, pp. 484--493, 1999. url: http://portal.acm.org/citation.cfm?id=302405.302681

A Semantics for Imprecise Exceptions
Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow,
In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, 20% acceptance rate, ACM, pp. 25--36, 1999. doi: 10.1145/301618.301637

Haskell 98: A non-strict, purely functional language
Simon Peyton Jones, Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, John Hughes, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, Philip Wadler,
1999. url: https://www.haskell.org/definition/

Standard Libraries for the Haskell 98 Programming Language
Simon Peyton Jones, Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, John Hughes, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, Philip Wadler,
1999. url: https://www.haskell.org/definition/

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes
Alastair Reid,
In Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers, Springer, pp. 186--199, 1998. doi: 10.1007/3-540-48515-5_12

Handling Exceptions in Haskell
Alastair Reid,
In Yale University Research Report YALE/DCS/RR-1178, August 1998.

Designing the Standard Haskell Libraries
Alastair Reid, John Peterson,
1998.

Green Card: a foreign-language interface for Haskell
Simon Peyton Jones, Thomas Nordin, Alastair Reid,
In Proceedings of the Haskell Workshop, Amsterdam, June 1997, .

Adding Records to Haskell
John Peterson, Alastair Reid,
In Proceedings of the Haskell Workshop 1995, Yale University Research Report YALE/DCS/RR-1075, 1995. url: https://www.haskell.org/haskell-workshop/1995/HW1995-Proceedings.pdf

A Proposal for the Standard Haskell Libraries
Alastair Reid, John Peterson,
In Proceedings of the Haskell Workshop 1995, Yale University Research Report YALE/DCS/RR-1075, 1995. url: https://www.haskell.org/haskell-workshop/1995/HW1995-Proceedings.pdf

Malloc Pointers and Stable Pointers: Improving Haskell's Foreign Language Interface
Alastair Reid,
In In Glasgow Functional Programming Workshop Draft Proceedings, 1994.

Implementing Fudgets with Standard Widget Sets
Alastair Reid, Satnam Singh,
In Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5--7 July 1993, Springer London, pp. 222--235, 1994. doi: 10.1007/978-1-4471-3236-3_18

Designing Data Structures
Alastair Reid,
In Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK, Springer, pp. 170--181, 1989.

Patents

Exponent Monitoring
Guy Larri, Lee Douglas Smith, David Raymond Lutz, Alastair David Reid,
US Patent App. 20,160,124,712,
2016.

Controlling an order for processing data elements during vector processing
Alastair David Reid,
US Patent 9,098,265,
2015.

Interleaving data accesses issued in response to vector access instructions
Alastair David Reid,
US Patent 9,021,233,
2015.

Data processing apparatus and method for controlling performance of speculative vector operations
Alastair David Reid, Daniel Kershaw,
US Patent App. 14/461,664,
2014.

Data processing apparatus and method for performing segmented operations
Mbou Eyole-monono, Alastair David Reid, Matthias Lothar Böttcher, Giacomo Gabrielli,
US Patent 9,557,995,
2014.

Trace data priority selection
John Michael Horley, Michael John Williams, Katherine Elizabeth Kneebone, Alastair David Reid,
US Patent 8,887,001,
2010.

Reducing inter-task latency in a multiprocessor system
Alastair David Reid,
US Patent 8,359,588,
2013.

Variable coherency support when mapping a computer program to a data processing apparatus
Alastair David Reid, Edmund Grimley-Evans, Simon Andrew Ford,
US Patent 8,250,549,
2012.

Apparatus and method for performing re-arrangement operations on data
Daniel Kershaw, Dominic Hugo Symes, Alastair David Reid,
US Patent 8,200,948,
2012.

Recovering from errors in streaming DSP applications
Alastair David Reid, Daryl Wayne Bradley,
US Patent 8,020,039,
2007.

Mapping a computer program to an asymmetric multiprocessing apparatus
Alastair David Reid, Edmund Grimley-Evans, Simon Andrew Ford,
US Patent 8,190,807,
2006.

Monitoring values of signals within an integrated circuit
Simon Andrew Ford, Alastair David Reid,
US Patent 8,185,724,
2006.

Performing diagnostic operations upon an asymmetric multiprocessor apparatus
Simon Andrew Ford, Alastair David Reid, Katherine Elizabeth Kneebone, Edmund Grimley-Evans,
US Patent 7,809,989,
2010.

Data processing apparatus and method for updating prediction data based on an operation's priority level
Emre Özer, Alastair David Reid, Stuart David Biles,
US Patent 7,805,595,
2006.

Spurious signal detection
Simon Andrew Ford, David Michael Bull, Alastair David Reid,
US Patent 7,574,314,
2006.