Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel.

Guangqiang Luan, Yuebin Bai, Libin Xu, Chao Yu, Chunyang Wang, Junfang Zeng, Qingbin Chen, Weitao Wang

Browse the full COMPSAC paper archive.