3 citations · 4 across the 4 of their papers we have counts for
4 papers
Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees
Zhiming Chi, Lutan Zhao, Depeng Liu +8
Branch predictors improve instruction-level parallelism in modern processors and are commonly modeled using saturating counters. However, classical saturating counters are determin…
Defensive Design of Saturating Counters Based on Differential Privacy
Depeng Liu, Lutan Zhao, Pengfei Yang +4
The saturating counter is the basic module of the dynamic branch predictor, which involves the core technique to improve instruction level parallelism performance in modern process…
Verifying Pufferfish Privacy in Hidden Markov Models
Depeng Liu, Bow-yaw Wang, Lijun Zhang
Pufferfish is a Bayesian privacy framework for designing and analyzing privacy mechanisms. It refines differential privacy, the current gold standard in data privacy, by allowing e…
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation
Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang +1
We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop inv…