diff --git a/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gemver/gemver.cc b/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gemver/gemver.cc
index e6f087e47d..fdae575cc1 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gemver/gemver.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gemver/gemver.cc
@@ -314,6 +314,8 @@ void cl_clean_up()
 	errcode = clFlush(clCommandQue);
 	errcode = clFinish(clCommandQue);
 	errcode = clReleaseKernel(clKernel1);
+	errcode = clReleaseKernel(clKernel2);
+	errcode = clReleaseKernel(clKernel3);
 	errcode = clReleaseProgram(clProgram);
 	errcode = clReleaseMemObject(a_mem_obj);
 	errcode = clReleaseMemObject(u1_mem_obj);
diff --git a/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gesummv/gesummv.cc b/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gesummv/gesummv.cc
index 883c4de063..27278d7eb9 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gesummv/gesummv.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/benchmark/gesummv/gesummv.cc
@@ -265,6 +265,8 @@ void cl_clean_up()
 	errcode = clReleaseMemObject(a_mem_obj);
 	errcode = clReleaseMemObject(b_mem_obj);
 	errcode = clReleaseMemObject(x_mem_obj);
+	errcode = clReleaseMemObject(y_mem_obj);
+	errcode = clReleaseMemObject(tmp_mem_obj);
 	errcode = clReleaseCommandQueue(clCommandQue);
 	errcode = clReleaseContext(clGPUContext);
 	if(errcode != CL_SUCCESS) printf("Error in cleanup\n");
diff --git a/repos/hello_gpgpu/src/hello_gpgpu/benchmark/syr2k/syr2k.cc b/repos/hello_gpgpu/src/hello_gpgpu/benchmark/syr2k/syr2k.cc
index eb3efe120f..8141023a70 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/benchmark/syr2k/syr2k.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/benchmark/syr2k/syr2k.cc
@@ -253,6 +253,7 @@ void cl_clean_up()
 	errcode = clReleaseKernel(clKernel1);
 	errcode = clReleaseProgram(clProgram);
 	errcode = clReleaseMemObject(a_mem_obj);
+	errcode = clReleaseMemObject(b_mem_obj);
 	errcode = clReleaseMemObject(c_mem_obj);
 	errcode = clReleaseCommandQueue(clCommandQue);
 	errcode = clReleaseContext(clGPUContext);