Detecting speculative leaks with compositional semantics - Technical Report

20260 citationsreportgreen Open Access

Authors

Xaver Fabian · University of Trento

Marco Guarnieri · IMDEA Software Institute

Boris Köpf · Microsoft (Germany)

Jose F. Morales · IMDEA Software Institute

Marco Patrignani · University of Trento

Jan Reineke · Saarland University

Andres Sanchez ·

Abstract

This technical report contains the complete formal definitions, auxiliary lemmas, and full proofs accompanying the paper "Detecting Speculative Leaks with Compositional Semantics."

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19360567

Command Palette

Detecting speculative leaks with compositional semantics - Technical Report

Authors

Abstract

Topics & Keywords

Publication Details