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.

Socket Acquires Coana To Build Out Its SCA Capabilities

Better analysis of open-source software is vital to help developers close the door on cyber attacks and breaches, but this also creates the danger of "alert fatigue"

forbes.com

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

Socket Acquires Coana to Bring Reachability Analysis to Ever...

Socket is bringing best-in-class reachability analysis into the platform — cutting false positives, accelerating triage, and cementing our place as th...

socket.dev

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...

Aarhus University is hiring Assistant and Associate Professors to contribute to the future of the Department of Computer Science - Vacancy at Aarhus University

Vacancy at Computer Science, Dept. of, Aarhus University

cs.au.dk