Vincent surgery
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Decoupling the Ascending and Descending Phases in Abstract Interpretation | APLAS 2022 | 2022-12-05 |
Decouple the ascending (widening) and descending (narrowing) phases by transfer fixed point to D: compute a fast widening fixpoint on A, map that post‑widening… | ||
| nothing matches | ||