Adam Betts

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 6

Top Venues

CoRR

LCPC

PACT

RTSS

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. 44 (7) (2018)
István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford
Acceleration of a Full-Scale Industrial CFD Application with OP2. IEEE Trans. Parallel Distributed Syst. 27 (5) (2016)
Paul Thomson, Alastair F. Donaldson, Adam Betts
Concurrency Testing Using Controlled Schedulers: An Empirical Study. ACM Trans. Parallel Comput. 2 (4) (2016)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. CoRR (2016)
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
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. PACT (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Paul Thomson, Alastair F. Donaldson, Adam Betts
Concurrency testing using schedule bounding: an empirical study. PPOPP (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford
Acceleration of a Full-scale Industrial CFD Application with OP2. CoRR (2014)
Adam Betts, Alastair F. Donaldson
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. ECRTS (2013)
Carlo Bertolli, Adam Betts, Paul H. J. Kelly, Gihan R. Mudalige, Mike B. Giles
Mesh independent loop fusion for unstructured mesh applications. Conf. Computing Frontiers (2012)
Adam Betts
Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super Blocks. RTSS (2012)
Carlo Bertolli, Adam Betts, Nicolas Loriant, Gihan R. Mudalige, David Radford, David A. Ham, Mike B. Giles, Paul H. J. Kelly
Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. LCPC (2012)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
GPUVerify: a verifier for GPU kernels. OOPSLA (2012)
Amine Marref, Adam Betts
Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. ISORC (2011)
Amine Marref, Adam Betts
Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. ICECCS (2011)
Adam Betts, Guillem Bernat
Identifying irreducible loops in the Instrumentation Point Graph. J. Syst. Archit. 57 (7) (2011)
Adam Betts, Amine Marref
WCET Analysis of Component-Based Systems Using Timing Traces. ICECCS (2011)
Carlo Bertolli, Adam Betts, Gihan R. Mudalige, Mike B. Giles, Paul H. J. Kelly
Design and Performance of the OP2 Library for Unstructured Mesh Applications. Euro-Par Workshops (1) (2011)
Adam Betts, Nicholas Merriam, Guillem Bernat
Hybrid measurement-based WCET analysis at the source level using object-level traces. WCET (2010)
Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper
The Mälardalen WCET Benchmarks: Past, Present And Future. WCET (2010)
Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega
Cache-Aware Development of High-Integrity Systems. Ada-Europe (2010)
Adam Betts, Guillem Bernat
Tree-Based WCET Analysis on Instrumentation Point Graphs. ISORC (2006)
Adam Betts, Guillem Bernat
Issues using the Nexus Interface for Measurement-Based WCET Analysis. WCET (2005)

Adam Betts.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adam Betts