Title: Consistency made easy: Towards building correct by design cloud applications
Abstract: to be announced
Title: From Trustworthy Kernels to Trustworthy Systems
Abstract: to be announced
Title: Proving Absence of Starvation by Means of Abstract Interpretation and Model-checking
Abstract: to be announced