Petr Hosek

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Hardware Design

Impact Analysis

Framework Enables

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Petr Hosek, Cristian Cadar
VARAN the Unbelievable: An Efficient N-version Execution Framework. ASPLOS (2015)
Paul Dan Marinescu, Petr Hosek, Cristian Cadar
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. ISSTA (2014)
Petr Hosek, Cristian Cadar
Safe software updates via multi-version execution. ICSE (2013)
Cristian Cadar, Petr Hosek
Multi-version software updates. HotSWUp (2012)
Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David M. Eyers, David Evans, Brian Shand, Jean Bacon, Peter R. Pietzuch
SafeWeb: A Middleware for Securing Ruby-Based Web Applications. Middleware (2011)