Pith. sign in

2020.Semantics of Probabilistic Programming: A Gentle Introduction

Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen · 2020 · Cambridge University Press eBooks · DOI 10.1017/9781108770750.002

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

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

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 41

    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.