2014-09-30 Seminar Pablo González de Aledo - Symbolic-Execution for software verification
In this talk Pablo is going to talk about his work on symbolic execution and how the technique can be used for different purposes in software verification, particularly Automated Test Pattern Generation, Model-Checking, bug detection and equivalence checking. Future work and possible collaborations with Nicta in this area will be spotted

2014-09-26 A Software Architect's Perspective
Len Bass, Ingo Weber and Liming Zhu completed the first pass of the book DevOps: A software Architect's perspective and it has been written and posted to SlideShare.

2014-09-19 Entrepreneur of the Year award
Prof Gernot Heiser was awarded Entrepreneur of the year award at the Engineers Australia 2014 Sydney Engineering Excellence awards.

2014-09-06 UNSW Open Day
UNSW open day had an SSRG stand showing the quadcopters and SMACCM video

2014-08-29: DevOps Book publishes another chapter
Another chapter of the book DevOps has been published. It is written by Len Bass, Ingo Weber and Liming Zhu — A software Architect's Perspective. In 2 days it had 75 views