What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Jan Reineke

A grouping.

Jan Reineke, Saarland: speculation contracts and leak detection - Spectector, compositional semantics for speculative leaks, and coverage-guided pre-silicon fuzzing of open-source processors.