Vincenzo Arceri
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 3 in the filters
on a stage with
- Agostino Cortesionce
- Enea Zaffanellaonce
- Greta Dolcettionce
all 6 in the filters
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… | ||
| Unconstrained Variable Oracles for Faster Static Analyses | SAS 2023 | 2023-10-22 |
Proposes a lightweight pre-analysis that marks variables likely to be unconstrained and rewrites their assignments to nondeterministic havoc in the Crab IR… | ||
| Relational String Abstract Domains | VMCAI 2022 | 2022-01-16 |
Defines a constructive framework that turns any pre/partial string order into a relational abstract domain, instantiates it for substring, character inclusion… | ||
| nothing matches | ||