Jan Reineke

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Inference & Quantization (1)

Frequent co-authors

Xaver Fabian (1)Marco Guarnieri (1)Boris Köpf (1)Jose F. Morales (1)

Papers (1)

Mar 31, 2026

Xaver Fabian +61d ago

Detecting speculative leaks with compositional semantics

Formalizing speculative execution vulnerabilities with compositional semantics allows for automated detection and verification, moving beyond ad-hoc countermeasures.

Xaver Fabian, Marco Guarnieri, Boris Köpf +4

Architecture Design (Transformers, SSMs, MoE)Inference & Quantization

Search

Jan Reineke

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)