Anders Møller
@andersmoeller.bsky.social
Professor at Aarhus University
https://cs.au.dk/~amoeller
https://cs.au.dk/~amoeller
Reposted by Anders Møller
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.
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"
www.forbes.com
April 23, 2025 at 2:06 PM
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.
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-...
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
April 23, 2025 at 12:41 PM
Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...
Reposted by Anders Møller
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
January 24, 2025 at 8:12 AM
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
Reposted by Anders Møller
@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...
forms.gle
December 23, 2024 at 8:43 PM
@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...
Reposted by Anders Møller
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...
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
November 21, 2024 at 7:20 PM
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...
cs.au.dk/about-us/vac...