Programming Group

Prof. Dr. Guido Salvaneschi

Prof. Dr. Guido Salvaneschi
Head of the Programming Group

School of Computer Science 33-507
Rosenbergstrasse 51
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 located at the University of St. Gallen (HSG) and have a branch at the Technical University of Darmstadt. Together we enjoy working on Programming Languages and Software Engineering, including languages and architectures for Distributed Systems, Reactive Programming, and Secure Software Systems.

Talk to us or join our group when you are interested in these topics or our work. Students at HSG or TU Darmstadt, please find our courses, theses, and HiWi offerings.


Jun 2021 Our paper on Multiparty Languages will receive a Distinguished Paper Award at ECOOP ‘21 🏅
Jun 2021 Our ESEC/FSE ‘21 paper “Automating Serverless Deployments for DevOps Organizations” got accepted: preprint 📰
Jun 2021 MSc George Zakhour will join our group as a PhD student starting from August. Welcome to the team, George! 👋
May 2021 Our paper “Language Support for Secure Software Development with Enclaves” got accepted at CSF ‘21.
Apr 2021 Our ECOOP ‘21 pearl “Multiparty Languages: the Choreographic and Multitier Cases” – only studied independently so far – got accepted: preprint 📰
Mar 2021 Our project on multitier programming for the cloud has been funded with ~1M CHF by the Swiss National Science Foundation 🥳
Feb 2021 Our paper “The Wonderless Dataset for Serverless Computing” got accepted at MSR ‘21 data showcase.
Nov 2020 Our recent work on ConSysT was presented at OOPSLA ‘20. Resources available now: paper, talk 📣
Oct 2020 MSc Benyamin Delshad joined our group as a PhD student 👋
Sep 2020 We started our group at the University of St. Gallen. The announcement. Exciting times ahead 🚀