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 2009/2010 (see below for more details and updates (iCal)):

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

News

• 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
• Avoiding Unbounded Priority Inversion in Barrier Protocols Using Gang Priority Management @ JTRES 2009
• Programmable Temporal Isolation through Variable-Bandwidth Servers @ SIES 2009
• Collaboration and Virtualization in Cyber-Physical Systems (Movie) @ CPS Forum 2009
• Everyone Virtualizes Everything But Time (Poster) @ RTAS 2009
• CSL: A Language to Specify and Re-Specify Mobile Sensor Network Behaviors @ RTAS 2009
• Programmable Temporal Isolation in Real-Time and Embedded Execution Environments @ IIES 2009
• Combo Drive: Optimizing Cost and Performance in a Heterogeneous Storage Device @ WISH 2009
• Low-Latency Time-portable Real-time Programming with Exotasks in ACM TECS, January 2009

Community

• ACM SIGBED

• DATE 2010 (ES-CfP)
• ASPLOS 2010
• EuroSys 2010
• HSCC 2010
• MEMOCODE 2010
• OOPSLA 2010
• EMSOFT 2010
• ESWEEK 2010

Research Interests (Short Bio, CV)

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

Teaching (Past Courses)

• Advanced Operating Systems
• Embedded Software Engineering

Group (FAQ for Members, Prospective Students)

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

Project Highlights: