Mar 21st, 2014, 3:00 pm in Huxley 345

Keeping Safe While Being on the Edge

Software systems are constantly evolving, with new versions being released on a continuous basis. Unfortunately, software updates present a difficult challenge; the hassle involved in updating software–the fact you have to stop the application to upgrade it–combined with the fear that an update will introduce new bugs, means that many users simply do not do it, leaving their computers exposed to crash-prone, insecure code. In this talk, I will introduce a radically new approach that makes updating software less error-prone and disruptive, by making use of idle cores in multicore machines.

Petr Hosek is a doctoral student in the Department of Computing at Imperial College London, where he works in the Software Reliability Group under the supervision of Cristian Cadar. In his research, he focuses on exploring ways to improve the software update process. Petr has an MSc and BSc in Computer Science from Charles University in Prague, where he specialised in software engineering and dependable systems.