Pith. sign in

Title resolution pending

Sebastian Hunt, David Sands, Sandro Stucki · 2023 · Proceedings of the ACM on Programming Languages · DOI 10.1145/3571740

1 Pith paper cite this work, alongside 1 external citations. Polarity classification is still indexing.

1 Pith paper citing it
1 external citations · OpenAlex
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.PL 1

years

2026 1

verdicts

ACCEPT 1

representative citing papers

Mechanised operational semantics of Rowhammer

cs.PL · 2026-07-11 · accept · novelty 7.5

Under physical separation, every finite Rowhammer execution projects to the Dirac distribution of the ordinary deterministic run on protected memory, control and access traces, fully mechanised in Lean.

citing papers explorer

Showing 1 of 1 citing paper.

  • Mechanised operational semantics of Rowhammer cs.PL · 2026-07-11 · accept · full · ref 14

    Under physical separation, every finite Rowhammer execution projects to the Dirac distribution of the ordinary deterministic run on protected memory, control and access traces, fully mechanised in Lean.