Sign in

Guido Salvaneschi

@guidosalva.bsky.social
135 followers 143 following 6 posts

Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity

PostsRepliesMedia
Guido Salvaneschi @guidosalva.bsky.social · 07/03/2025
"IaC tools are becoming increasingly complex as they shoulder a growing share of the security burden."
030
Guido Salvaneschi @guidosalva.bsky.social · 17/02/2025
New Horizon project! We will work on Infrastructure as Code, contributing to European Digital Sovereignty for a European, green cloud-computing infrastructure.
083
Guido Salvaneschi @guidosalva.bsky.social · 26/01/2025
This is not React based, but it has been quite influential and used outside academia: people.seas.harvard.edu/~chong/pubs/...
people.seas.harvard.edu
120
Guido Salvaneschi @guidosalva.bsky.social · 26/01/2025
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
120
Reposted by Guido Salvaneschi
Loris D'Antoni @lorisdanto.bsky.social · 23/01/2025
Here's the talk. I hope you enjoy it www.youtube.com/watch?v=rwfY...
youtube.com
[POPL'25] Marco Polo - POPL II (22nd Jan)
YouTube video by ACM SIGPLAN
0226
Reposted by Guido Salvaneschi
Manuel Rigger @mrigger.bsky.social · 21/01/2025
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
1149
Guido Salvaneschi @guidosalva.bsky.social · 21/01/2025
The presentation of our work on dis/equality graphs at POPL is this Thursday. Congrats @grgzkhr.bsky.social @jahrim.bsky.social and Pascal! #POPL
050
Reposted by Guido Salvaneschi
Sung Kim @sungkim.bsky.social · 20/01/2025
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
27724
Reposted by Guido Salvaneschi
Shriram Krishnamurthi @shriram.bsky.social · 18/01/2025
Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you're attending! pliss.org/2025/
pliss.org
PLISS 2025: Home
2328
Reposted by Guido Salvaneschi
International Conference on Software Engineering @icseconf.bsky.social · 18/01/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...
conf.researchr.org
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...
012
Guido Salvaneschi @guidosalva.bsky.social · 19/01/2025
On my way to POPL2025 www.sigplan.org/Conferences/...
sigplan.org
Principles of Programming Languages (POPL)
020