---
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 %}