🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

We recently added support for fixing npm dependency vulnerabilities to the Coana VSCode Extension. Check it out here marketplace.visualstudio.com/items?itemName…

Anders Møller (Anders Møller) on "Dependencies Everywhere". #Dagstuhl

Thanks to Amazon Science for supporting my research on JavaScript program analysis! #AmazonResearchAwards 🥳

We're hiring! At Coana, we are looking for a talented Full Stack Engineer who wants to help us build tools that developers love 💜 Could this be you or someone you know? Reach out and let's chat. lnkd.in/eMJQWwm7

Exciting week with amazing researchers in IFIP WG2.4 🤩 sites.google.com/view/ifip-wg-2…

Coana: one of 20 Nordic startups to watch, according to investors 🤩

🏆AARHUS UNIVERSITY - WORLD LEADER IN COMPUTER SCIENCE🏆 CS Rankings have ranked Aarhus University's Cryptography department 2nd in the WORLD!! As well as a 12th place worldwide ranking for Programming Languages and 31st for Algorithms 🙌 csrankings.org/#/index?crypt&…

Oskar Haarklou Veileborg explains what real AI can be used for, at his successful PhD defense today. Congratulations, Oskar! 👏🍾🏆Oskar Veileborg Computer Science at Aarhus University

We're hiring! Department of CS at Aarhus University has open Assistant/Associate Professor positions. Applicants within all areas of CS are welcome, including Programming Languages, Software Engineering, Logic and Semantics cs.au.dk/about-us/vacan…

I am honored to be among the new ACM Distinguished members, "for outstanding contributions in static and dynamic program analysis" 😀 acm.org/media-center/2…

From basic research in program analysis to Sequoia-funded startup😎 coana.tech/resources/arti…

Lecturers of the 3rd Summer School on Security Testing and Verification (ST&V 2024), organised Sep 9-10-11 by SoftwareLanguagesLab and DistriNet at the VUB campus in Belgium, have confirmed. Early birds should register by July 21st! cybersecurity-research.be/summer-school-…

Only 3 weeks until early bird registration deadline of 3rd Summer School on Security Testing & Verification. Don't miss the opportunity to learn from experts such as Peter Müller, Anders Møller, Michele Pasqua, Sébastien Bardin, and Cas Cremers @ Brussels! cybersecurity-research.be/summer-school-…

A peculiar trend: Why do so many authors like to use the word 'Demystifing' in the titles of their papers these days? (screenshot from DBLP)

Open positions at Aarhus University 🏆 cs.au.dk/about-us/vacan…

Anders Møller 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/bhnrKuAqJEKFGm…

Coana has been acquired by Socket! 🤩

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. The whole vuln industry is addicted to quantity over quality. More alerts, more