Skip to main content
Research
Search form
Search
Publications
Research Areas
People
About
Collaborations
Academic
Government
Graduate Fellowships
Careers
Internships
Research Scientists
Research Areas
Programming Languages, Systems and Tools
Associated Publications
Optimizing Software-Directed Instruction Replication for GPU Error Detection
Relaxations for High-Performance Message Passing on Massively Parallel SIMT Processors
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
Automated Synthesis of Comprehensive Memory Model Litmus Test Suites
MemcachedGPU: Scaling-up Scale-out Key-value Stores
Flexible Software Profiling of GPU Architectures
Researchers
Aamer Jaleel
Albert Sidelnik
Benjamin Klenk
Cris Cecka
Daniel Lustig
David Nellans
Isaac Gelado
Mark Kilgard
Mark Stephenson
Michael Garland
Mike Bauer
Nir Benty
Oreste Villa
Saurav Muralidharan
Sean Treichler
Siva Hari
Steven Dalton
Tim Foley
William Dally
Yaosheng Fu
