seL4 in spaaace!
2014-04-04 The UNSW QB50 satellite UNSW-EC0 has just burned up in the earth’s atmosphere after 18 months in space. The satellite carried an seL4-based payload that operated successfully under space conditions.

2014-04-01 ACM SIGBED Paul Caspi Memorial Dissertation Award
Former SSRG PhD student Bernard Blackham has won the ACM SIGBED Paul Caspi Memorial Dissertation Award. The selection criteria was the scientific quality of the paper and the exposition of the ideas

2014-03-28 Engineering Panel of the Marsden Fund
Professor Gernot Heiser accepted invitation to Engineering Panel of the Marsden Fund, NZ equivalent of ARC Discovery More...

2014-03-25: Seminar Venugopal (UNSW) on Towards a Unified View of Elasticity

The defining feature of cloud computing is elasticity, or the ability to add and remove resources at will. Elasticity has created interesting opportunities for research into resource provisioning, fault tolerance, and scalability. However, most of the current research into elasticity has focussed on linear scaling of application logic without reference to management of state information. Additionally, current solutions for scaling applications relies on centralised control using threshold-based rules. This talk will focus on research performed in UNSW on decentralised and autonomic scaling of applications on cloud resources. It will describe a scaling mechanism that learns application performance characteristics in order to make decisions on adding or removing cloud resources. It will also touch upon our efforts on elastically scaling the persistence layer. This talk will end with some thoughts on presenting a unified view of elasticity across the entire application stack.

2014-03-21: Seminar Nestmann (TU Berlin) on Dynamic Coalitions and Dynamic Event Structures

Dynamic Coalitions essentially represent a coordination principle, where hierarchically nested sets are equipped with a notion of dynamic membership. Challenges, however, arise from extensions by further dimensions with, for example, private data and corresponding access policies. Dynamic Event Structures were developed in order to support the formation of Dynamic Coalitions. The first part of the talk provides an overview of our current work in this area. The second part focuses on some of the technical aspects of Dynamic Event Structures.