Proving Kernels Correct Instead of Testing Them
A technical talk exploring formal methods for verifying the correctness of GPU kernels, presenting an alternative to traditional testing paradigms in high-performance computing.
Faculty & Researcher Profile
Ben Koska
Speaker at GPU MODE
Ben Koska is a speaker at GPU MODE, focusing on formal verification methods for GPU kernels rather than traditional testing.
1standalone talk1total lecture1hrecorded
Intellectual Web & Academic Lineage · Ben Koska
1 connectionVerified alma mater degrees, faculty appointments, co-authors, doctoral lineage, and intellectual peers across the archive.
Standalone talks by Ben Koska
1Self-contained public lectures, keynote addresses, and research seminars.