Adam Betts

发表

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.

Identifying irreducible loops in the Instrumentation Point Graph

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

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).

GPUVerify: a verifier for GPU kernels

Adam Betts, Alastair F. Donaldson, Shaz Qadeer, 2012, OOPSLA '12.

Concurrency testing using schedule bounding: an empirical study

Adam Betts, Alastair F. Donaldson, Paul Thomson, 2014, PPoPP '14.

The Design and Implementation of a Verification Technique for GPU Kernels

John Wickerson, Adam Betts, Alastair F. Donaldson, 2015, TOPL.

Cache-Aware Development of High-Integrity Systems

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

Design and Performance of the OP2 Library for Unstructured Mesh Applications

Paul H. J. Kelly, Carlo Bertolli, Adam Betts, 2011, Euro-Par Workshops.

WCET Analysis of Component-Based Systems Using Timing Traces

Amine Marref, Adam Betts, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times

Amine Marref, Adam Betts, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

Issues using the Nexus Interface for Measurement-Based WCET Analysis

Guillem Bernat, Adam Betts, 2005, WCET.

Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs

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

Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers

Elnar Hajiyev, Albert Cohen, Chandan Reddy, 2015, HiPEAC 2015.

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

Jan Gustafsson, Björn Lisper, Andreas Ermedahl, 2010, WCET.

Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super Blocks

Adam Betts, 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

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.

Tree-based WCET analysis on instrumentation point graphs

Guillem Bernat, Adam Betts, 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

Hybrid measurement-based WCET analysis at the source level using object-level traces

Guillem Bernat, Nicholas Merriam, Adam Betts, 2010, WCET.

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.

Implementing and Evaluating Candidate-Based Invariant Generation

Adam Betts, Alastair F. Donaldson, Jeroen Ketema, 2018, IEEE Transactions on Software Engineering.

PDS Reviewers

Guillem Bernat, Yanzhi Bai, Peter Andras, 2005, DSN.

Concurrency Testing Using Controlled Schedulers

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

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

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

Mesh independent loop fusion for unstructured mesh applications

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

Hybrid measurement-based WCET analysis using instrumentation point graphs

Adam Betts, A. Betts, 2008 .

Engineering a Static Verification Tool for GPU Kernels

Adam Betts, Ethel Bardsley, Alastair F. Donaldson, 2014, CAV.

WCET Coverage for Pipelines

Guillem Bernat, Raimund Kirner, Ingomar Wenzel, 2006 .

A New Timing Schema for WCET Analysis

Guillem Bernat, Stefan M. Petters, Adam Betts, 2004 .