Software Systems Seminar, Summer 2009

Prof. Kirsch, Department of Computer Sciences, University of Salzburg


Time, Location: Wed 1-3 in T04, Techno-Z. First seminar is on Th, March 5, 2009. Check schedule (iCal) for updates.

Brief Overview: What is the latest trend in operating system design? Is a virtual machine an efficient concept to multiplex hardware? How does a high-performance web server work? Is a multi-threading or an event-dispatching operating system or even a hybrid of the two the way to go? Why is real-time programming so difficult? Is synchronous reactive programming or traditional real-time scheduling the right model? If you are interested in these and other systems-related questions, sign up for the software systems seminar. The seminar provides a unique opportunity to meet other students and discuss hot topics in systems research. Pick a research paper (or problem) provided in class (or propose some other recent paper), read and understand it, and then share your experience with the group.

Goals of the seminar: Learn how to read, understand, and present top research papers and their context.

Prerequisites: Background in basic programming language and operating system concepts.

Requirements: Each student selects a research paper (or problem) and gives a 45min presentation on the paper (or problem), and uploads the presentation to the seminar wiki. Seminar language is English.

Students:

Florian Landolt (fl3 <at> gmx <dot> net)
Java on the bare metal of wireless sensor devices: the squawk Java virtual machine
Doug Simon, Cristina Cifuentes, Dave Cleal, John Daniels, Derek White
VEE 2006
BareMetalVM.pdf

Alexander Baumgartner (alexander <dot> baumgartner <at> gmx <dot> at)
A Scheduling Framework for General-purpose Parallel Languages
Mike Rainey, John Reppy, Matthew Fluet
ICFP 2008
schedulingframework.pdf

Andreas Haas
A Unified Theory of Garbage Collection
David F.Bacon, Perry Cheng, V.t.Rajan
OOPSLA 2004
presentation.pdf

Robert Ehrenleitner (Robert <dot> Ehrenleitner <at> sbg <dot> ac <dot> at)
Kendo: Efficient Deterministic Multithreading in Software
Marek Olszewski, Jason Ansel, Saman Amarasinghe
ASPLOS 2009
determultithread.pdf

Andreas Schönegger
Two-Handed Emulation: How to build non-blocking implementations of complex data-structures using DCAS
Michael Greenwald
PODC 2002
slides.pdf

Andreas Rottmann (a <dot> rottmann <at> gmx <dot> at)
Dynamic Prediction of Collection Yield for Managed Runtimes
Michal Wegiel, Chandra Krintz
ASPLOS 2009
yield-prediction.pdf

Eva Brunner (ebrunner <at> cosy <dot> sbg <dot> ac <dot> at)
Understanding Tradeoffs in Software Transactional Memory
Nir Shavit, Dave Dice
IEEE Computer Society Washington, DC, USA 2007
STM-presentation.pdf

Technical contact: Ana . Sokolova @ cs . uni-salzburg . at
Administrative contact: Petra . Kirchweger @ cs . uni-salzburg . at