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

Apr 2024 Our paper on the Automated Verification of Fundamental Algebraic Laws with Propel has been conditionally 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 🎉
Sep 2023 At the Global Cyber Conference 2023 in Zurich, Prof. Dr. Guido Salvaneschi will give a keynote on the Global Cybersecurity Threat Landscape in the Age of AI 🔐⛰️ and discuss with MSc Daniel Sokolowski and MSc David Spielmann How AI Is Changing the Security of Software Systems 🏨
Aug 2023 Paper Stateful Entities: Object-oriented Cloud Applications as Distributed Dataflows is accepted at EDBT (Vision Paper) 📣

Projects

Support