Adam Betts -

Not registered as user yet

Name:Adam Betts

Contributions

DSLDI	Author of PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs within the DSLDI-track
SPLASH 2012	Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track