Linpeng Zhang
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
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Quantitative Weakest Hyper Pre | Incorrectness 2024 | 2024-01-17 |
A novel calculus defines a weakest hyper pre predicate transformer that predicts quantitative properties over initial sets or probability distributions for… | ||
| Quantitative strongest post: a calculus for reasoning about the flow of quantitative inform | OOPSLA 2022 | 2022-12-05 |
Presents a formal calculus that defines a quantitative strongest post and a strongest liberal post for nondeterministic programs with loops, where predicates… | ||
| nothing matches | ||