2017-11-21 New DFG Grant: Automated Hardware Abstraction in Operating-System Engineering
AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)
Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.
The German research foundation DFG is now supporting our AHA project for three years with two positions for doctoral researchers (E13), two positions for student researchers, and some additional lab equippment.
2017-07-13 Best Paper: cHash at USENIX ATC 2017
Christian Dietrich presents our paper cHash: Detection of Redundant Compilations via AST Hashing at the USENIX ATC 2017 conference. In the paper we describe a new approach to quickly decide which files really need to be recompiled after some change to the source code. We got an Best Paper Award for this work.
2017-04-18 Outstanding Paper: SysWCET at RTAS 2017
Christian Dietrich presented the paper SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems at the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium in Pittsburgh. We got an Outstanding Paper Award for this work.
2016-11-16 Preis für gute Lehre des Freistaates Bayern
Daniel Lohmann wird von Staatsminister Dr. Ludwig Spaenle „in Würdigung seiner Vorbildfunktion mit dem Preis für gute Lehre 2015 des Freistaats Bayern“ ausgezeichnet. Der mit 5000 EUR dotierte Preis wird jährlich an 15 herausragende Wissenschaftlerinnen und Wissenschaftler vergeben.

Die Kriterien für die Auszeichnung sind eine herausragende Lehrleistung über die Dauer von wenigstens zwei Studienjahren an einer Universität in Bayern, eine Beteiligung der Studierenden an der Auswahl sowie der Vorschlag der jeweiligen Universität. Über alle Maßnahmen zur Sicherung der Qualität der Lehre, die von den Hochschulen praktiziert werden, spielen das persönliche Engagement und die pädagogisch-didaktischen Kompetenzen des Lehrenden eine große Rolle.