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 BeeLab! Welcome to BeeLab’s website. The lab is guided by Professor Zhijun Li and Associate Professor Cong Yang and is organized by several students from the School of Future Science and Engineering, Soochow University. Our projects focus on smart driving and smart cockpits:

1. Intelligent driving: Mainly for models above L3, the use of the driver’s camera in the intelligent cockpit to design and implement visual fatigue detection algorithms to reduce the accidents caused by fatigue driving.

2. Smart Cockpit: Based on domestic large computing chips such as Journey 5, this project plans to develop a series of intelligent cockpit and intelligent driving perception reference algorithms for empowering the entire academic and industrial community.

News

Aug 2022 Our article “Decentralizing Infrastructure as Code” will be published in the IEEE Software magazine’s special issue “Infrastructure-as-Code Unleashed!” 🥳 preprint
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
Feb 2022 After being part of the School of Computer Science since 2020, we now joined also the Institute of Computer Science (ICS) of the University of St. Gallen 🏫
Dec 2021 We gave an invited talk “Towards Democratizing Secure Enclave Programming” at PAVeTrust ‘21. Resources available now: Paper
Dec 2021 Our work on safe dynamic updates for workflows is accepted at ICSE ‘22: preprint 📣🎉
Nov 2021 MSc Daniel Sokolowski left TU Darmstadt 🇩🇪 and continues his PhD with us in St. Gallen 🇨🇭

Projects

Support