Writing

Selected writing on code intelligence, static analysis, coding agents, and earlier program-analysis research.

Most of my current writing appears on the Brokk blog. This page is a curated index rather than a separate personal blog.

Recent writing at Brokk

See all posts on the Brokk blog or subscribe to its RSS feed.

Earlier writing

Learning Type Inference for Enhanced Dataflow Analysis

A practical introduction to the CodeTIDAL5 and JoernTI work behind our 2023 ESORICS paper, connecting learned type inference to more precise data-flow analysis.

My older Medium archive documents an earlier period of work focused heavily on code property graphs and graph-database backends. I keep it available as historical context rather than a statement of my current focus.