Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization. - Anders Møller; Oskar Haarklou Veileborg (Proc. ACM Program. Lang., 2020)

Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. - Oskar Haarklou Veileborg; Georgian-Vlad Saioc; Anders Møller (ASE, 2022)