Skip to content
Trending storyDeveloping

SentryWard: open-source formal verifier for GPU kernels

1 article1 sourcesince Oct 16Last article 2h ago ·

Overview

AISummary of 1 article

Zhihao Jia and collaborators introduce SentryWard, an open-source tool that formally verifies GPU kernels against all possible execution schedules within a specified configuration.

The team says it detects deadlocks and data races, and that it can verify removal of unnecessary waits, yielding kernels up to 1.4× faster on NVIDIA B200 GPUs. The code is published at github.com/gpu-verifier/sentryward.

Written by AI from the articles below · updated Oct 16, 3:13 PM ET

Check the sources:

Latest developmentOct 16, 2:15 PM ET
Zhihao Jia introduces SentryWard, an open-source formal verifier for GPU kernels

Article timeline

The articles in this story. Times are ET.

Oct 16
  1. Zhihao JiaX
    Zhihao Jia introduces SentryWard, an open-source formal verifier for GPU kernels

    AIZhihao Jia and collaborators introduce SentryWard, an open-source tool that formally verifies GPU kernels against all possible execution schedules within a specified configuration. The team says it can detect deadlocks and data races, and it can also verify removal of unnecessary waits, yielding kernels up to 1.4× faster on NVIDIA B200 GPUs.

Heat trend

Not enough continuous observations to show a trend yet.