Publications | Research

5 results found
Programming Languages, Systems and Tools

Clear all

2026

Relight: Simple, User-Level Checkpointing and Fast Forward Replay for Distributed Task-Based Systems

Elliott Slaughter, Rupanshu Soi, Michael Bauer, Alex Aiken

Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs

Rupanshu Soi, Rohan Yadav, Fredrik Kjolstad, Alex Aiken, Maryam Mehri Dehnavi, Michael Garland, Michael Bauer

Fearless Concurrency on the GPU

Melih Elibol, Jared Roesch, Isaac Gelado, Eric Buehler, Michael Garland

SuperCollider: Scalable and Effective Data Race Detection for CUDA

Mark Stephenson, Sana Damani, Mohamed Tarek Ibn Ziad, Anis Ladram, Michael Garland

PLDI

Hunting CUDA Bugs at Scale with cuFuzz

Mohamed Tarek Ibn Ziad, Christos Kozyrakis