diff options
| author | Ethel Morgan <eth@ethulhu.co.uk> | 2020-07-06 18:23:10 +0100 |
|---|---|---|
| committer | Ethel Morgan <eth@ethulhu.co.uk> | 2020-07-06 18:23:10 +0100 |
| commit | b1e6491f77421ae4623391a7f53af7f3e6c13f34 (patch) | |
| tree | acc4ce7ae214b92dbf2c269c70e94b68dac1d640 /src/publications.thrust | |
| parent | 04be5845dbaa6f8dec45a80dbe199861608b96f2 (diff) | |
import website from previous repo
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 %} |