Programming Group

Prof. Dr. Guido Salvaneschi

Prof. Dr. Guido Salvaneschi
Head of the Programming Group

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.


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 🎉
Apr 2024 SNF supports our project ‘Consistency Programming for Local First Software’ with 1M CHF! Lots of cool stuff ahead including abstractions for local-first software, CRDTs, consistency levels, verification of replicated data structures, and privacy-preserving data pods.
Apr 2024 Our paper on the Automated Verification of Fundamental Algebraic Laws with Propel has been accepted at PLDI ‘24 📣
Apr 2024 We are at MSR ‘24 and ICSE ‘24 in Lisbon, Portugal 🇵🇹, where MSc Daniel Sokolowski will present our PIPr Dataset of Public Infrastructure as Code Programs and the poster Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code 🗣️
Feb 2024 The book on Active Object Languages: Current Research Trends with our chapter Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems is out 📣📕
Jan 2024 Our paper on The PIPr Dataset of Public Infrastructure as Code Programs has been accepted at the tools and datasets track at MSR ‘24 🎉
Jan 2024 Prof. Dr. Guido Salvaneschi and MSc Daniel Sokolowski presented ProTI in Infrastructure as Code Programs: How to Test, Finally at the Voxxed Days Ticino 🗣️📊
Jan 2024 MSc George Zakhour will present Propel in a keynote at the Swiss Verification Day 🗣️✔️
Oct 2023 We have plenty of contributions at SPLASH ‘23 📣 MSc George Zakhour will present how to perform Type-Safe Dynamic Placement with First-Class Placed Values 📍 in the OOPSLA main track. MSc George Zakhour and MSc Mirko Köhler will present their work on Type-Checking CRDTs with Propel and Safe Combination of Data-centric and Operation-centric Consistency in the context of local-first software at PLF 📲. MSc Daniel Sokolowski will talk about the Creed for Speed: Comprehensive Infrastructure as Code Testing 🏎️ at CONFLANG. And we will present posters on Extensible Testing for Infrastructure as Code and Safe Combination of Data-Centric and Operation-Centric Consistency. See you in Portugal 🇵🇹👋
Sep 2023 Our work on Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications has been published in TOPLAS 🎉