Group Meeting 4

Abstract

In this group meeting, Hao Wu presented his work on GPU memory safety. He surveyed memory safety analysis in three parts: static methods (abstract interpretation, lattices, fixpoint, widening/narrowing), dynamic methods on CPU (shadow memory, ASan/MSan encoding, quarantine), and GPU sanitizers (GPUVerify, compute-sanitizer, ASan GPU, cuCatch, GPUShield, Let-Me-In, Triton-Sanitizer).

Hao Wu

2024 Spring -

My research interests lies in tools for Machine Learning Workloads, including profilers for ML, compilers for ML and program analysis tool for AI compiler.