Evidence and verification · SCORED '26
Research programme · STUDIO HAZE
From program representation to new ways of generating code.
CSK centers its research on CodeImage, exploring how programs can be represented as images and how their connected structures can be generated and refined together. Our work on languages, evidence and coordination continues alongside this focus.
CodeImage
Program Representation and Generation
We are preparing three papers on CodeImage, covering visual program representation, joint generation and refinement of connected structures, and evaluation through program behavior. The existing image format and deterministic recovery path provide the foundation for this work.
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.