Programming Group

Prof. Dr. Guido Salvaneschi

Prof. Dr. Guido Salvaneschi
Head of the Programming Group
guido.salvaneschi@unisg.ch

School of Computer Science
Office 64-114
Torstrasse 25
9000 St. Gallen, Switzerland

“Where should I go?” – Alice.
“That depends on where you want to end up.” – The Cheshire Cat.
— Lewis Carroll

Welcome to the Programming Group! We are part of the Institute of Computer Science (ICS) at the University of St. Gallen (HSG). Together we enjoy working on Programming Languages and Software Engineering, including languages and architectures for Distributed Systems, Reactive Programming, DevOps Organizations, and Secure Software Systems.

Talk to us or join our group when you are interested in these topics or our work. Students at the University of St. Gallen, please find our courses, theses, and jobs.

News

Nov 2024 Our paper ‘Dis/Equality Graphs’ accepted at POPL 2025, research track 🎉 Preprint coming soon.
Nov 2024 New accepted project! HORIZON-RIA: European Open Compute Architecture for Powerful Edge.
Nov 2024 MSc Alexander Städing joined our group 👋
Sep 2024 Our paper on Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications with ConSysT has been accepted for publication at the TSE journal 🎉
Sep 2024 We are at ECOOP ‘24 📣 PhD Pascal Weisenburger will be accepting his Distinguished Paper Award for Compiling with Arrays. See you in Austria 🇦🇹
Jul 2024 MSc Christoph Bühler joined our group 👋
Jun 2024 We have plenty of contributions at PLDI ‘24 📣 MSc George Zakhour will present Automated Verification of Fundamental Algebraic Laws in the PLDI main track and Disequalities in E-Graphs: An Experiment in the EGRAPHS workshop. PhD Pascal Weisenburger will present Exploring Algebraic Placement in Multiparty Languages in the Choreographic Programming workshop. See you in Denmark 🇩🇰
May 2024 MSc Jahrim Gabriele Cesario joined our group as a PhD student 👋
Apr 2024 MSc Daniel Sokolowski successfully defended his PhD. Congratulations Daniel! 🥂🧑‍🎓
Apr 2024 Our paper on Automated Infrastructure as Code Program Testing with ProTI has been accepted as a journal first paper at the TSE journal 🎉

Projects

Support

HORIZON-RIA: European Open Compute Architecture for Powerful Edge

HORIZON-RIA: European Open Compute Architecture for Powerful Edge

A future proof, powerful edge-cloud computing infrastructure, allowing European enterprises to keep control of the processing and management of their data and AI locally and enabling them to easily create a seamless computing experience stretching from edge to cloud.