Introduces random bit recycling for linear-time uniform generation of fixed-Hamming-weight binary words with near-Shannon-entropy random bit consumption.
Journal of the ACM (JACM)60(3), pp
2 Pith papers cite this work, alongside 19 external citations. Polarity classification is still indexing.
2
Pith papers citing it
19
external citations · external index
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Defines formal semantics for C with OpenMP directives extending CompCert, with a guarantee that successful executions are race-free.
citing papers explorer
-
Entropic Generation of Binary Words
Introduces random bit recycling for linear-time uniform generation of fixed-Hamming-weight binary words with near-Shannon-entropy random bit consumption.
-
A Formal Semantics of C with OpenMP Parallelism (Extended Version)
Defines formal semantics for C with OpenMP directives extending CompCert, with a guarantee that successful executions are race-free.