Concepedia

Adam Betts

AB

Statistics

Publications

9

Citations

543

H-Index

9

Active since

2006

Affiliations

Imperial College London(Current)

Microsoft (United States)

University of York

Adam Betts is an author at Imperial College London specializing in computer engineering, computer science, and computing.

Publications per year

2006–2016

9

Publications

9

GPUVerify

Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · 2012 · 144 citations

, , +17

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

Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen et al. · 2015 · 103 citations · Full text

, , +17

Concurrency testing using schedule bounding

Paul Thomson, Alastair F. Donaldson, Adam Betts · 2014 · 62 citations

, , +15

The Design and Implementation of a Verification Technique for GPU Kernels

Adam Betts, Nathan Chong, Alastair F. Donaldson et al. · ACM Transactions on Programming Languages and Systems · 2015 · 58 citations · Full text

, , +14

Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis

Adam Betts, Alastair F. Donaldson · 2013 · 53 citations

, , +17

1–5 of 9