“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.
|May 2021||Our paper “Language Support for Secure Software Development with Enclaves” got accepted at CSF 2021.|
|Apr 2021||Our ECOOP’21 pearl “Multiparty Languages: the Choreographic and Multitier Cases” – only studied independently so far – got accepted. Preprint coming soon! 📰|
|Mar 2021||Our project on multitier programming for the cloud has been funded with ~1M CHF by the Swiss National Science Foundation 🥳|
|Nov 2020||Our recent work on ConSysT was presented at OOSPLA’20. Resources available now: paper, talk 📣|
|Oct 2020||MSc Benyamin Delshad joined our group as a PhD student 👋|
|Sep 2020||We started our group at the University of St. Gallen. The announcement. Exciting times ahead 🚀|
|Aug 2020||Dr. Pascal Weisenburger successfully defended his PhD and will continue as a Postdoc in our group. Congratulations Pascal! 🥂🧑🎓|
Infrastructure as code (IaC) for decentralized deployment automation.
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.
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.
LOEWE project. Engineering software systems for high performance computing (HPC) using modern smart technology.
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.
DFG SFB. Event-Based Communication in Programmable Networks. Adaptation, interaction and optimization of communication systems.