GPU Kernel Formal Verification
An in-depth examination of formal verification techniques applied to GPU kernels, addressing the complexities of ensuring correctness in parallel computing architectures.
Faculty & Researcher Profile
Jubi Taneja
Speaker at GPU MODE
Jubi Taneja is a speaker at GPU MODE, focusing on the formal verification of GPU kernels to ensure their correctness.
1standalone talk1total lecture1hrecorded
Intellectual Web & Academic Lineage · Jubi Taneja
1 connectionVerified alma mater degrees, faculty appointments, co-authors, doctoral lineage, and intellectual peers across the archive.
Standalone talks by Jubi Taneja
1Self-contained public lectures, keynote addresses, and research seminars.