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) 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, 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 HSG or TU Darmstadt, please find our courses, theses, and jobs.

News

May 2022 The artifact 📦 of our Essential Safety paper received a Best Artifact Award at ICSE ‘22 👑
May 2022 Our work on XC has been accepted at ECOOP’22 🎉 Preprint following soon!
May 2022 Our work on Prisma has been accepted at ECOOP’22 🎉 Preprint following soon!
Feb 2022 After being part of the School of Computer Science since 2020, we now joined also the Institute of Computer Science (ICS) of the University of St. Gallen 🏫
Dec 2021 We gave an invited talk “Towards Democratizing Secure Enclave Programming” at PAVeTrust ‘21. Resources available now: Paper
Dec 2021 Our work on safe dynamic updates for workflows is accepted at ICSE ‘22: preprint 📣🎉
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.

Projects

Support