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...

2013-04-24: Seminar Thiagarajan (National University of Singapore) on Approximate Verification of the Symbolic Dynamics of Markov Chains
A finite state Markov chain M can be viewed as a linear transform operating on the space of probability distributions over its set of nodes. We discretize the probability value space [0,1] into a finite set of intervals.