Introduction

I am a Research Associate in the Multicore group led by Dr. Alastair Donaldson where I am currently funded by the CARP project. The broad aim of the CARP project is to ensure programs designed for many-core architectures run efficiently and correctly.

Research Interests

Within the CARP project, I am specifically interested in performance analysis of general-purpose GPU code and how these performance analysis tools can cooperate within an auto-tuning compiler framework, or assist a software engineer in deducing performance bottlenecks. We are specifically investigating how WCET techniques can be applied to GPU code and hope to report more soon.

Previously I worked on a DSL compiler, translating code written in OP2 into CUDA, OpenMP, and OpenCL code. Here I am interested in compiler optimisations for unstructured mesh code bases.

My principal research direction is, to some extent, WCET analysis. I am particularly interested in hybrid measurement-based analysis, a technique which combines measurements with static analysis to deliver an estimate of the (non-computable) WCET. Subjects which interest in this particular area include: test coverage; analysis of the intermediate data structures used during the WCET computation; transferring path analysis data into the hybrid framework; the issue of reducibility and how it impacts (general) WCET analyses.

Publications

Journals

A. Betts and G. Bernat, Identifying Irreducible Loops in the Instrumentation Point Graph, Journal of Systems Architecture, June 2011.

Conferences and Workshops

A. Betts and A. Donaldson, Estimating the WCET of GPU-Accelerated Applications using Hybrid Analysis, to appear in Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS'13), July 2013.

A. Betts, Reducing the Size of the Constraint Model in Implicit Path Enumeration using Super Blocks, in Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS'12), December 2012.

A. Betts, N. Chong, A. Donaldson, S. Qadeer, and P. Thomson, GPUVerify: A Verifier for GPU Kernels, in Proceedings of the 27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'12), October 2012.

C. Bertolli, A. Betts, N. Loriant, G. Mudalige, D. Radford, M. Giles, and P. Kelly, Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs, in the 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC'12), September 2012.

A. Betts, C. Bertolli, P. Kelly, D. Radford, G. Mudalige, and M. Giles Using Whole-Program Analysis, Program Slicing, and Loop Transformations to Optimise Unstructured Mesh Applications, in Proceedings of the 16th International Workshop on Compilers for Parallel Comput ing (CPC'12), January 2012.

C. Bertolli, A. Betts, G. Mudalige, M. Giles and P. Kelly, Design and Performance of the OP2 Library for Unstructured Mesh Applications, in Proceedings of the 1st CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing (CGWS'11), August 2011.

A. Betts and A. Marref, WCET Analysis of Component-Based Systems using Timing Traces, in Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'11), April 2011.

A. Marref and A. Betts, Memory Positioning of Real-Time Code for Smaller Worst- Case Execution Times, in Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'11), April 2011.

A. Marref and A. Betts, Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code, in Proceedings of th e 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC'11), March 2011.

A. Betts and N. Merriam, Hybrid measurement-based WCET analysis at the source level using object-level traces, in Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET'10), July 2010.

J. Gutafsson, A. Betts, A. Ermedahl and B. Lisper, The Màˆlardalen WCET Benchmarks: Past, Present and Future, in Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET'10), July 2010.

E. Mezzetti, A. Betts, J. Ruiz, and T. Vardanega, Cache-aware Development of High- Integrity Systems, in Proceedings of the 15th Ada-Europe International Conference, June 2010.

A. Betts and G. Bernat, Extracting Loop Bounds for WCET Analysis using the Instrumentation Point Graph, in Proceedings of the 13th Data Systems in Aerospace conference (DASIA'09), May 2009.

A. Betts and G. Bernat, Tree-Based WCET Analysis on Instrumentation Point Graphs, in Proceedings of the International Symposium on Object and component-oriented Real-time distributed Computing (ISORC'06), April 2006.

A. Betts and G. Bernat, Issues using the Nexus Interface for Measurement-Based WCET Analysis, in Proceedings of the 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05), July 2005.

S. M. Petters, A. Betts, and G. Bernat, A New Timing Schema for WCET Analysis, in Proceedings of the 4th International Workshop on Worst-Case Execution Time Analysis (WCET'04), July 2004.

Technical Reports

A. Betts, G. Bernat, R. Kirner, P. Puschner, I. Wenzel, WCET Coverage for Pipelines, Technical report for the ARTIST2 Network of Excellence, August 2006.

PhD Thesis

A. Betts, Hybrid Measurement-Based WCET Analysis using Instrumentation Point Graphs, PhD Thesis, University of York, June 2008.

Contact

Email: abettsXXX@XXXimperial.ac.uk (Remove the XXX either side of the @ symbol)