BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Spain
2 × USA
Collaborated with:
A.F.Donaldson P.Thomson N.Chong S.Qadeer E.Mezzetti J.Ruiz T.Vardanega E.Bardsley P.Collingbourne P.Deligiannis J.Ketema D.Liew
Talks about:
gpu (3) verifi (2) kernel (2) schedul (1) develop (1) concurr (1) system (1) static (1) integr (1) verif (1)

Person: Adam Betts

DBLP DBLP: Betts:Adam

Contributed to:

CAV 20142014
PPoPP 20142014
OOPSLA 20122012
Ada-Europe 20102010

Wrote 4 papers:

CAV-2014-BardsleyBCCDDKLQ #gpu #kernel #verification
Engineering a Static Verification Tool for GPU Kernels (EB, AB, NC, PC, PD, AFD, JK, DL, SQ), pp. 226–242.
PPoPP-2014-ThomsonDB #bound #concurrent #empirical #testing #using
Concurrency testing using schedule bounding: an empirical study (PT, AFD, AB), pp. 15–28.
OOPSLA-2012-BettsCDQT #gpu #kernel #named #verification
GPUVerify: a verifier for GPU kernels (AB, NC, AFD, SQ, PT), pp. 113–132.
AdaEurope-2010-MezzettiBRV #development
Cache-Aware Development of High-Integrity Systems (EM, AB, JR, TV), pp. 139–152.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.