“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.
|Dec 2021||We gave an invited talk “Towards Democratizing Secure Enclave Programming” at PAVeTrust ‘21.|
|Dec 2021||Our work on safe dynamic updates for workflows is accepted at ICSE ‘22 📣🎉|
|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.|
|Aug 2021||MSc George Zakhour joined our group as a PhD student. Welcome to the team, George! 👋|
|Jun 2021||Our paper on Multiparty Languages will receive a Distinguished Paper Award at ECOOP ‘21 🏅|
|Jun 2021||Our ESEC/FSE ‘21 paper “Automating Serverless Deployments for DevOps Organizations” got accepted: preprint 📰|
|May 2021||Our paper “Language Support for Secure Software Development with Enclaves” got accepted at CSF ‘21.|
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.