Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016
OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016
Speculative Memory Checkpointing.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07, 2015
Lightweight Memory Checkpointing.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015
Techniques for efficient in-memory checkpointing.
ACM SIGOPS Oper. Syst. Rev., 2014
Keep net working - on a dependable and fast networking stack.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012