Guido Salvaneschi
@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."
Managing secrets such as private keys, API tokens, and database credentials has always been one of the most challenging aspects of security. Despite improvements, secret leakage remains a major cause of breaches, and Infrastructure as Code (IaC) is no exception.
March 7, 2025 at 3:41 PM
"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.
As part of the project consortium, HSG researchers have received 750’000 Euros to ensure the secure and sustainable deployment of software applications in the cloud. @guidosalva.bsky.social Read more: unisg.link/puf
Horizon project: digital sovereignty and sustainable cloud computing for Europe
The CAPE project seeks to position Europe as a leader in green cloud-computing infrastructure. As part of the project consortium, a team at the University of St.Gallen (HSG) has received 750’000 Euros...
unisg.link
February 17, 2025 at 10:54 AM
New Horizon project! We will work on Infrastructure as Code, contributing to European Digital Sovereignty for a European, green cloud-computing infrastructure.
Reposted by Guido Salvaneschi
Here's the talk. I hope you enjoy it
www.youtube.com/watch?v=rwfY...
www.youtube.com/watch?v=rwfY...
January 23, 2025 at 3:55 PM
Here's the talk. I hope you enjoy it
www.youtube.com/watch?v=rwfY...
www.youtube.com/watch?v=rwfY...
Reposted by Guido Salvaneschi
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
January 21, 2025 at 3:39 PM
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
#POPL
I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo.
If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️
If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️
January 21, 2025 at 6:41 PM
The presentation of our work on dis/equality graphs at POPL is this Thursday. Congrats @grgzkhr.bsky.social @jahrim.bsky.social and Pascal!
#POPL
#POPL
Reposted by Guido Salvaneschi
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
⚡ 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
January 20, 2025 at 3:12 PM
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
⚡ 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
Reposted by Guido Salvaneschi
Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you're attending!
pliss.org/2025/
pliss.org/2025/
PLISS 2025: Home
pliss.org
January 18, 2025 at 5:57 PM
Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you're attending!
pliss.org/2025/
pliss.org/2025/
Reposted by Guido Salvaneschi
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...
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...
conf.researchr.org
January 18, 2025 at 6:50 PM
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...