@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
"IaC tools are becoming increasingly complex as they shoulder a growing share of the security burden."
07.03.2025 15:41 — 👍 3 🔁 0 💬 0 📌 0New Horizon project! We will work on Infrastructure as Code, contributing to European Digital Sovereignty for a European, green cloud-computing infrastructure.
17.02.2025 10:54 — 👍 8 🔁 3 💬 0 📌 0This 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
26.01.2025 20:45 — 👍 2 🔁 0 💬 1 📌 0Here'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
21.01.2025 15:39 — 👍 14 🔁 9 💬 1 📌 1The 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...
18.01.2025 18:50 — 👍 1 🔁 2 💬 0 📌 0On my way to POPL2025
www.sigplan.org/Conferences/...
