Symbolic Locality Workbench

DMD Playground

Submit loop-tree DSL programs, run bounded symbolic analysis jobs, and inspect RI, RD, and DMD formulas without dragging MLIR into the flow.

Sandbox Queued + Timed
Solver Barvinok / ISL
Focus RI, RD, DMD

Program

Loop-Tree DSL

Cmd/Ctrl+Enter submits the current program. Highlighting mirrors the `dmd-core` lexer and grammar.

Loading Monaco

Syntax Landmarks

  • params declares symbolic extents.
  • array introduces tensor shapes.
  • parallel(T) for marks a loop for CRI modeling with a constant thread count.
  • for and if build the loop tree.
  • read, write, and update define accesses.

Execution Guardrails

  • Analyses run in bounded background tasks.
  • Operation caps and timeouts constrain solver work.
  • Task history stays visible so results can be revisited.
  • The editor falls back cleanly if Monaco cannot load.

Tasks

Idle

Symbolic Output

Submit a program to inspect RI, RD, and DMD.

The result panel renders distributions, warm-term decompositions, and the final symbolic formula once a sandboxed task completes.