"INTERLEAVE team on IBM Bob 2.0 hackathon Hackathon"

Team Idea

Building INTERLEAVE, a Bob-native developer workflow for concurrency failures that ordinary tests often miss. INTERLEAVE systematically explores execution orderings, turns rare nondeterministic failures into deterministic replayable evidence, and gives IBM Bob a precise failing witness to investigate and repair. The same frozen witness is then replayed against the fix, so verification comes from executable evidence rather than AI judgment. Focus: debugging, testing, and reliability for concurrent software. Solo team; not recruiting.

Team Members

Kashyapsinh Gohil

Kahsyapsinh_Gohil

Submission

Interleave: Concurrency Replay

Interleave is a Bob-built .NET prototype that uses Microsoft Coyote to expose and replay a Last Seat race, giving developers a repeatable artifact for investigating concurrent failures.