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

This is not React based, but it has been quite influential and used outside academia:
people.seas.harvard.edu/~chong/pubs/...

Guilty, indeed :) My take is that the industry has adopted some ideas or inspiration from academia (or perhaps independently reinvented them). However, without cutting on other aspects of the design, this has ultimately increased complexity rather than reducing it

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/

Travel Support - ICSE 2025 ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in Ottawa. Core conference days will be Wednesd...

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