O. Bringmann

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)

Frequent co-authors

David Knothe (1)David Knothe (1)Oliver Bringmann (1)

Papers (1)

Feb 23, 2026

David Knothe +33w ago

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations

Achieve verified loop optimizations by cleverly combining small-step and big-step semantics, enabling transformations like full loop unrolling within the CompCert compiler.

David Knothe, David Knothe, O. Bringmann +1

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis

Search

O. Bringmann

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)