Prof. Dr. Guido Salvaneschi
Head of the Programming Group
School of Computer Science
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.
|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 📣|
|Nov 2022||MSc Daniel Sokolowski will present our paper Automating Serverless Deployments for DevOps Organizations at ESEC/FSE ‘22 in Singapore 🇸🇬 as well as his work on Infrastructure as Code for Dynamic Deployments at the co-located doctoral symposium 🗣️📊|
|Aug 2022||Our article Decentralizing Infrastructure as Code will be published in the IEEE Software magazine’s special issue “Infrastructure-as-Code Unleashed!” 🥳|
|Jun 2022||Prof. Dr. Guido Salvaneschi gave a keynote on “Are Programming Languages the Key to Distributed Systems?” at Virtual ECOOP ‘22 🗣|
|Jun 2022||The artifact 📦 of our XC paper received a Best Artifact Award at ECOOP ‘22 🎉|
|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|
|May 2022||Our work on Prisma has been accepted at ECOOP’22 🎉 preprint|
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.
National center for applied cybersecurity. Mission: Decentralized Cybersecurity. Application-oriented cybersecurity for business, society and government.
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.
DFG SFB. Event-Based Communication in Programmable Networks. Adaptation, interaction and optimization of communication systems.
LOEWE project. Engineering software systems for high performance computing (HPC) using modern smart technology.