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 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.


Dec 2021 We gave an invited talk “Towards Democratizing Secure Enclave Programming” at PAVeTrust ‘21.
Dec 2021 Our work on safe dynamic updates for workflows is accepted at ICSE ‘22 📣🎉
Nov 2021 MSc Daniel Sokolowski left TU Darmstadt 🇩🇪 and continues his PhD with us in St. Gallen 🇨🇭
Oct 2021 We presented JE at SecDev ‘21. Resources available now: paper
Aug 2021 Our recent work on µs was presented at FSE ‘21. Resources available now: paper, talk 📣
Aug 2021 Our paper “Enclave-Based Secure Programming with JE” got accepted at SecDev ‘21.
Aug 2021 MSc George Zakhour joined our group as a PhD student. Welcome to the team, George! 👋
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 📰
May 2021 Our paper “Language Support for Secure Software Development with Enclaves” got accepted at CSF ‘21.