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.

MSc Nafise Eskandani

BA Quentin Gigon

BA Alex Paolo Marchese

MSc Mirko Köhler

MSc Daniel Sokolowski

MSc David Spielmann

Dr. Pascal Weisenburger

MSc George Zakhour

News

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) 📣
Jul 2023	We welcome Linda Vitali from the University of Bologna as visiting Master’s student this summer! 👋
Jun 2023	Try the Propel project online now on its new website propel-prover.github.io 👩‍💻
May 2023	MSc David Spielmann joined our group as a PhD student 👋
Apr 2023	Our paper on Type-Checking CRDT Convergence has been accepted at PLDI ‘23 🎉
Feb 2023	Our vision Towards Reliable Infrastructure as Code 👀 is part of the Foundations of Infrastructure Specification and Testing (FIST) workshop at ICSA ‘23 in l’Aquila, Italy 🇮🇹
Dec 2022	Our study on The Uphill Journey of FaaS in the Open-source Community is accepted at JSS 📣

Projects

Type-checking for CRDTs, tracking algebraic properties in types.

Automated unit testing of Infrastructure as Code programs.

Safe mixing of consistency levels for replicated objects.

Infrastructure as Code for decentralized deployment automation.

MetaverCE: A demonstration of Cloud Engineering in the Metaverse.

J_E

Language-level abstractions for secure programming with Trusted Execution Environments.

A programming language for distributed applications.

Advanced functional reactive programming for the JVM and the Web.

Support

Multitier Programming above the Clouds

SNF project. Multitier programming for heterogeneous platforms and devices, the cloud, mobile applications, Internet of Things (IoT) software, and Big Data processing stacks.

International Postdoctoral Fellowship

Fellowship support for Dr. Pascal Weisenburger, supporting his research on multitier programming languages.

DFG SFB. Cryptography-Based Security Solutions. Secure cryptography-based software for next generation computing environments.

LOEWE project. Emergency Responsive Digital Cities: Resilient software infrastructures to protect smart cities from disasters.

completed

National center for applied cybersecurity. Mission: Decentralized Cybersecurity. Application-oriented cybersecurity for business, society and government.

completed

Distributed Systems Development with MT and RP

DFG Individual Research Program. Distributed Systems Development with Multitier Reactive Programming. High-level language abstractions for developing distributed software systems.

completed

MAKI

DFG SFB. Event-Based Communication in Programmable Networks. Adaptation, interaction and optimization of communication systems.

completed

Software-Factory 4.0

LOEWE project. Engineering software systems for high performance computing (HPC) using modern smart technology.

completed

ReDOOP

DFG Individual Research Program. Reactive Design for Object Oriented Programming.