SPLASH 2012 (series) / Adam Betts
Not registered as user yet
Name:Adam Betts
Contributions
| SPLASH 2012 | GPUVerify: a verifier for GPU kernels | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
- Attending
- Tracks
- Organization
- SPLASH 2012 Committees
- Organizing Committee
- Program Committee
- Steering Committee
- Track Committees
- ACM Student Research Competition
- Demos
- Doctoral Symposium
- Keynotes
- OOPSLA Research Papers
- Onward! Essays
- Onward! Papers
- Panels
- Posters
- Student Volunteers
- Wavefront Experience
- Wavefront Papers
- Workshops
- Contributors
- People Index
- Search
- Series