28 citations · 28 across the 9 of their papers we have counts for
4 papers · 1 filter
Bao: Automatic Region Placement and Memory Allocation for Intermittent Computing
Byeongjee Kang, Jan Hoffmann, Limin Jia +2
Intermittent computing enables batteryless embedded devices to operate in harsh environment, but frequent power failures interrupt program execution and require careful management…
GradInf: Gradient Estimation as Probabilistic Inference
Gaurav Arya, Mathieu Huot, Moritz Schauer +2
Gradient estimation -- the task of computing the gradient of the expected value of a probabilistic program -- has diverse applications in scientific computing, but is notoriously d…
Analyzing Decoders for Quantum Error Correction
Abtin Molavi, Feras Saad, Aws Albarghouthi
Quantum error correction (QEC) enables reliable computation on noisy hardware by encoding logical information across many physical qubits and periodically measuring parities to det…
Random Variate Generation with Formal Guarantees
Feras A. Saad, Wonyeol Lee
This article introduces a new approach to principled and practical random variate generation with formal guarantees. The key idea is to first specify the desired probability distri…