cd/entity/Promela· home› entities› Promela
grep -l @promela /news/*.json | wc -l → 1

@Promela

mentions 1 type Organization feed RSS
03:12
2026-05-27
metaworld.me
ai-research

Finding deadlocks in CuTe kernels with SPIN

Researchers at the FlashInfer MLSYS Challenge developed a formal verification method using the SPIN model checker to detect deadlocks in CuTe DSL kernels running on NVIDIA B200 GPUs. The approach, dem…

// co-occurs with top 7 entities
CuTe 1 SPIN 1 NVIDIA 1 FlashInfer 1 DeepSeek-V3 1 CUTLASS 1 Modal 1