Adam Betts

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