Adam Betts

According to our database, Adam Betts authored at least 23 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Implementing and Evaluating Candidate-Based Invariant Generation.

Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema

IEEE Trans. Software Eng., 2018

2016

Acceleration of a Full-Scale Industrial CFD Application with OP2.

István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford

IEEE Trans. Parallel Distributed Syst., 2016

Concurrency Testing Using Controlled Schedulers: An Empirical Study.

Paul Thomson, Alastair F. Donaldson, Adam Betts

ACM Trans. Parallel Comput., 2016

2015

The Design and Implementation of a Verification Technique for GPU Kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson

ACM Trans. Program. Lang. Syst., 2015

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

Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014

Concurrency testing using schedule bounding: an empirical study.

Paul Thomson, Alastair F. Donaldson, Adam Betts

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Engineering a Static Verification Tool for GPU Kernels.

Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis.

Adam Betts, Alastair F. Donaldson

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

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

Adam Betts

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

GPUVerify: a verifier for GPU kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs.

Carlo Bertolli, Adam Betts, Nicolas Loriant, Gihan R. Mudalige, David Radford, David A. Ham, Mike B. Giles, Paul H. J. Kelly

Proceedings of the Languages and Compilers for Parallel Computing, 2012

Mesh independent loop fusion for unstructured mesh applications.

Carlo Bertolli, Adam Betts, Paul H. J. Kelly, Gihan R. Mudalige, Mike B. Giles

Proceedings of the Computing Frontiers Conference, CF'12, 2012

2011

Identifying irreducible loops in the Instrumentation Point Graph.

Adam Betts, Guillem Bernat

J. Syst. Archit., 2011

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

Amine Marref, Adam Betts

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

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

Amine Marref, Adam Betts

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

WCET Analysis of Component-Based Systems Using Timing Traces.

Adam Betts, Amine Marref

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Design and Performance of the OP2 Library for Unstructured Mesh Applications.

Carlo Bertolli, Adam Betts, Gihan R. Mudalige, Mike B. Giles, Paul H. J. Kelly

Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

2010

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

Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

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

Adam Betts, Nicholas Merriam, Guillem Bernat

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Cache-Aware Development of High-Integrity Systems.

Enrico Mezzetti, Adam Betts, José F. Ruiz, Tullio Vardanega

Proceedings of the Reliable Software Technologiey, 2010

2008

Hybrid measurement-based WCET analysis using instrumentation point graphs.

Adam Betts

PhD thesis, 2008

2006

Tree-Based WCET Analysis on Instrumentation Point Graphs.

Adam Betts, Guillem Bernat

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005

Issues using the Nexus Interface for Measurement-Based WCET Analysis.

Adam Betts, Guillem Bernat

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005