4 citations · 6 across the 3 of their papers we have counts for
3 papers
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version
Victor Cacciari Miraldo, Harold Carr, Mark Moir +2
Authenticated Append-Only Skiplists (AAOSLs) enable maintenance and querying of an authenticated log (such as a blockchain) without requiring any single party to store or verify th…
Using Butterfly-Patterned Partial Sums to Optimize GPU Memory Accesses for Drawing from Discrete Distributions
Guy L. Steele, Jean-Baptiste Tristan
We describe a technique for drawing values from discrete distributions, such as sampling from the random variables of a mixture model, that avoids computing a complete table of par…
Augur: a Modeling Language for Data-Parallel Probabilistic Inference
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti +3
It is time-consuming and error-prone to implement inference procedures for each new probabilistic model. Probabilistic programming addresses this problem by allowing a user to spec…