ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 14:50 - 15:10 at Karlstejn - Technical talks II

Toby’s current research focuses, among other things, on the formal verification of security properties of microkernel-based systems in the context of the seL4 kernel, and on how to dramatically reduce the cost of producing verified systems code, like file systems, by leveraging domain-specific languages and automated and interactive verification.

Mon 6 Jul

14:50 - 15:30: PLAS - Technical talks II at Karlstejn
PLAS-2015-papers14:50 - 15:10
Toby MurrayNICTA and UNSW
PLAS-2015-papers15:10 - 15:30
Vijay GaneshUniversity of Waterloo, Sebastian BanescuTechnical University of Munich, Martín OchoaTechnical University of Munich