2013-09-30: Call for Participation - Second NICTA Software Systems Summer School

Over two days, this summer school will feature lectures by international leaders in computer systems from industry and academia, interspersed with short student talks and poster sessions. We will emphasise a friendly and informal setting where students can learn and obtain feedback from experts. Topics include operating systems, hypervisors, virtual machines, databases, compilers, language implementation, memory management and security. Postgraduate students may apply.

2013-09-11: Paper accepted - ACM TOCS
A paper entitled Comprehensive Formal Verification of an OS Microkernel has been accepted for publication in ACM Transactions on Computer Systems

2013-08-30: Best Paper Award - BPM 2013
Marcello La Rosa, Principal Researcher and co-author of Slice, Mine and Dice: Complexity Aware Automated Discovery of Business Process Models won the Best Paper Award at the 11th International Conference on Business Process Management 2013 held in Beijing 27 - 28 August. More...

2013-08-20: Seminar Sabelfeld (Chalmers University of Technology) on Tracking Information Flow in Web Applications

This talk discusses a principled approach to web application security through tracking information flow in web applications. Although the agile nature of developments in web application technology makes web application security much of a moving target, we show that there are some fundamental challenges and tradeoffs that determine possibilities and limitations of automatically securing web applications.

2013-07-29: Best Student Paper Award - APSys 2013
Aaron Carroll PhD Student won Student Best Paper at Asia Pacific Workshop on Systems (APSys 2013) for the paper The Systems Hacker's Guide to the Galaxy: Energy Usage in a Modern Smartphone. This paper is co-authored with Gernot Heiser. More...