Matteo Marescotti
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Scaling Static Code Analysis Adoption at WhatsApp iOS | SOAP 2026 | 2026-06-16 |
WhatsApp iOS deploys Infer and Clang Static Analyzer across diffs and daily CI, reporting ~800 Infer issues (700 fixed, 86% fix rate) and ~2,400 Clang issues… | ||
| Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp | Infer 2024 | 2024-06-24 |
WhatsApp integrates Infer with FAUSTA-generated runs inside PrivacyCAT, extracts dbg call traces and converts them via a trace-to-model pipeline into Erlang… | ||
| InfERL: Scalable and Extensible Erlang Static Analysis | Erlang 2022 | 2022-09-11 |
InfERL is an open‑source Erlang front end built on Infer that compiles BEAM with preserved AST and runs pulse (reliability) and topple (temporal/taint)… | ||
| nothing matches | ||