Håvard Krogstie's first paper received the distinguished paper award at CGO 2026 in Sydney.

PIP is the first points-to analysis that's both sound and practical for incomplete C programs.

If you want to read the paper, then you can access it here http://www.sjalander.com/research/pdf/sjalander-cgo2026-pip.pdf