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). 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 the University of St. Gallen, please find our courses, theses, and jobs.

News

Oct 2024 We have a paper conditionally accepted for POPL 2025 🤞
Sep 2024 Our paper on Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications with ConSysT has been accepted for publication at the TSE journal 🎉
Sep 2024 We are at ECOOP ‘24 📣 PhD Pascal Weisenburger will be accepting his Distinguished Paper Award for Compiling with Arrays. See you in Austria 🇦🇹
Jul 2024 MSc Christoph Bühler joined our group 👋
Jun 2024 We have plenty of contributions at PLDI ‘24 📣 MSc George Zakhour will present Automated Verification of Fundamental Algebraic Laws in the PLDI main track and Disequalities in E-Graphs: An Experiment in the EGRAPHS workshop. PhD Pascal Weisenburger will present Exploring Algebraic Placement in Multiparty Languages in the Choreographic Programming workshop. See you in Denmark 🇩🇰
May 2024 MSc Jahrim Gabriele Cesario joined our group as a PhD student 👋
Apr 2024 MSc Daniel Sokolowski successfully defended his PhD. Congratulations Daniel! 🥂🧑‍🎓
Apr 2024 Our paper on Automated Infrastructure as Code Program Testing with ProTI has been accepted as a journal first paper at the TSE journal 🎉
Apr 2024 SNF supports our project ‘Consistency Programming for Local First Software’ with 1M CHF! Lots of cool stuff ahead including abstractions for local-first software, CRDTs, consistency levels, verification of replicated data structures, and privacy-preserving data pods.
Apr 2024 Our paper on the Automated Verification of Fundamental Algebraic Laws with Propel has been accepted at PLDI ‘24 📣

Projects

Support