Akos Hajdu
where else to find them
no profile links on file
what they talk about
where they keep going back
on a stage with
all 18 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Welcome | Erlang 2026 | 2026-08-24 |
Welcome message outlines the workshop logistics and outcomes: 11 submissions were received, program and steering committees get thanked, sponsors helped bring… | ||
| 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… | ||
| Closing Remarks | Erlang 2025 | 2025-10-12 |
Brief closing that thanks authors presenters and attendees and acknowledges the ICFP organizers while naming sponsors Airline Ecosystem Foundation Ericson Dash… | ||
| Welcome to Erlang’25 | Erlang 2025 | 2025-10-12 |
Workshop opens with concrete counts and a packed schedule: eight submissions, five accepted, and three projected. Sessions present mechanized formal semantics… | ||
| Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health | SOAP 2025 | 2025-06-16 |
Compositional static callgraph reachability, implemented as an Infer static analyzer checker with Java annotations and regex specs plus source/sync… | ||
| 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 | ||