We just bought a company. Why? Because vulnerability scanning is fundamentally broken. And I’m tired of pretending it’s fine. We acquired Coana, the best reachability analysis engine on the planet.

Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...

Huge congratulations to prof. Lars Birkedal & co-authors for winning the #TestofTime Award at #POPL2025 🎉Their groundbreaking work in 𝘐𝘳𝘪𝘴: 𝘔𝘰𝘯𝘰𝘪𝘥𝘴 & 𝘐𝘯𝘷𝘢𝘳𝘪𝘢𝘯𝘵𝘴 𝘢𝘴 𝘢𝘯 𝘖𝘳𝘵𝘩𝘰𝘨𝘰𝘯𝘢𝘭 𝘉𝘢𝘴𝘪𝘴 𝘧𝘰𝘳 𝘊𝘰𝘯𝘤𝘶𝘳𝘳𝘦𝘯𝘵 𝘙𝘦𝘢𝘴𝘰𝘯𝘪𝘯𝘨 has shaped how we reason about concurrency ➡️ cs.au.dk/news-events/... #lastingimpact

@andersmoeller.bsky.social and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/NVnzjcmbshoL...

Reminder that we are hiring TT Assistant Profs and Assoc Profs broadly in CS. Expect to hire 4 candidates. Send your application by Jan 13 and join my amazing colleagues and I. cs.au.dk/about-us/vac...