Professor and Chair of the Computational Systems Group
Department of Computer Sciences
University of Salzburg

Email: ck@cs.uni-salzburg.at

Office: Room 2.24, Jakob-Haringer-Str. 2, 5020 Salzburg, Austria

Schedule

Winter 2010/2011 (see below for more details including teaching schedule and updates (iCal)):

• Office hours: Wed 11-12
• Group meeting: Mon 2-3
• Classes: Tue 10-12, Th 10-12 and 3-4.

News

• Power-aware Temporal Isolation with Variable-Bandwidth Servers @ EMSOFT 2010
• Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing (Talk) @ HotCloud 2010
• Short-term Memory for Self-collecting Mutators, Technical Report 2010-03, Department of Computer Sciences, University of Salzburg
• Get What You Pay For: Providing Performance Isolation in Virtualized Execution Environments (Poster) @ EuroSys 2010
• Response Time versus Utilization in Scheduler Overhead Accounting @ RTAS 2010
• Distributed, Modular HTL @ RTSS 2009
• A Workload-oriented Programming Model for Temporal Isolation with VBS @ RePP 2009

Community

• Austrian Rigorous Systems Engineering (ARiSE)
• ACM SIGBED

• JTRES 2010
• OOPSLA 2010
• EMSOFT 2010
• ESWEEK 2010
• RTSS 2010
• DATE 2011

Research Interests (Short Bio, CV)

• Principled engineering of concurrent software systems
• Embedded, real-time, and concurrent programming
• Virtual execution environments

Teaching (Past Courses)

• Embedded Software Engineering
• Concurrency and Memory Management Seminar

Group (FAQ for Members, Prospective Students)

Publications (html), Lectures (html), Bibtex File

Project Highlights: