Bow-Yaw Wang
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Depeng Liuonce
- Fei Heonce
- Lijun Zhangonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verifying Pufferfish Privacy in Hidden Markov Models | VMCAI 2022 | 2022-01-16 |
Proposes encoding discrete privacy mechanisms as hidden Markov models and reduces Pufferfish verification to SMT solving, proving the decision problem NP-hard… | ||
| Incremental Predicate Analysis for Regression Verification | OOPSLA 2020 | 2020-11-15 |
Implements an end-to-end regression-verification pipeline on CPAchecker that reuses assertion annotations across revisions: a CFA Diff based on similarity… | ||
| nothing matches | ||