Michele Pasqua
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 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Closing | NSAD 2024 | 2024-10-22 |
NSAD 2024 closes with proceedings published by ACM SIGPLAN and an announcement that Splash 2025 takes place in Singapore. A community Zulip server for apps… | ||
| Domain Precision in Galois Connection-less Abstract Interpretation | SAS 2023 | 2023-10-22 |
Shows that completeness of an abstract interpretation is equivalent to abstract non‑interference, letting completeness be checked as a hyperproperty of the… | ||
| nothing matches | ||