Petr was a doctoral student in the Department of Computing at Imperial College London, where he worked in the Software Reliability Group under the supervision of Dr Cristian Cadar. Petr‘s research interests include software engineering, security and reliability, and his PhD work explored novel techniques for improving the reliability of software updates in the context of modern parallel hardware platforms.
Petr has an MSc and a BSc in Computer Science from Charles University in Prague, where he specialised in software engineering and dependable systems. During his studies, Petr worked as a software engineer in a small Prague-based software company, where he designed several custom information systems for clients in the oil industry. Recently, he did two internships at Google working on Chrome and Native Client.
Petr is one of the founders and the first chair of the ACM Student Chapter at Imperial College. He is also one of the founding members of the Imperial College Computing Student Workshop, which attracts PhD students from across Europe. Petr has also served as an external reviewer on a number of conferences and journals in software engineering, systems and security.
Petr is a recipient of the Google European Fellowship in Software Engineering.
Group Publications
-
Varan the Unbelievable: An Efficient N-version Execution Framework
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015)
-
Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
Paul Dan Marinescu, Petr Hosek, Cristian Cadar
International Symposium on Software Testing and Analysis (ISSTA 2014)
-
Safe Software Updates via Multi-version Execution
International Conference on Software Engineering (ICSE 2013)
-
Multi-Version Software Updates
Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)
-
SafeWeb: A Middleware for Securing Ruby-based Web Applications
Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David Eyers, David Evans, Brian Shand, Jean Bacon, Peter Pietzuch
ACM/IFIP/USENIX International Middleware Conference (Middleware 2011)
-
Safe Software Updates via Multi-version Execution
Imperial College London
Talks
-
Safe Software Updates via Multi-version Execution
Invited talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 2013)
-
Safe Software Updates via Multi-version Execution
Conference talk @ International Conference on Software Engineering (ICSE 2013)
-
Multi-Version Software Updates
Conference talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)
-
SafeWeb: A Middleware for Securing Ruby-based Web Applications
Conference talk @ ACM/IFIP/USENIX 12th International Middleware Conference (Middleware 2011)
Other Publications
-
Comparison of component frameworks for real-time embedded systems
Tomas Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomas Bures
Knowledge and Information Systems (KAIS 2013)
-
Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned
Tomas Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomas Bures, Petr Hnetynka
9th ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2011)
-
Supporting real-time features in a hierarchical component system
Petr Hosek, Tomas Pop, Tomas Bures, Petr Hnetynka, Michal Malohlava
Department of Distributed and Dependable Systems, Charles University in Prague
-
Comparison of Component Frameworks for Real-time Embedded Systems
Petr Hosek, Tomas Pop, Tomas Bures, Petr Hnetynka, Michal Malohlava
Component Based Software Engineering (CBSE 2010)