Programming Group
@prg-grp.bsky.social
Programming Group at the University of St. Gallen - School of Computer Science
Prof. Guido Salvaneschi
https://programming-group.com
Prof. Guido Salvaneschi
https://programming-group.com
Reposted by Programming Group
Excited to introduce TerraDS, the first large-scale dataset of Terraform (by @hashicorp.com) configurations written in HCL, sourced exclusively from open-source repositories with permissive licenses to support reproducible research and tool development.
April 26, 2025 at 3:08 PM
Excited to introduce TerraDS, the first large-scale dataset of Terraform (by @hashicorp.com) configurations written in HCL, sourced exclusively from open-source repositories with permissive licenses to support reproducible research and tool development.
Reposted by Programming Group
Excited for #icse2025 / MSR 2025 next week. I’ll be presenting our poster @ Monday, 1pm in the poster area and give the talk about TerraDS (programming-group.com/assets/pdf/p...) on Tuesday @ 11:30am in room 215.
Happy to talk to you about Infrastructure as Code!
Happy to talk to you about Infrastructure as Code!
programming-group.com
April 24, 2025 at 11:02 AM
Excited for #icse2025 / MSR 2025 next week. I’ll be presenting our poster @ Monday, 1pm in the poster area and give the talk about TerraDS (programming-group.com/assets/pdf/p...) on Tuesday @ 11:30am in room 215.
Happy to talk to you about Infrastructure as Code!
Happy to talk to you about Infrastructure as Code!
Reposted by Programming Group
Today was the OpenDay at HSG!
Our group focused on increasing awareness for cybersecurity, privacy, and cloud services, and introducing people to programming using robots. It was great!
Ah, I did also embarrass myself in an interview... Thanks @spdavid.bsky.social for the heavy lifting there!
Our group focused on increasing awareness for cybersecurity, privacy, and cloud services, and introducing people to programming using robots. It was great!
Ah, I did also embarrass myself in an interview... Thanks @spdavid.bsky.social for the heavy lifting there!
February 22, 2025 at 7:26 PM
Today was the OpenDay at HSG!
Our group focused on increasing awareness for cybersecurity, privacy, and cloud services, and introducing people to programming using robots. It was great!
Ah, I did also embarrass myself in an interview... Thanks @spdavid.bsky.social for the heavy lifting there!
Our group focused on increasing awareness for cybersecurity, privacy, and cloud services, and introducing people to programming using robots. It was great!
Ah, I did also embarrass myself in an interview... Thanks @spdavid.bsky.social for the heavy lifting there!
Reposted by Programming Group
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 Programming Group
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
January 21, 2025 at 6:33 PM
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
Reposted by Programming Group
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
January 21, 2025 at 6:33 PM
In my talk I hope to convince you that disequalities deserve some love too.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
I'll show, not one, not two, but three (four in the paper) ways to extend your e-graphs to support them. I'll show you which tools use what, and I'll tell you which is better.
Reposted by Programming Group
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:32 PM
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 🧵⬇️