From b1e6491f77421ae4623391a7f53af7f3e6c13f34 Mon Sep 17 00:00:00 2001
From: Ethel Morgan <eth@ethulhu.co.uk>
Date: Mon, 6 Jul 2020 18:23:10 +0100
Subject: import website from previous repo

---
 src/publications.thrust | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 src/publications.thrust

(limited to 'src/publications.thrust')

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='/'>&gt; index</a>
+	</nav>
+	<h1>{{ title }}</h1>
+	{{ body | markdown }}
+{% endblock %}
-- 
cgit v1.2.3