Evidence and verification · SCORED '26
Research programme · STUDIO HAZE
Core Semantic Kernel
Meaning in programs. Evidence for decisions.
CSK studies how languages express intent, how decisions carry checkable evidence, and how complex work is coordinated. Our research takes the form of papers and working software.
From a paper to an implementation
Studies with public implementations linked in the publication record. The research library holds the complete collection.
Languages · LMPL 2026
Making Excluded Capabilities Observable at a Receiving DSL Boundary
Read the paperPublic implementation
TopazSoftware from the research programme
Languages, code analysis and coordination. Go directly to each system’s official site.