diff options
Diffstat (limited to 'src/publications.thrust')
| -rw-r--r-- | src/publications.thrust | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/publications.thrust b/src/publications.thrust new file mode 100644 index 0000000..88d34e3 --- /dev/null +++ b/src/publications.thrust @@ -0,0 +1,24 @@ +--- +title: publications +last edited: 2019-11-29 +body: | + ## Warps and atomics: Beyond barrier synchronization in the verification of GPU kernels + + - [Paper](http://multicore.doc.ic.ac.uk/tools/GPUVerify/NFM/nfm2014_submission_13.pdf) + - [Website](http://multicore.doc.ic.ac.uk/tools/GPUVerify/NFM2014/) + + ## Engineering a Static Verification Tool for GPU Kernels + + - [Paper](http://multicore.doc.ic.ac.uk/tools/GPUVerify/CAV2014/downloads/paper.pdf) + - [Website](http://multicore.doc.ic.ac.uk/tools/GPUVerify/CAV2014/) + + ## KernelInterceptor: GPU kernel verification by intercepting kernel parameters +--- +{% extends 'templates/base.html' %} +{% block body %} + <nav> + <a href='/'>> index</a> + </nav> + <h1>{{ title }}</h1> + {{ body | markdown }} +{% endblock %} |