Tim Pohlmann
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 1 in the filters
on a stage with
never shared a talk
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Symbolic Execution Explained: Finding Bugs in Complex Code Paths | Sonar Summit 2026 | 2026-03-03 |
Sonar’s static analyzer uses symbolic execution to simulate execution paths with symbolic ranges (e.g., remainder 0..9 or -9..0) and flags contradictions; it… | ||
| nothing matches | ||