matt_d
- Karma
- 22,308
- Created
- 12 years ago
Recent Submissions
- 1. ▲ A New Lens on Multi-GPU Comms: API-Level Memory Models for Portable Optimization (arxiv.org)
- 2. ▲ Understanding Nvidia Grace-Blackwell Unified Memory Through Microbenchmarks (arxiv.org)
- 3. ▲ Architecting for HW Diversity: Meta's E2E Co-Design for AI Training on AMD GPUs (arxiv.org)
- 4. ▲ Introduction to Tensor Core Arithmetic (simonveitner.substack.com)
- 5. ▲ The Vermilion Experiment: Implementing a Lean Back End for Verus (proofsandintuitions.net)
- 6. ▲ Proving your kernel is right (ianbarber.blog)
- 7. ▲ Mobile Application GPU Optimization Guide (arm-software.github.io)
- 8. ▲ Ghidra + CBMC = Assembly Model Checker (philipzucker.com)
- 9. ▲ Dependently Sorted Syntax and its Semantics – Carlo Angiuli [video] (youtube.com)
- 10. ▲ Beyond Zero-Skipping: Redundancy-Aware Arch. and Systems for Efficient Inference [video] (youtube.com)