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

Summer 2012 (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 and Th 10-12, 3-4

News

• Quantitative Relaxation of Concurrent Data Structures, Technical Report 2012-03, Department of Computer Sciences, University of Salzburg, 2012.
• Incorrect Systems: It's not the Problem, It's the Solution @ DAC 2012
• Cyber-Physical Cloud Computing: The Binding and Migration Problem @ DATE 2012
• Hierarchical PLABs, CLABs, TLABs in Hotspot @ ICONS 2012
• The Logical Execution Time Paradigm, Tutorials on Time-Predictable and Composable Architectures for Dependable Embedded Systems @ ESWEEK 2011
• Performance, Scalability, and Semantics of Concurrent FIFO Queues, Technical Report 2011-03, Department of Computer Sciences, University of Salzburg, 2011 (Talk).
• The Power of Isolation, Technical Report 2011-02, Department of Computer Sciences, University of Salzburg, 2011.
• Runtime Programming through Model-Preserving, Scalable Runtime Patches @ ACSD 2011
• Brief Announcement: Scalability versus Semantics of Concurrent FIFO Queues @ PODC 2011
• Short-term Memory for Self-collecting Mutators (Talk (PDF)) @ ISMM 2011

Community

• ACM Special Interest Group on Embedded Systems (SIGBED)
• European Chapter of ACM SIGOPS (EuroSys)
• Austrian Rigorous Systems Engineering (ARiSE)

• ACM Transactions on Design Automation of Electronic Systems (TODAES)
• ACM TECS Special Issue on Probabilistic Embedded Computing (Call for Papers)

• EuroSys 2012
• APRES 2012
• MEMOCODE 2012
• FORMATS 2012

Research (Short Bio, CV)

• k-FIFO Queues (Concurrent Data Structures)
• Short-term Memory and Compact-fit (Heap Management)
• Cyber-Physical Cloud Computing (System Paradigms)
• Incorrect Systems (Engineering Paradigms)
• Runtime Programming (Programming Paradigms)
• The JAviator (Unmanned Aerial Vehicles)
• Variable-Bandwidth Servers (Real-Time Scheduling)
• Schedule-Carrying Code (Real-Time Systems)
• LET, Giotto, & The E Machine (Real-Time Programming)
• Guarded Fragment and Soft Typing (Decidability)

Teaching (Past Courses)

• Introduction to Compiler Construction (iTunes Store, U)
• Concurrency and Memory Management Seminar

Group (FAQ for Members, Prospective Students)

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

Project Highlights:

• The JAviator and Cyber-Physical Cloud Computing