"IaC tools are becoming increasingly complex as they shoulder a growing share of the security burden."

New Horizon project! We will work on Infrastructure as Code, contributing to European Digital Sovereignty for a European, green cloud-computing infrastructure.

Here's the talk. I hope you enjoy it www.youtube.com/watch?v=rwfY...

We will hold the Fuzzing and Software Security Summer School 2025 in Singapore from May 26 to 30. Please consider registering or sharing the info with anyone you think would be interested. Registration will be open until 16 Feb. fuzzing.comp.nus.edu.sg @abhikrc.bsky.social @umathur.bsky.social

The presentation of our work on dis/equality graphs at POPL is this Thursday. Congrats @grgzkhr.bsky.social @jahrim.bsky.social and Pascal! #POPL

DeepSeek-R1! ⚡ Performance on par with OpenAI-o1 📖 Fully open-weight model & technical report 🏆 MIT licensed: Distill & commercialize freely! 🌐 Website & API are live now! Demo: chat.deepseek.com Models: huggingface.co/deepseek-ai

Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you're attending! pliss.org/2025/

Attendees at #icse2025 may consider applying for an ACM-W (ACM Women) scholarship to cover some travel costs. We have added a link to this to our travel support page. If we are notified of any other travel support possibilities, they will also be added. conf.researchr.org/attending/ic...

On my way to POPL2025 www.sigplan.org/Conferences/...