System-Level Support for Persistent Memory
Supervisor: Stratis Viglas
MSR Supervisor: Aleksandar Dragojevic
Student: Christos Perivolaropoulos
Formal Decompositions of Strongly Coupled Systems
Supervisor: Vincent Danos
MSR Supervisor: Boyan Yordanoff
Student: Patric Fulop
Self-Optimising Internet Services
Supervisor: Hugh Leather
MSR Supervisor: Flavio Junqueira
Student: Chad Verbowski