Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012
Tucson, Arizona, United States
Toggle navigation
Attending
Hotel: Loews Ventana Canyon Resort · Tucson
Grants
Registering
SPLASH Shirts
Hotels
Getting to SPLASH
While at SPLASH
Conference Facility Floor Plans
Anti-Harassment Policy
Visa Requirements
Tracks
SPLASH 2012
ACM Student Research Competition
Demos
Doctoral Symposium
Keynotes
OOPSLA Research Papers
Onward! Essays
Onward! Papers
Panels
Posters
RPG 2012
Student Volunteers
Wavefront Experience
Wavefront Papers
Workshops
Workshops
AGERE
DCI
DCP
DSM
FOOL
FREECO
Neo4j
PLATEAU
RACES
VMIL
xDD
Co-hosted Symposia
DLS
Organization
SPLASH 2012 Committees
Organizing Committee
Program Committee
Steering Committee
Track Committees
ACM Student Research Competition
Demos
Doctoral Symposium
Keynotes
OOPSLA Research Papers
Program Committee
External Reviewers
Onward! Essays
Onward! Papers
Panels
Posters
Student Volunteers
Wavefront Experience
Wavefront Papers
Workshops
Contributors
People Index
Workshops
AGERE
Organizers
Program Committee
DCI
Hosts
DCP
Organizers
Program Committee
DSM
Organizing Committee
Program committee
FOOL
Organizers
Program Committee
Steering Committee
FREECO
Program Committee
Workshop organizers
Neo4j
Organizers
PLATEAU
Organizers
Program Committee
RACES
Assistants
Organizers
Program Committee
VMIL
Organizers
Program Committee
xDD
Workshop Committee
Co-hosted Symposia
DLS
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2012
(
series
) /
Paul Thomson
SPLASH 2012 profile
conf.research.org general profile
PLDI 2015 profile
SPLASH 2017 profile
Not registered as user yet
Name:
Paul Thomson
Affiliation:
Imperial College London
Contributions
2012
SPLASH
GPUVerify: a verifier for GPU kernels
Show activities from other conferences
Share
SPLASH 2012-profile
View general profile
x
Sat 2 Nov 19:22