A. Betts

发表

CUDA / OpenCL kernel Clang / LLVM Kernel transformation Houdini invariant refutation Boogie verification engine Sequential program Candidate invariants Verified

Pantazis, S. Qadeer, A. Donaldson, 2014 .

Controlling the influence of PCI DMA transfers on WCET of real-time software

G. Bernat, T. Mitra, R. Ernst, 2004 .

Acceleration of a Full-Scale Industrial CFD Application with OP2

Paul H. J. Kelly, Carlo Bertolli, Adam Betts, 2014, IEEE Transactions on Parallel and Distributed Systems.

PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs

Albert Cohen, Adam Betts, Alastair F. Donaldson, 2014, SPLASH 2014.

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming

Elnar Hajiyev, Albert Cohen, Chandan Reddy, 2015, 2015 International Conference on Parallel Architecture and Compilation (PACT).

Hybrid measurement-based WCET analysis using instrumentation point graphs

Adam Betts, A. Betts, 2008 .

Mesh independent loop fusion for unstructured mesh applications

Paul H. J. Kelly, Carlo Bertolli, Adam Betts, 2012, CF '12.

WCET Coverage for Pipelines

Guillem Bernat, Raimund Kirner, Ingomar Wenzel, 2006 .

Cache-Aware Development of High-Integrity Systems

Tullio Vardanega, Adam Betts, Enrico Mezzetti, 2010, Ada-Europe.

Concurrency Testing Using Controlled Schedulers

Adam Betts, Alastair F. Donaldson, Paul Thomson, 2016, ACM Trans. Parallel Comput..

The Mälardalen WCET Benchmarks: Past, Present And Future

Andreas Ermedahl, J. Gustafsson, A. Betts, 2010, WCET.

Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis

Adam Betts, Alastair F. Donaldson, A. Donaldson, 2013, 2013 25th Euromicro Conference on Real-Time Systems.

Identifying irreducible loops in the Instrumentation Point Graph

Guillem Bernat, Adam Betts, G. Bernat, 2011, J. Syst. Archit..

Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs

David A. Ham, Paul H. J. Kelly, Carlo Bertolli, 2012, LCPC.

The Design and Implementation of a Verification Technique for GPU Kernels

Alastair F. Donaldson, S. Qadeer, John Wickerson, 2015, TOPL.

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code

Amine Marref, Adam Betts, A. Betts, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.