Programming Languages, Systems and Tools

Optimizing Software-Directed Instruction Replication for GPU Error Detection

Kayotee: A Fault Injection-based System to Assess the Safety and Reliability of Autonomous Vehicles to Faults and Errors

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

Search form